0.00/0.00	c 2016-06-16T20:55:53+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-4096148-1466103353.opb"]
0.00/0.01	c use --random-gen="1627949480 693172508 1725993807 3262902881 2610648203 3655928727 2687505906 1809225820 4178819532 3885730179 1415814484 3522252501 2893629675 1926929017 2856154920 136779104 760984697 3264394527 1202291790 1524374381 532260027 81361961 2424167660 2158125844 3089236432 2837454310 106961674 2923240613 3157231321 2179919939 918500996 3726714874 1943790282 3221311226 3709173083 1675561492 1318356316 3357329647 1233325064 1593480229 3849919253 1146774784 2863981200 1354897949 2548109507 3721157265 4279284880 1569433404 1304495392 2705272560 2867037840 2633580219 1330780840 3556892392 3337499518 517939791 3724193768 3091272138 1335018111 814911445 576253701 3118683460 461329844 1695549878 1958893701 2129395683 1328258172 2524382648 663244133 3940120263 3103374918 1822251806 3716649936 1304555117 1153016269 403729780 4057699473 4270638768 3989662723 1025674609 3859408800 2177793943 237107507 3947437943 3884592102 613257483 854749853 1995709452 743758752 3553978425 2535119733 767560757 2883265695 3326973467 91319570 2968142427 3990453 3085147113 2097383811 4219658277 2020361042 3974372857 1483926167 933781662 2413229138 1716909041 1654626596 2934426520 1737748348 2193835356 618327515 1920042191 788877235 1657162034 1800371560 957313125 1151741725 2197231518 3133858870 3072259955 4131449001 4205299174 2540345653 1207832405 3261237834 365866596 416155701 655925697 1941295717 3187469230 1788583449 1126117984 2946839356 3133484684 777651455 4207504214 1936653157 2910821677 1886306929 2256633319 3444403978 3526586246 926920431 3163140719 2716427662 3946446432 3724157657 3061204938 345965398 1452270407 1548855676 3737597170 3468935079 76421323 617674299 419427456 2578600390 3813954436 3561845668 715022863 2557632888 1514931436 170194450 3758172098 2744622128 2985188910 3445599926 2527279774 1310307385 3058334952 262501 1305315906 273191151 2862288427 590584110 2658650919 2969269905 421836944 252700668 2004774830 230068721 3118674550 867182245 2447195113 2087894456 360256156 990364848 1994306712 1874997983 1354719271 2321215056 1887760931 87232999 173564309 3297943600 2580405759 2034693001 1039589575 283519402 505818632 2075749698 1243732977 2114029197 1397927354 1593101260 2092907416 3616484020 442715233 41224604 3233256427 541719361 449660047 1512974037 1477574636 1463137481 4010054612 3003709183 3051950078 3764502657 3983554563 1690291253 3456761216 3286788893 3646019270 3634047049 2912795646 1873057798 2273121571 3957209059 3062311756 1102166698 948987359 375104138 2052530370 2760281238 399512588 1822466488 2368579229 3032326910 2150614413 3681216991 3422981288 1606370768 8367293 1511059091 3611898909 2390576990 598497153 3891322745 1598537956 2674182047 58940243 3526590933 2972776793 989670325 3059321793 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 50
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       67      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      157 |      100 |       67      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      456 |      250 |       74      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      848 |      475 |       82      7 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1369 |      813 |       91     12 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2219 |     1320 |      101     20 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3274 |     2081 |      124     31 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4932 |     3223 |      137     45 |        0 |        0
0.49/0.52	c  0.5s |       8 |     7187 |     4936 |      151     65 |        0 |        0
0.69/0.76	c  0.8s |       9 |    10409 |     7506 |      167     90 |        0 |        0
1.10/1.13	c  1.1s |      10 |    16055 |    11361 |      184    130 |        0 |        0
1.49/1.51	c  1.5s |      11 |    24164 |    17144 |      203    184 |        0 |        0
1.99/2.09	c  2.1s |      12 |    38607 |    25819 |      224    261 |        0 |        0
2.89/2.94	c  2.9s |      13 |    58860 |    38832 |      247    365 |        0 |        0
4.29/4.33	c  4.3s |      14 |    86904 |    58352 |      272    508 |        0 |        0
6.29/6.34	c  6.3s |      14 |   121046 |    84552 |      272    686 |        0 |        0
6.49/6.58	c  6.6s |      15 |   125024 |    87632 |      300    706 |        0 |        0
8.49/8.59	c  8.6s |      15 |   163590 |   115432 |      300    877 |        0 |        0
9.79/9.89	c  9.9s |      16 |   184022 |   131552 |      330    975 |        0 |        0
11.79/11.89	c 11.9s |      16 |   220973 |   158552 |      330   1127 |        0 |        0
13.78/13.89	c 13.9s |      16 |   259593 |   186052 |      330   1283 |        0 |        0
14.68/14.73	c 14.7s |      17 |   275063 |   197432 |      364   1347 |        0 |        0
16.68/16.74	c 16.7s |      17 |   309498 |   222832 |      364   1477 |        0 |        0
18.69/18.74	c 18.7s |      17 |   339762 |   246632 |      364   1598 |        0 |        0
20.68/20.75	c 20.7s |      17 |   372636 |   271432 |      364   1726 |        0 |        0
22.68/22.75	c 22.7s |      17 |   404142 |   296132 |      401   1852 |        0 |        0
22.68/22.76	c 22.8s |      18 |   404301 |   296252 |      401   1852 |        0 |        0
24.68/24.77	c 24.8s |      18 |   434260 |   319852 |      401   1963 |        0 |        0
26.69/26.77	c 26.8s |      18 |   466559 |   343852 |      401   2076 |        0 |        0
28.70/28.78	c 28.8s |      18 |   498068 |   368152 |      401   2190 |        0 |        0
30.69/30.79	c 30.8s |      18 |   530765 |   392952 |      401   2308 |        0 |        0
32.69/32.79	c 32.8s |      18 |   560065 |   416352 |      401   2419 |        0 |        0
34.69/34.79	c 34.8s |      18 |   588555 |   439252 |      401   2524 |        0 |        0
35.20/35.26	c 35.2s |      19 |   594953 |   444482 |      442   2547 |        0 |        0
37.19/37.26	c 37.3s |      19 |   628127 |   469382 |      442   2654 |        0 |        0
39.19/39.26	c 39.3s |      19 |   659791 |   494082 |      442   2760 |        0 |        0
41.18/41.26	c 41.3s |      19 |   691861 |   518682 |      442   2866 |        0 |        0
43.18/43.27	c 43.3s |      19 |   723991 |   543382 |      442   2972 |        0 |        0
45.19/45.28	c 45.3s |      19 |   757170 |   568882 |      442   3082 |        0 |        0
47.18/47.28	c 47.3s |      19 |   788687 |   593282 |      442   3186 |        0 |        0
49.18/49.28	c 49.3s |      19 |   821409 |   618082 |      442   3294 |        0 |        0
51.18/51.28	c 51.3s |      19 |   859381 |   645082 |      442   3411 |        0 |        0
52.79/52.88	c 52.9s |      20 |   890554 |   666827 |      487   3504 |        0 |        0
54.78/54.88	c 54.9s |      20 |   920919 |   689627 |      487   3592 |        0 |        0
56.78/56.88	c 56.9s |      20 |   948647 |   711527 |      487   3677 |        0 |        0
58.78/58.88	c 58.9s |      20 |   979895 |   735027 |      487   3769 |        0 |        0
60.78/60.89	c 60.9s |      20 |  1009094 |   757727 |      487   3857 |        0 |        0
62.78/62.89	c 62.9s |      20 |  1043104 |   782927 |      487   3956 |        0 |        0
64.78/64.90	c 64.9s |      20 |  1076549 |   807927 |      487   4054 |        0 |        0
66.87/66.91	c 66.9s |      20 |  1106900 |   831727 |      487   4148 |        0 |        0
68.87/68.91	c 68.9s |      20 |  1132199 |   853027 |      487   4230 |        0 |        0
70.87/70.92	c 70.9s |      20 |  1160377 |   875827 |      487   4319 |        0 |        0
72.87/72.92	c 72.9s |      20 |  1191660 |   899927 |      487   4413 |        0 |        0
74.88/74.92	c 74.9s |      20 |  1223457 |   924327 |      487   4509 |        0 |        0
76.87/76.93	c 76.9s |      20 |  1252910 |   947027 |      487   4598 |        0 |        0
78.87/78.93	c 78.9s |      20 |  1286967 |   972127 |      487   4697 |        0 |        0
80.88/80.94	c 80.9s |      20 |  1320661 |   997427 |      536   4795 |        0 |        0
81.08/81.16	c 81.2s |      21 |  1324684 |  1000345 |      536   4806 |        0 |        0
83.08/83.17	c 83.2s |      21 |  1358069 |  1024645 |      536   4893 |        0 |        0
85.08/85.17	c 85.2s |      21 |  1390710 |  1048345 |      536   4977 |        0 |        0
87.08/87.18	c 87.2s |      21 |  1423748 |  1072345 |      536   5064 |        0 |        0
89.08/89.18	c 89.2s |      21 |  1455471 |  1095545 |      536   5147 |        0 |        0
91.08/91.18	c 91.2s |      21 |  1488587 |  1119645 |      536   5234 |        0 |        0
93.07/93.18	c 93.2s |      21 |  1520484 |  1143645 |      536   5320 |        0 |        0
95.07/95.19	c 95.2s |      21 |  1551927 |  1167045 |      536   5404 |        0 |        0
97.07/97.19	c 97.2s |      21 |  1583894 |  1190945 |      536   5490 |        0 |        0
99.08/99.19	c 99.2s |      21 |  1613505 |  1214145 |      536   5574 |        0 |        0
101.07/101.20	c  101s |      21 |  1647093 |  1238545 |      536   5662 |        0 |        0
103.17/103.20	c  103s |      21 |  1675852 |  1261045 |      536   5743 |        0 |        0
105.17/105.21	c  105s |      21 |  1704756 |  1283545 |      536   5824 |        0 |        0
107.17/107.21	c  107s |      21 |  1733309 |  1305745 |      536   5904 |        0 |        0
109.17/109.21	c  109s |      21 |  1764307 |  1328745 |      536   5987 |        0 |        0
111.18/111.21	c  111s |      21 |  1794947 |  1352345 |      536   6072 |        0 |        0
113.17/113.22	c  113s |      21 |  1828311 |  1376545 |      536   6159 |        0 |        0
115.17/115.22	c  115s |      21 |  1856330 |  1399045 |      536   6239 |        0 |        0
117.17/117.23	c  117s |      21 |  1886014 |  1422345 |      536   6323 |        0 |        0
119.17/119.23	c  119s |      21 |  1915673 |  1445345 |      536   6406 |        0 |        0
121.17/121.24	c  121s |      21 |  1942442 |  1466945 |      536   6484 |        0 |        0
123.17/123.24	c  123s |      21 |  1972695 |  1489545 |      536   6565 |        0 |        0
124.17/124.29	c  124s |      22 |  1986655 |  1500622 |      590   6601 |        0 |        0
126.27/126.30	c  126s |      22 |  2020389 |  1524822 |      590   6680 |        0 |        0
128.27/128.30	c  128s |      22 |  2053691 |  1548922 |      590   6759 |        0 |        0
130.27/130.30	c  130s |      22 |  2086905 |  1572722 |      590   6836 |        0 |        0
132.27/132.31	c  132s |      22 |  2118111 |  1596022 |      590   6913 |        0 |        0
134.28/134.31	c  134s |      22 |  2155274 |  1620922 |      590   6995 |        0 |        0
136.27/136.32	c  136s |      22 |  2186749 |  1644522 |      590   7072 |        0 |        0
138.27/138.33	c  138s |      22 |  2220562 |  1668522 |      590   7151 |        0 |        0
140.27/140.33	c  140s |      22 |  2253436 |  1692322 |      590   7229 |        0 |        0
142.27/142.34	c  142s |      22 |  2286341 |  1716622 |      590   7309 |        0 |        0
144.27/144.34	c  144s |      22 |  2322180 |  1741822 |      590   7391 |        0 |        0
146.27/146.35	c  146s |      22 |  2353474 |  1765822 |      590   7470 |        0 |        0
148.26/148.35	c  148s |      22 |  2382255 |  1788522 |      590   7544 |        0 |        0
150.26/150.35	c  150s |      22 |  2411771 |  1811122 |      590   7618 |        0 |        0
152.26/152.35	c  152s |      22 |  2443701 |  1834422 |      590   7694 |        0 |        0
154.26/154.36	c  154s |      22 |  2470305 |  1855522 |      590   7763 |        0 |        0
156.27/156.37	c  156s |      22 |  2498908 |  1877822 |      590   7836 |        0 |        0
158.26/158.37	c  158s |      22 |  2527312 |  1899722 |      590   7908 |        0 |        0
160.26/160.37	c  160s |      22 |  2556348 |  1922122 |      590   7981 |        0 |        0
162.27/162.38	c  162s |      22 |  2585269 |  1944422 |      590   8054 |        0 |        0
164.27/164.39	c  164s |      22 |  2615866 |  1967422 |      590   8130 |        0 |        0
166.36/166.40	c  166s |      22 |  2646177 |  1990022 |      590   8204 |        0 |        0
168.27/168.40	c  168s |      22 |  2675815 |  2012322 |      590   8277 |        0 |        0
170.36/170.40	c  170s |      22 |  2703638 |  2033822 |      590   8347 |        0 |        0
172.36/172.40	c  172s |      22 |  2733974 |  2056522 |      590   8422 |        0 |        0
174.36/174.41	c  174s |      22 |  2765015 |  2079222 |      590   8496 |        0 |        0
176.37/176.42	c  176s |      22 |  2795902 |  2102122 |      590   8572 |        0 |        0
178.37/178.42	c  178s |      22 |  2825405 |  2124922 |      590   8646 |        0 |        0
180.37/180.42	c  180s |      22 |  2856217 |  2147822 |      590   8722 |        0 |        0
182.36/182.42	c  182s |      22 |  2884883 |  2170222 |      590   8795 |        0 |        0
184.36/184.43	c  184s |      22 |  2918221 |  2194322 |      590   8875 |        0 |        0
186.36/186.43	c  186s |      22 |  2946627 |  2216622 |      590   8948 |        0 |        0
188.36/188.44	c  188s |      22 |  2975379 |  2238622 |      649   9020 |        0 |        0
189.46/189.53	c  189s |      23 |  2992000 |  2251038 |      649   9057 |        0 |        0
191.47/191.53	c  191s |      23 |  3019913 |  2272638 |      649   9121 |        0 |        0
193.46/193.54	c  193s |      23 |  3047651 |  2294138 |      649   9185 |        0 |        0
195.46/195.54	c  195s |      23 |  3074356 |  2315438 |      649   9248 |        0 |        0
197.46/197.54	c  197s |      23 |  3102298 |  2336738 |      649   9312 |        0 |        0
199.46/199.55	c  199s |      23 |  3131149 |  2358838 |      649   9378 |        0 |        0
201.46/201.56	c  201s |      23 |  3156698 |  2379438 |      649   9439 |        0 |        0
203.46/203.57	c  203s |      23 |  3184428 |  2401338 |      649   9504 |        0 |        0
205.46/205.57	c  205s |      23 |  3211339 |  2422638 |      649   9568 |        0 |        0
207.46/207.58	c  207s |      23 |  3237062 |  2443238 |      649   9630 |        0 |        0
209.45/209.58	c  209s |      23 |  3262716 |  2463738 |      649   9691 |        0 |        0
211.45/211.58	c  211s |      23 |  3290381 |  2485238 |      649   9755 |        0 |        0
213.46/213.59	c  213s |      23 |  3315393 |  2505538 |      649   9816 |        0 |        0
215.45/215.59	c  215s |      23 |  3341904 |  2526838 |      649   9879 |        0 |        0
217.45/217.59	c  217s |      23 |  3368987 |  2548438 |      649   9944 |        0 |        0
219.55/219.60	c  219s |      23 |  3397536 |  2571138 |      649  10012 |        0 |        0
221.55/221.60	c  221s |      23 |  3425958 |  2593338 |      649  10078 |        0 |        0
223.55/223.61	c  223s |      23 |  3454451 |  2615638 |      649  10145 |        0 |        0
225.56/225.61	c  225s |      23 |  3483045 |  2638038 |      649  10212 |        0 |        0
227.55/227.61	c  227s |      23 |  3508177 |  2658838 |      649  10274 |        0 |        0
229.55/229.62	c  229s |      23 |  3535801 |  2679938 |      649  10337 |        0 |        0
231.55/231.62	c  231s |      23 |  3564814 |  2701538 |      649  10401 |        0 |        0
233.55/233.63	c  233s |      23 |  3594487 |  2723738 |      649  10467 |        0 |        0
235.55/235.64	c  235s |      23 |  3624974 |  2746638 |      649  10536 |        0 |        0
237.56/237.64	c  237s |      23 |  3653949 |  2768738 |      649  10601 |        0 |        0
239.56/239.64	c  239s |      23 |  3682194 |  2791038 |      649  10668 |        0 |        0
241.56/241.64	c  241s |      23 |  3712254 |  2814138 |      649  10737 |        0 |        0
243.56/243.65	c  243s |      23 |  3740280 |  2836438 |      649  10803 |        0 |        0
245.56/245.65	c  245s |      23 |  3771910 |  2860138 |      649  10874 |        0 |        0
247.56/247.66	c  247s |      23 |  3799725 |  2882038 |      649  10940 |        0 |        0
249.55/249.67	c  249s |      23 |  3829553 |  2904738 |      649  11008 |        0 |        0
251.55/251.67	c  251s |      23 |  3856795 |  2926638 |      649  11074 |        0 |        0
253.55/253.68	c  253s |      23 |  3884754 |  2948738 |      649  11140 |        0 |        0
255.55/255.68	c  255s |      23 |  3911656 |  2970338 |      649  11205 |        0 |        0
257.55/257.69	c  257s |      23 |  3940555 |  2992538 |      649  11272 |        0 |        0
259.56/259.70	c  259s |      23 |  3970214 |  3014838 |      649  11338 |        0 |        0
261.65/261.70	c  261s |      23 |  3997009 |  3036138 |      649  11402 |        0 |        0
263.65/263.70	c  263s |      23 |  4021938 |  3056638 |      649  11463 |        0 |        0
265.65/265.71	c  265s |      23 |  4049107 |  3078338 |      649  11528 |        0 |        0
267.65/267.72	c  267s |      23 |  4078864 |  3101338 |      649  11597 |        0 |        0
269.65/269.72	c  269s |      23 |  4108465 |  3123938 |      649  11665 |        0 |        0
271.65/271.72	c  271s |      23 |  4136050 |  3145938 |      649  11731 |        0 |        0
273.65/273.73	c  273s |      23 |  4165359 |  3168738 |      649  11799 |        0 |        0
275.65/275.74	c  275s |      23 |  4192291 |  3190638 |      649  11866 |        0 |        0
277.64/277.74	c  277s |      23 |  4222118 |  3213738 |      649  11935 |        0 |        0
279.64/279.75	c  279s |      23 |  4253152 |  3237238 |      649  12006 |        0 |        0
281.65/281.76	c  281s |      23 |  4283017 |  3260438 |      649  12076 |        0 |        0
283.64/283.76	c  283s |      23 |  4313344 |  3283938 |      649  12148 |        0 |        0
285.64/285.77	c  285s |      23 |  4343994 |  3307138 |      649  12218 |        0 |        0
287.64/287.78	c  287s |      23 |  4370812 |  3328838 |      649  12283 |        0 |        0
289.64/289.79	c  289s |      23 |  4397152 |  3350338 |      649  12347 |        0 |        0
291.64/291.79	c  291s |      23 |  4424421 |  3372038 |      714  12407 |        0 |        0
292.14/292.22	c  292s |      24 |  4430007 |  3376662 |      714  12419 |        0 |        0
294.14/294.23	c  294s |      24 |  4459892 |  3398462 |      714  12478 |        0 |        0
296.14/296.24	c  296s |      24 |  4486770 |  3419362 |      714  12535 |        0 |        0
298.15/298.24	c  298s |      24 |  4515297 |  3440962 |      714  12593 |        0 |        0
300.14/300.24	c  300s |      24 |  4545868 |  3463562 |      714  12654 |        0 |        0
302.14/302.24	c  302s |      24 |  4572953 |  3484662 |      714  12712 |        0 |        0
304.14/304.25	c  304s |      24 |  4600957 |  3506062 |      714  12770 |        0 |        0
306.14/306.25	c  306s |      24 |  4632157 |  3528962 |      714  12833 |        0 |        0
308.14/308.25	c  308s |      24 |  4660216 |  3550162 |      714  12890 |        0 |        0
310.15/310.25	c  310s |      24 |  4686774 |  3570762 |      714  12946 |        0 |        0
312.14/312.26	c  312s |      24 |  4713928 |  3592162 |      714  13004 |        0 |        0
314.14/314.27	c  314s |      24 |  4739485 |  3612262 |      714  13058 |        0 |        0
316.14/316.27	c  316s |      24 |  4767929 |  3634362 |      714  13118 |        0 |        0
318.14/318.27	c  318s |      24 |  4795422 |  3655662 |      714  13176 |        0 |        0
320.15/320.28	c  320s |      24 |  4821004 |  3675962 |      714  13231 |        0 |        0
322.14/322.29	c  322s |      24 |  4848106 |  3697062 |      714  13289 |        0 |        0
324.24/324.30	c  324s |      24 |  4876579 |  3718762 |      714  13348 |        0 |        0
326.24/326.30	c  326s |      24 |  4904527 |  3739862 |      714  13405 |        0 |        0
328.24/328.30	c  328s |      24 |  4931918 |  3760662 |      714  13461 |        0 |        0
330.23/330.30	c  330s |      24 |  4955114 |  3779562 |      714  13513 |        0 |        0
332.24/332.30	c  332s |      24 |  4977573 |  3798262 |      714  13563 |        0 |        0
334.23/334.31	c  334s |      24 |  5000079 |  3817062 |      714  13614 |        0 |        0
336.23/336.31	c  336s |      24 |  5023975 |  3836862 |      714  13668 |        0 |        0
338.23/338.32	c  338s |      24 |  5051369 |  3858362 |      714  13727 |        0 |        0
340.23/340.32	c  340s |      24 |  5077641 |  3879162 |      714  13784 |        0 |        0
342.23/342.32	c  342s |      24 |  5105836 |  3900762 |      714  13843 |        0 |        0
344.25/344.33	c  344s |      24 |  5130923 |  3920862 |      714  13897 |        0 |        0
346.24/346.33	c  346s |      24 |  5156962 |  3941562 |      714  13953 |        0 |        0
348.24/348.34	c  348s |      24 |  5182957 |  3962262 |      714  14010 |        0 |        0
350.24/350.34	c  350s |      24 |  5208113 |  3982662 |      714  14065 |        0 |        0
352.24/352.35	c  352s |      24 |  5234937 |  4003662 |      714  14122 |        0 |        0
354.24/354.35	c  354s |      24 |  5265152 |  4025862 |      714  14183 |        0 |        0
356.24/356.35	c  356s |      24 |  5292518 |  4047462 |      714  14242 |        0 |        0
358.23/358.36	c  358s |      24 |  5316232 |  4067262 |      714  14295 |        0 |        0
360.23/360.37	c  360s |      24 |  5341110 |  4087262 |      714  14350 |        0 |        0
362.23/362.37	c  362s |      24 |  5369385 |  4108762 |      714  14408 |        0 |        0
364.23/364.37	c  364s |      24 |  5397732 |  4130262 |      714  14467 |        0 |        0
366.24/366.38	c  366s |      24 |  5424925 |  4151062 |      714  14524 |        0 |        0
368.23/368.38	c  368s |      24 |  5455094 |  4173462 |      714  14586 |        0 |        0
370.23/370.39	c  370s |      24 |  5483202 |  4194962 |      714  14645 |        0 |        0
372.24/372.39	c  372s |      24 |  5507939 |  4214762 |      714  14699 |        0 |        0
374.34/374.40	c  374s |      24 |  5536229 |  4235762 |      714  14756 |        0 |        0
376.33/376.40	c  376s |      24 |  5562428 |  4256562 |      714  14812 |        0 |        0
378.34/378.41	c  378s |      24 |  5587377 |  4276562 |      714  14867 |        0 |        0
380.33/380.42	c  380s |      24 |  5610287 |  4295562 |      714  14918 |        0 |        0
382.33/382.43	c  382s |      24 |  5632787 |  4314462 |      714  14970 |        0 |        0
384.33/384.43	c  384s |      24 |  5655894 |  4333762 |      714  15022 |        0 |        0
386.33/386.43	c  386s |      24 |  5679186 |  4353262 |      714  15075 |        0 |        0
388.34/388.44	c  388s |      24 |  5701969 |  4372462 |      714  15126 |        0 |        0
390.33/390.44	c  390s |      24 |  5729129 |  4393862 |      714  15185 |        0 |        0
392.33/392.44	c  392s |      24 |  5755199 |  4414762 |      714  15242 |        0 |        0
394.33/394.45	c  394s |      24 |  5778117 |  4434062 |      714  15294 |        0 |        0
396.32/396.45	c  396s |      24 |  5804282 |  4454762 |      714  15351 |        0 |        0
398.33/398.45	c  398s |      24 |  5830618 |  4475562 |      714  15407 |        0 |        0
400.34/400.46	c  400s |      24 |  5853864 |  4494862 |      714  15460 |        0 |        0
402.33/402.47	c  402s |      24 |  5876638 |  4513662 |      714  15511 |        0 |        0
404.33/404.47	c  404s |      24 |  5904679 |  4534662 |      714  15568 |        0 |        0
406.33/406.48	c  406s |      24 |  5933038 |  4556062 |      714  15626 |        0 |        0
408.33/408.48	c  408s |      24 |  5960567 |  4577362 |      714  15685 |        0 |        0
410.34/410.49	c  410s |      24 |  5988852 |  4598862 |      714  15744 |        0 |        0
412.33/412.49	c  412s |      24 |  6015983 |  4619962 |      714  15802 |        0 |        0
414.33/414.49	c  414s |      24 |  6043438 |  4640662 |      714  15858 |        0 |        0
416.43/416.50	c  416s |      24 |  6070245 |  4661162 |      714  15914 |        0 |        0
418.42/418.51	c  418s |      24 |  6102065 |  4683962 |      714  15977 |        0 |        0
420.42/420.51	c  420s |      24 |  6132703 |  4705962 |      714  16037 |        0 |        0
422.43/422.51	c  422s |      24 |  6159756 |  4726962 |      714  16094 |        0 |        0
424.42/424.52	c  424s |      24 |  6189455 |  4749162 |      714  16155 |        0 |        0
426.42/426.52	c  426s |      24 |  6218459 |  4771262 |      714  16216 |        0 |        0
428.42/428.52	c  428s |      24 |  6246071 |  4792962 |      714  16276 |        0 |        0
430.42/430.53	c  430s |      24 |  6272149 |  4813262 |      714  16332 |        0 |        0
432.42/432.53	c  432s |      24 |  6300792 |  4834962 |      714  16391 |        0 |        0
434.43/434.54	c  434s |      24 |  6330577 |  4857362 |      714  16452 |        0 |        0
436.43/436.54	c  436s |      24 |  6359580 |  4879462 |      714  16513 |        0 |        0
438.42/438.55	c  438s |      24 |  6391465 |  4902362 |      714  16576 |        0 |        0
440.42/440.56	c  440s |      24 |  6419372 |  4924662 |      714  16637 |        0 |        0
442.42/442.56	c  442s |      24 |  6448141 |  4946762 |      714  16697 |        0 |        0
444.43/444.56	c  444s |      24 |  6476762 |  4968762 |      714  16757 |        0 |        0
446.42/446.57	c  446s |      24 |  6504968 |  4989862 |      714  16815 |        0 |        0
448.42/448.57	c  448s |      24 |  6534663 |  5012062 |      714  16876 |        0 |        0
450.42/450.57	c  450s |      24 |  6562621 |  5033262 |      786  16933 |        0 |        0
452.42/452.58	c  452s |      24 |  6590058 |  5054462 |      786  16986 |        0 |        0
453.42/453.53	c  453s |      25 |  6604259 |  5065098 |      786  17013 |        0 |        0
455.42/455.53	c  455s |      25 |  6629404 |  5084798 |      786  17062 |        0 |        0
457.42/457.54	c  457s |      25 |  6654908 |  5104798 |      786  17111 |        0 |        0
459.42/459.54	c  459s |      25 |  6679814 |  5124398 |      786  17159 |        0 |        0
461.42/461.54	c  461s |      25 |  6703372 |  5143198 |      786  17206 |        0 |        0
463.42/463.54	c  463s |      25 |  6728672 |  5162798 |      786  17254 |        0 |        0
465.42/465.55	c  465s |      25 |  6757221 |  5183998 |      786  17307 |        0 |        0
467.43/467.56	c  467s |      25 |  6784691 |  5204298 |      786  17357 |        0 |        0
469.42/469.57	c  469s |      25 |  6811429 |  5224798 |      786  17407 |        0 |        0
471.42/471.58	c  471s |      25 |  6833522 |  5243398 |      786  17453 |        0 |        0
473.41/473.59	c  473s |      25 |  6859729 |  5264198 |      786  17504 |        0 |        0
475.41/475.59	c  475s |      25 |  6886687 |  5285098 |      786  17556 |        0 |        0
477.51/477.60	c  477s |      25 |  6915092 |  5306398 |      786  17609 |        0 |        0
479.52/479.61	c  479s |      25 |  6941918 |  5327198 |      786  17660 |        0 |        0
481.51/481.61	c  481s |      25 |  6968913 |  5347698 |      786  17711 |        0 |        0
483.51/483.62	c  483s |      25 |  6996562 |  5368798 |      786  17763 |        0 |        0
485.51/485.62	c  485s |      25 |  7024473 |  5389898 |      786  17816 |        0 |        0
487.51/487.62	c  487s |      25 |  7051622 |  5410798 |      786  17868 |        0 |        0
489.52/489.62	c  489s |      25 |  7079195 |  5431898 |      786  17920 |        0 |        0
491.51/491.63	c  491s |      25 |  7106247 |  5452498 |      786  17972 |        0 |        0
493.51/493.64	c  493s |      25 |  7135231 |  5474198 |      786  18025 |        0 |        0
495.51/495.64	c  495s |      25 |  7162587 |  5494998 |      786  18077 |        0 |        0
497.51/497.64	c  497s |      25 |  7189060 |  5515298 |      786  18128 |        0 |        0
499.51/499.65	c  499s |      25 |  7215690 |  5535798 |      786  18179 |        0 |        0
501.52/501.66	c  501s |      25 |  7244644 |  5557298 |      786  18232 |        0 |        0
503.52/503.66	c  503s |      25 |  7270915 |  5577598 |      786  18283 |        0 |        0
505.52/505.67	c  505s |      25 |  7296508 |  5597598 |      786  18332 |        0 |        0
507.51/507.67	c  507s |      25 |  7324424 |  5618398 |      786  18384 |        0 |        0
509.51/509.68	c  509s |      25 |  7353339 |  5639398 |      786  18436 |        0 |        0
511.52/511.68	c  511s |      25 |  7382314 |  5660998 |      786  18490 |        0 |        0
513.51/513.69	c  513s |      25 |  7409711 |  5681698 |      786  18541 |        0 |        0
515.61/515.70	c  515s |      25 |  7437418 |  5702398 |      786  18592 |        0 |        0
517.61/517.70	c  517s |      25 |  7464670 |  5723398 |      786  18645 |        0 |        0
519.61/519.71	c  519s |      25 |  7489501 |  5742998 |      786  18694 |        0 |        0
521.61/521.71	c  521s |      25 |  7514350 |  5762698 |      786  18743 |        0 |        0
523.61/523.72	c  523s |      25 |  7539590 |  5782398 |      786  18792 |        0 |        0
525.61/525.72	c  525s |      25 |  7564740 |  5802098 |      786  18841 |        0 |        0
527.60/527.72	c  527s |      25 |  7590191 |  5822298 |      786  18891 |        0 |        0
529.60/529.73	c  529s |      25 |  7617668 |  5843098 |      786  18943 |        0 |        0
531.60/531.73	c  531s |      25 |  7642812 |  5862798 |      786  18992 |        0 |        0
533.60/533.74	c  533s |      25 |  7666894 |  5881998 |      786  19040 |        0 |        0
535.61/535.74	c  535s |      25 |  7692543 |  5901698 |      786  19089 |        0 |        0
537.60/537.75	c  537s |      25 |  7716248 |  5920498 |      786  19136 |        0 |        0
539.60/539.76	c  539s |      25 |  7742662 |  5940398 |      786  19186 |        0 |        0
541.60/541.76	c  541s |      25 |  7768996 |  5960198 |      786  19235 |        0 |        0
543.60/543.77	c  543s |      25 |  7794670 |  5979998 |      786  19284 |        0 |        0
545.61/545.77	c  545s |      25 |  7820369 |  5999598 |      786  19333 |        0 |        0
547.60/547.77	c  547s |      25 |  7846782 |  6019498 |      786  19382 |        0 |        0
549.60/549.79	c  549s |      25 |  7873136 |  6039598 |      786  19432 |        0 |        0
551.60/551.79	c  551s |      25 |  7897243 |  6059198 |      786  19481 |        0 |        0
553.60/553.79	c  553s |      25 |  7923482 |  6079198 |      786  19531 |        0 |        0
555.60/555.79	c  555s |      25 |  7949588 |  6099598 |      786  19582 |        0 |        0
557.60/557.80	c  557s |      25 |  7976747 |  6120298 |      786  19633 |        0 |        0
559.69/559.80	c  559s |      25 |  8001001 |  6139998 |      786  19682 |        0 |        0
561.69/561.80	c  561s |      25 |  8027736 |  6160498 |      786  19734 |        0 |        0
563.69/563.81	c  563s |      25 |  8051902 |  6179798 |      786  19782 |        0 |        0
565.69/565.81	c  565s |      25 |  8076167 |  6199098 |      786  19830 |        0 |        0
567.69/567.82	c  567s |      25 |  8100479 |  6218398 |      786  19878 |        0 |        0
569.69/569.83	c  569s |      25 |  8129617 |  6239598 |      786  19930 |        0 |        0
571.69/571.84	c  571s |      25 |  8156803 |  6260498 |      786  19983 |        0 |        0
573.68/573.84	c  573s |      25 |  8184087 |  6281398 |      786  20035 |        0 |        0
575.69/575.85	c  575s |      25 |  8214750 |  6303098 |      786  20089 |        0 |        0
577.69/577.86	c  577s |      25 |  8244376 |  6324898 |      786  20143 |        0 |        0
579.70/579.86	c  579s |      25 |  8271145 |  6345698 |      786  20195 |        0 |        0
581.69/581.86	c  581s |      25 |  8295673 |  6365598 |      786  20244 |        0 |        0
583.68/583.87	c  583s |      25 |  8321079 |  6385698 |      786  20294 |        0 |        0
585.68/585.87	c  585s |      25 |  8346828 |  6406098 |      786  20344 |        0 |        0
587.68/587.88	c  587s |      25 |  8373239 |  6426098 |      786  20394 |        0 |        0
589.68/589.88	c  589s |      25 |  8398300 |  6445898 |      786  20443 |        0 |        0
591.69/591.88	c  591s |      25 |  8422770 |  6465498 |      786  20492 |        0 |        0
593.68/593.88	c  593s |      25 |  8447070 |  6485198 |      786  20541 |        0 |        0
595.68/595.89	c  595s |      25 |  8469064 |  6503798 |      786  20587 |        0 |        0
597.68/597.89	c  597s |      25 |  8491613 |  6522898 |      786  20634 |        0 |        0
599.78/599.90	c  599s |      25 |  8519909 |  6544498 |      786  20688 |        0 |        0
601.77/601.90	c  601s |      25 |  8548131 |  6565298 |      786  20739 |        0 |        0
603.79/603.90	c  603s |      25 |  8578564 |  6587498 |      786  20794 |        0 |        0
605.78/605.91	c  605s |      25 |  8605615 |  6607998 |      786  20845 |        0 |        0
607.78/607.91	c  607s |      25 |  8632321 |  6628298 |      786  20895 |        0 |        0
609.78/609.92	c  609s |      25 |  8659526 |  6648798 |      786  20947 |        0 |        0
611.77/611.92	c  611s |      25 |  8683819 |  6667798 |      786  20994 |        0 |        0
613.78/613.93	c  613s |      25 |  8708732 |  6687498 |      786  21043 |        0 |        0
615.77/615.94	c  615s |      25 |  8734492 |  6707798 |      786  21093 |        0 |        0
617.77/617.95	c  617s |      25 |  8757926 |  6726798 |      786  21140 |        0 |        0
619.77/619.95	c  619s |      25 |  8781790 |  6746198 |      786  21188 |        0 |        0
621.77/621.95	c  621s |      25 |  8807137 |  6766098 |      786  21237 |        0 |        0
623.77/623.96	c  623s |      25 |  8831432 |  6785598 |      786  21286 |        0 |        0
625.77/625.96	c  625s |      25 |  8856899 |  6806198 |      786  21337 |        0 |        0
627.77/627.97	c  627s |      25 |  8882628 |  6826398 |      786  21387 |        0 |        0
629.77/629.98	c  629s |      25 |  8908682 |  6847098 |      786  21439 |        0 |        0
631.76/631.98	c  631s |      25 |  8932384 |  6866298 |      786  21486 |        0 |        0
633.76/633.99	c  633s |      25 |  8957302 |  6886198 |      786  21536 |        0 |        0
635.77/635.99	c  635s |      25 |  8985839 |  6907398 |      786  21589 |        0 |        0
637.76/638.00	c  637s |      25 |  9014747 |  6928498 |      786  21641 |        0 |        0
639.86/640.00	c  639s |      25 |  9041035 |  6948898 |      786  21692 |        0 |        0
641.85/642.01	c  641s |      25 |  9064764 |  6967898 |      786  21740 |        0 |        0
643.85/644.01	c  644s |      25 |  9089737 |  6987498 |      786  21788 |        0 |        0
645.85/646.02	c  646s |      25 |  9114025 |  7006998 |      786  21837 |        0 |        0
647.86/648.02	c  648s |      25 |  9138097 |  7026198 |      786  21884 |        0 |        0
649.85/650.02	c  650s |      25 |  9161286 |  7045098 |      786  21931 |        0 |        0
651.85/652.02	c  652s |      25 |  9185495 |  7064398 |      786  21979 |        0 |        0
653.85/654.03	c  654s |      25 |  9210905 |  7084598 |      786  22030 |        0 |        0
655.85/656.03	c  656s |      25 |  9234726 |  7104098 |      786  22078 |        0 |        0
657.85/658.04	c  658s |      25 |  9257795 |  7123298 |      786  22126 |        0 |        0
659.86/660.04	c  660s |      25 |  9284369 |  7143998 |      786  22178 |        0 |        0
661.85/662.04	c  662s |      25 |  9307767 |  7162998 |      786  22225 |        0 |        0
663.85/664.05	c  664s |      25 |  9333236 |  7183198 |      786  22275 |        0 |        0
665.85/666.06	c  666s |      25 |  9357347 |  7202698 |      786  22323 |        0 |        0
667.85/668.07	c  668s |      25 |  9380401 |  7221698 |      786  22371 |        0 |        0
669.85/670.08	c  670s |      25 |  9406625 |  7241798 |      786  22421 |        0 |        0
671.84/672.08	c  672s |      25 |  9433141 |  7261798 |      786  22471 |        0 |        0
673.84/674.09	c  674s |      25 |  9458356 |  7281198 |      786  22519 |        0 |        0
675.84/676.09	c  676s |      25 |  9482822 |  7300898 |      786  22568 |        0 |        0
677.94/678.10	c  678s |      25 |  9511109 |  7321798 |      786  22620 |        0 |        0
679.94/680.11	c  680s |      25 |  9536450 |  7341598 |      786  22669 |        0 |        0
681.94/682.11	c  682s |      25 |  9562435 |  7361898 |      786  22720 |        0 |        0
683.93/684.11	c  684s |      25 |  9587262 |  7381898 |      786  22770 |        0 |        0
685.93/686.11	c  686s |      25 |  9612781 |  7402098 |      786  22820 |        0 |        0
687.93/688.12	c  688s |      25 |  9636783 |  7421598 |      786  22869 |        0 |        0
689.94/690.13	c  690s |      25 |  9662889 |  7441698 |      786  22919 |        0 |        0
691.94/692.13	c  692s |      25 |  9689422 |  7461798 |      786  22969 |        0 |        0
693.94/694.14	c  694s |      25 |  9717729 |  7482798 |      786  23021 |        0 |        0
695.93/696.14	c  696s |      25 |  9746472 |  7504098 |      786  23075 |        0 |        0
697.93/698.15	c  698s |      25 |  9771849 |  7524098 |      786  23124 |        0 |        0
699.93/700.15	c  700s |      25 |  9796837 |  7543698 |      865  23173 |        0 |        0
701.93/702.16	c  702s |      25 |  9821064 |  7562898 |      865  23216 |        0 |        0
703.94/704.16	c  704s |      25 |  9844689 |  7581898 |      865  23259 |        0 |        0
705.63/705.83	c  705s |      26 |  9864294 |  7597752 |      865  23295 |        0 |        0
707.63/707.84	c  707s |      26 |  9895540 |  7619952 |      865  23345 |        0 |        0
709.63/709.84	c  709s |      26 |  9925465 |  7641952 |      865  23395 |        0 |        0
711.63/711.85	c  711s |      26 |  9953918 |  7663252 |      865  23443 |        0 |        0
713.62/713.86	c  713s |      26 |  9981480 |  7684052 |      865  23490 |        0 |        0
715.62/715.86	c  715s |      26 | 10007016 |  7704352 |      865  23535 |        0 |        0
717.62/717.86	c  717s |      26 | 10032803 |  7724752 |      865  23582 |        0 |        0
719.62/719.87	c  719s |      26 | 10059528 |  7745452 |      865  23628 |        0 |        0
721.62/721.87	c  721s |      26 | 10087315 |  7766252 |      865  23675 |        0 |        0
723.62/723.87	c  723s |      26 | 10113317 |  7786252 |      865  23721 |        0 |        0
725.61/725.88	c  725s |      26 | 10139083 |  7806452 |      865  23767 |        0 |        0
727.61/727.89	c  727s |      26 | 10167550 |  7827952 |      865  23815 |        0 |        0
729.61/729.89	c  729s |      26 | 10193306 |  7847852 |      865  23860 |        0 |        0
731.61/731.89	c  731s |      26 | 10220389 |  7868552 |      865  23907 |        0 |        0
733.71/733.90	c  733s |      26 | 10247165 |  7889252 |      865  23954 |        0 |        0
735.72/735.91	c  735s |      26 | 10273349 |  7909852 |      865  24001 |        0 |        0
737.71/737.91	c  737s |      26 | 10300730 |  7930752 |      865  24048 |        0 |        0
739.71/739.91	c  739s |      26 | 10327536 |  7951352 |      865  24095 |        0 |        0
741.71/741.92	c  741s |      26 | 10354016 |  7971652 |      865  24141 |        0 |        0
743.71/743.92	c  743s |      26 | 10382974 |  7992852 |      865  24189 |        0 |        0
745.71/745.93	c  745s |      26 | 10411518 |  8013952 |      865  24237 |        0 |        0
747.70/747.94	c  747s |      26 | 10441504 |  8035852 |      865  24286 |        0 |        0
749.70/749.94	c  749s |      26 | 10471458 |  8057652 |      865  24336 |        0 |        0
751.70/751.94	c  751s |      26 | 10497222 |  8077852 |      865  24382 |        0 |        0
753.70/753.95	c  753s |      26 | 10524705 |  8098752 |      865  24429 |        0 |        0
755.71/755.95	c  755s |      26 | 10553384 |  8120852 |      865  24479 |        0 |        0
757.71/757.95	c  757s |      26 | 10582425 |  8142252 |      865  24528 |        0 |        0
759.70/759.96	c  759s |      26 | 10608951 |  8162752 |      865  24574 |        0 |        0
761.70/761.97	c  761s |      26 | 10637465 |  8183952 |      865  24622 |        0 |        0
763.70/763.97	c  763s |      26 | 10665552 |  8204952 |      865  24670 |        0 |        0
765.70/765.97	c  765s |      26 | 10695734 |  8226852 |      865  24720 |        0 |        0
767.71/767.97	c  767s |      26 | 10724505 |  8248352 |      865  24768 |        0 |        0
769.70/769.98	c  769s |      26 | 10751917 |  8269452 |      865  24816 |        0 |        0
771.69/771.98	c  771s |      26 | 10782378 |  8291052 |      865  24865 |        0 |        0
773.69/773.99	c  773s |      26 | 10809261 |  8311952 |      865  24913 |        0 |        0
775.69/775.99	c  775s |      26 | 10833320 |  8330952 |      865  24956 |        0 |        0
777.79/778.00	c  777s |      26 | 10858415 |  8351252 |      865  25002 |        0 |        0
779.80/780.01	c  779s |      26 | 10884227 |  8371552 |      865  25048 |        0 |        0
781.78/782.01	c  781s |      26 | 10910222 |  8391952 |      865  25094 |        0 |        0
783.78/784.01	c  784s |      26 | 10939801 |  8413252 |      865  25142 |        0 |        0
785.78/786.02	c  786s |      26 | 10967752 |  8434552 |      865  25191 |        0 |        0
787.78/788.02	c  788s |      26 | 10993005 |  8454352 |      865  25236 |        0 |        0
789.78/790.02	c  790s |      26 | 11019983 |  8474952 |      865  25283 |        0 |        0
791.79/792.03	c  792s |      26 | 11049701 |  8497052 |      865  25333 |        0 |        0
793.78/794.03	c  794s |      26 | 11079046 |  8519052 |      865  25383 |        0 |        0
795.78/796.04	c  796s |      26 | 11107695 |  8540752 |      865  25433 |        0 |        0
797.78/798.04	c  798s |      26 | 11137133 |  8562752 |      865  25483 |        0 |        0
799.78/800.05	c  800s |      26 | 11167021 |  8584452 |      865  25532 |        0 |        0
801.79/802.05	c  802s |      26 | 11195095 |  8605452 |      865  25580 |        0 |        0
803.78/804.06	c  804s |      26 | 11225193 |  8627752 |      865  25630 |        0 |        0
805.78/806.06	c  806s |      26 | 11253157 |  8648852 |      865  25678 |        0 |        0
807.78/808.06	c  808s |      26 | 11282577 |  8670652 |      865  25728 |        0 |        0
809.78/810.07	c  810s |      26 | 11312436 |  8693352 |      865  25780 |        0 |        0
811.77/812.07	c  812s |      26 | 11341645 |  8715852 |      865  25831 |        0 |        0
813.78/814.07	c  814s |      26 | 11370768 |  8738652 |      865  25883 |        0 |        0
815.77/816.07	c  816s |      26 | 11394537 |  8758152 |      865  25927 |        0 |        0
817.77/818.08	c  818s |      26 | 11418060 |  8777452 |      865  25971 |        0 |        0
819.77/820.09	c  820s |      26 | 11442574 |  8797252 |      865  26016 |        0 |        0
821.76/822.09	c  822s |      26 | 11472576 |  8818652 |      865  26064 |        0 |        0
823.86/824.10	c  824s |      26 | 11504563 |  8840852 |      865  26115 |        0 |        0
825.77/826.10	c  826s |      26 | 11532563 |  8861752 |      865  26162 |        0 |        0
827.87/828.11	c  828s |      26 | 11562028 |  8883352 |      865  26211 |        0 |        0
829.87/830.11	c  830s |      26 | 11590622 |  8904452 |      865  26259 |        0 |        0
831.86/832.11	c  832s |      26 | 11616559 |  8924752 |      865  26305 |        0 |        0
833.86/834.11	c  834s |      26 | 11642276 |  8944652 |      865  26350 |        0 |        0
835.87/836.12	c  836s |      26 | 11672891 |  8966452 |      865  26400 |        0 |        0
837.86/838.13	c  838s |      26 | 11701386 |  8987952 |      865  26449 |        0 |        0
839.86/840.13	c  840s |      26 | 11730095 |  9009552 |      865  26498 |        0 |        0
841.85/842.14	c  842s |      26 | 11759120 |  9031152 |      865  26547 |        0 |        0
843.85/844.15	c  844s |      26 | 11786527 |  9052352 |      865  26596 |        0 |        0
845.86/846.15	c  846s |      26 | 11815369 |  9074052 |      865  26645 |        0 |        0
847.87/848.15	c  848s |      26 | 11843175 |  9095352 |      865  26693 |        0 |        0
849.86/850.15	c  850s |      26 | 11873031 |  9116752 |      865  26742 |        0 |        0
851.86/852.15	c  852s |      26 | 11902908 |  9138652 |      865  26792 |        0 |        0
853.86/854.16	c  854s |      26 | 11931506 |  9160152 |      865  26841 |        0 |        0
855.85/856.16	c  856s |      26 | 11960637 |  9181452 |      865  26890 |        0 |        0
857.86/858.17	c  858s |      26 | 11988170 |  9202452 |      865  26937 |        0 |        0
859.85/860.17	c  860s |      26 | 12017957 |  9224552 |      865  26987 |        0 |        0
861.85/862.18	c  862s |      26 | 12047682 |  9246452 |      865  27037 |        0 |        0
863.85/864.18	c  864s |      26 | 12071469 |  9265752 |      865  27081 |        0 |        0
865.85/866.19	c  866s |      26 | 12095079 |  9284452 |      865  27123 |        0 |        0
867.85/868.19	c  868s |      26 | 12121063 |  9304952 |      865  27170 |        0 |        0
869.85/870.20	c  870s |      26 | 12147903 |  9325252 |      865  27216 |        0 |        0
871.94/872.20	c  872s |      26 | 12173793 |  9345252 |      865  27261 |        0 |        0
873.94/874.21	c  874s |      26 | 12202381 |  9366252 |      865  27309 |        0 |        0
875.94/876.21	c  876s |      26 | 12232605 |  9388052 |      865  27359 |        0 |        0
877.94/878.21	c  878s |      26 | 12263141 |  9410252 |      865  27409 |        0 |        0
879.94/880.22	c  880s |      26 | 12290691 |  9431652 |      865  27458 |        0 |        0
881.95/882.22	c  882s |      26 | 12317140 |  9452352 |      865  27505 |        0 |        0
883.94/884.22	c  884s |      26 | 12346957 |  9473652 |      865  27554 |        0 |        0
885.94/886.23	c  886s |      26 | 12374103 |  9493852 |      865  27600 |        0 |        0
887.94/888.23	c  888s |      26 | 12400573 |  9514252 |      865  27646 |        0 |        0
889.94/890.24	c  890s |      26 | 12431837 |  9535752 |      865  27695 |        0 |        0
891.94/892.25	c  892s |      26 | 12459801 |  9556852 |      865  27743 |        0 |        0
893.93/894.25	c  894s |      26 | 12487288 |  9577252 |      865  27790 |        0 |        0
895.93/896.25	c  896s |      26 | 12513081 |  9597152 |      865  27835 |        0 |        0
897.93/898.25	c  898s |      26 | 12541387 |  9618052 |      865  27883 |        0 |        0
899.93/900.26	c  900s |      26 | 12571848 |  9639352 |      865  27931 |        0 |        0
901.93/902.27	c  902s |      26 | 12601128 |  9660552 |      865  27980 |        0 |        0
903.94/904.27	c  904s |      26 | 12630492 |  9681952 |      865  28029 |        0 |        0
905.93/906.27	c  906s |      26 | 12661118 |  9704052 |      865  28079 |        0 |        0
907.93/908.27	c  908s |      26 | 12690238 |  9725852 |      865  28129 |        0 |        0
909.93/910.27	c  910s |      26 | 12716628 |  9746452 |      865  28176 |        0 |        0
911.92/912.28	c  912s |      26 | 12744120 |  9767652 |      865  28225 |        0 |        0
913.93/914.28	c  914s |      26 | 12773681 |  9789452 |      865  28274 |        0 |        0
915.92/916.29	c  916s |      26 | 12805223 |  9812052 |      865  28326 |        0 |        0
918.03/918.30	c  918s |      26 | 12834456 |  9833652 |      865  28376 |        0 |        0
920.03/920.30	c  920s |      26 | 12859445 |  9853152 |      865  28420 |        0 |        0
922.03/922.30	c  922s |      26 | 12883570 |  9872452 |      865  28463 |        0 |        0
924.03/924.31	c  924s |      26 | 12909276 |  9892152 |      865  28508 |        0 |        0
926.03/926.31	c  926s |      26 | 12939705 |  9913652 |      865  28557 |        0 |        0
928.03/928.31	c  928s |      26 | 12966047 |  9933952 |      865  28603 |        0 |        0
930.02/930.32	c  930s |      26 | 12990413 |  9953052 |      865  28646 |        0 |        0
932.02/932.33	c  932s |      26 | 13016163 |  9972652 |      865  28690 |        0 |        0
934.02/934.33	c  934s |      26 | 13043254 |  9993352 |      865  28737 |        0 |        0
936.02/936.34	c  936s |      26 | 13071137 | 10014052 |      865  28784 |        0 |        0
938.02/938.35	c  938s |      26 | 13097741 | 10034252 |      865  28830 |        0 |        0
940.01/940.36	c  940s |      26 | 13124194 | 10054152 |      865  28875 |        0 |        0
942.01/942.36	c  942s |      26 | 13149088 | 10073552 |      865  28919 |        0 |        0
944.01/944.37	c  944s |      26 | 13177063 | 10094252 |      865  28965 |        0 |        0
946.01/946.37	c  946s |      26 | 13204767 | 10115052 |      865  29012 |        0 |        0
948.02/948.37	c  948s |      26 | 13234308 | 10136552 |      865  29061 |        0 |        0
950.01/950.38	c  950s |      26 | 13261220 | 10156852 |      865  29107 |        0 |        0
952.01/952.39	c  952s |      26 | 13287400 | 10176752 |      865  29152 |        0 |        0
954.01/954.39	c  954s |      26 | 13316834 | 10198752 |      865  29202 |        0 |        0
956.10/956.40	c  956s |      26 | 13347849 | 10221452 |      865  29253 |        0 |        0
958.10/958.40	c  958s |      26 | 13374009 | 10242252 |      865  29301 |        0 |        0
960.11/960.40	c  960s |      26 | 13403687 | 10263852 |      865  29350 |        0 |        0
962.10/962.41	c  962s |      26 | 13430839 | 10284152 |      865  29396 |        0 |        0
964.10/964.42	c  964s |      26 | 13461377 | 10305852 |      865  29445 |        0 |        0
966.11/966.42	c  966s |      26 | 13490848 | 10327952 |      865  29496 |        0 |        0
968.11/968.43	c  968s |      26 | 13520234 | 10349352 |      865  29544 |        0 |        0
970.11/970.44	c  970s |      26 | 13549972 | 10371152 |      865  29593 |        0 |        0
972.11/972.45	c  972s |      26 | 13577560 | 10392052 |      865  29641 |        0 |        0
974.10/974.45	c  974s |      26 | 13606358 | 10413452 |      865  29689 |        0 |        0
976.10/976.46	c  976s |      26 | 13635867 | 10434652 |      865  29737 |        0 |        0
978.10/978.46	c  978s |      26 | 13663220 | 10455352 |      865  29784 |        0 |        0
980.10/980.47	c  980s |      26 | 13691379 | 10476552 |      865  29832 |        0 |        0
982.10/982.47	c  982s |      26 | 13719643 | 10497152 |      865  29879 |        0 |        0
984.09/984.47	c  984s |      26 | 13750120 | 10519252 |      865  29929 |        0 |        0
986.09/986.48	c  986s |      26 | 13779574 | 10541352 |      865  29979 |        0 |        0
988.09/988.48	c  988s |      26 | 13805715 | 10561552 |      865  30025 |        0 |        0
990.09/990.49	c  990s |      26 | 13831914 | 10581652 |      865  30070 |        0 |        0
992.19/992.50	c  992s |      26 | 13856609 | 10601152 |      865  30114 |        0 |        0
994.19/994.50	c  994s |      26 | 13885239 | 10622552 |      865  30163 |        0 |        0
996.18/996.51	c  996s |      26 | 13914272 | 10644452 |      865  30213 |        0 |        0
998.18/998.51	c  998s |      26 | 13941266 | 10665652 |      865  30261 |        0 |        0
1000.18/1000.52	c 1000s |      26 | 13969012 | 10687052 |      865  30309 |        0 |        0
1002.18/1002.53	c 1002s |      26 | 13998701 | 10709552 |      865  30360 |        0 |        0
1004.18/1004.53	c 1004s |      26 | 14026368 | 10730752 |      865  30408 |        0 |        0
1006.19/1006.54	c 1006s |      26 | 14051666 | 10751152 |      865  30455 |        0 |        0
1008.18/1008.54	c 1008s |      26 | 14079628 | 10772652 |      865  30504 |        0 |        0
1010.18/1010.55	c 1010s |      26 | 14108426 | 10794152 |      865  30553 |        0 |        0
1012.18/1012.55	c 1012s |      26 | 14138577 | 10816652 |      865  30604 |        0 |        0
1014.18/1014.56	c 1014s |      26 | 14169163 | 10838952 |      865  30655 |        0 |        0
1016.19/1016.56	c 1016s |      26 | 14197128 | 10860252 |      865  30704 |        0 |        0
1018.18/1018.57	c 1018s |      26 | 14222377 | 10880052 |      865  30749 |        0 |        0
1020.18/1020.57	c 1020s |      26 | 14248792 | 10900352 |      865  30795 |        0 |        0
1022.18/1022.57	c 1022s |      26 | 14274520 | 10920852 |      865  30842 |        0 |        0
1024.18/1024.57	c 1024s |      26 | 14299178 | 10940652 |      865  30887 |        0 |        0
1026.18/1026.58	c 1026s |      26 | 14323177 | 10959852 |      865  30931 |        0 |        0
1028.18/1028.58	c 1028s |      26 | 14350552 | 10980852 |      865  30979 |        0 |        0
1030.18/1030.59	c 1030s |      26 | 14380235 | 11002152 |      865  31027 |        0 |        0
1032.17/1032.59	c 1032s |      26 | 14412174 | 11024552 |      865  31078 |        0 |        0
1034.17/1034.59	c 1034s |      26 | 14444252 | 11047052 |      865  31129 |        0 |        0
1036.27/1036.60	c 1036s |      26 | 14474741 | 11068952 |      865  31179 |        0 |        0
1038.27/1038.60	c 1038s |      26 | 14503853 | 11090452 |      865  31228 |        0 |        0
1040.28/1040.61	c 1040s |      26 | 14534571 | 11112652 |      865  31278 |        0 |        0
1042.27/1042.61	c 1042s |      26 | 14566564 | 11134852 |      865  31329 |        0 |        0
1044.27/1044.62	c 1044s |      26 | 14594198 | 11155652 |      865  31376 |        0 |        0
1046.27/1046.63	c 1046s |      26 | 14620025 | 11175852 |      865  31422 |        0 |        0
1048.27/1048.63	c 1048s |      26 | 14648032 | 11197352 |      865  31471 |        0 |        0
1050.27/1050.64	c 1050s |      26 | 14680457 | 11220452 |      865  31524 |        0 |        0
1052.26/1052.65	c 1052s |      26 | 14707074 | 11241652 |      865  31572 |        0 |        0
1054.26/1054.65	c 1054s |      26 | 14734435 | 11263452 |      865  31621 |        0 |        0
1056.26/1056.66	c 1056s |      26 | 14760892 | 11284552 |      865  31668 |        0 |        0
1058.26/1058.66	c 1058s |      26 | 14789789 | 11306652 |      865  31719 |        0 |        0
1060.26/1060.67	c 1060s |      26 | 14818721 | 11327552 |      952  31764 |        0 |        0
1062.26/1062.67	c 1062s |      26 | 14844043 | 11347252 |      952  31804 |        0 |        0
1064.25/1064.67	c 1064s |      26 | 14868276 | 11366252 |      952  31844 |        0 |        0
1066.25/1066.68	c 1066s |      26 | 14893129 | 11385552 |      952  31884 |        0 |        0
1067.45/1067.83	c 1067s |      27 | 14907533 | 11396733 |      952  31907 |        0 |        0
1069.45/1069.83	c 1069s |      27 | 14933333 | 11416533 |      952  31947 |        0 |        0
1071.45/1071.83	c 1071s |      27 | 14959171 | 11436233 |      952  31988 |        0 |        0
1073.45/1073.84	c 1073s |      27 | 14987011 | 11456933 |      952  32030 |        0 |        0
1075.45/1075.84	c 1075s |      27 | 15014337 | 11477433 |      952  32073 |        0 |        0
1077.45/1077.85	c 1077s |      27 | 15041741 | 11498033 |      952  32115 |        0 |        0
1079.44/1079.85	c 1079s |      27 | 15066283 | 11517233 |      952  32155 |        0 |        0
1081.44/1081.85	c 1081s |      27 | 15088665 | 11535833 |      952  32193 |        0 |        0
1083.44/1083.86	c 1083s |      27 | 15112323 | 11555033 |      952  32233 |        0 |        0
1085.45/1085.87	c 1085s |      27 | 15138918 | 11575633 |      952  32275 |        0 |        0
1087.44/1087.87	c 1087s |      27 | 15164937 | 11595533 |      952  32317 |        0 |        0
1089.45/1089.88	c 1089s |      27 | 15192996 | 11616033 |      952  32359 |        0 |        0
1091.44/1091.88	c 1091s |      27 | 15217983 | 11635333 |      952  32398 |        0 |        0
1093.44/1093.89	c 1093s |      27 | 15242756 | 11654533 |      952  32438 |        0 |        0
1095.54/1095.90	c 1095s |      27 | 15273642 | 11676333 |      952  32483 |        0 |        0
1097.44/1097.90	c 1097s |      27 | 15301410 | 11698233 |      952  32528 |        0 |        0
1099.53/1099.91	c 1099s |      27 | 15330399 | 11720533 |      952  32574 |        0 |        0
1101.53/1101.91	c 1101s |      27 | 15358030 | 11741933 |      952  32618 |        0 |        0
1103.53/1103.92	c 1103s |      27 | 15385302 | 11763133 |      952  32662 |        0 |        0
1105.53/1105.92	c 1105s |      27 | 15411798 | 11784133 |      952  32705 |        0 |        0
1107.53/1107.92	c 1107s |      27 | 15438801 | 11805333 |      952  32749 |        0 |        0
1109.54/1109.93	c 1109s |      27 | 15465933 | 11826533 |      952  32793 |        0 |        0
1111.52/1111.93	c 1111s |      27 | 15495792 | 11848233 |      952  32838 |        0 |        0
1113.52/1113.94	c 1113s |      27 | 15523107 | 11868933 |      952  32880 |        0 |        0
1115.52/1115.95	c 1115s |      27 | 15551037 | 11890033 |      952  32924 |        0 |        0
1117.52/1117.95	c 1117s |      27 | 15578290 | 11910933 |      952  32967 |        0 |        0
1119.54/1119.96	c 1119s |      27 | 15603328 | 11930933 |      952  33009 |        0 |        0
1121.53/1121.96	c 1121s |      27 | 15629527 | 11951533 |      952  33051 |        0 |        0
1123.53/1123.97	c 1123s |      27 | 15658805 | 11973433 |      952  33097 |        0 |        0
1125.53/1125.98	c 1125s |      27 | 15687833 | 11995033 |      952  33142 |        0 |        0
1127.53/1127.98	c 1127s |      27 | 15712847 | 12014433 |      952  33182 |        0 |        0
1129.53/1129.98	c 1129s |      27 | 15736917 | 12033233 |      952  33221 |        0 |        0
1131.53/1131.99	c 1131s |      27 | 15764847 | 12054133 |      952  33264 |        0 |        0
1133.62/1134.00	c 1133s |      27 | 15792251 | 12075133 |      952  33307 |        0 |        0
1135.62/1136.01	c 1135s |      27 | 15821610 | 12096733 |      952  33352 |        0 |        0
1137.62/1138.02	c 1138s |      27 | 15848379 | 12117533 |      952  33395 |        0 |        0
1139.62/1140.02	c 1140s |      27 | 15876508 | 12139233 |      952  33440 |        0 |        0
1141.61/1142.02	c 1142s |      27 | 15902600 | 12160033 |      952  33483 |        0 |        0
1143.62/1144.02	c 1144s |      27 | 15927805 | 12180233 |      952  33524 |        0 |        0
1145.61/1146.03	c 1146s |      27 | 15953620 | 12200633 |      952  33567 |        0 |        0
1147.61/1148.03	c 1148s |      27 | 15977497 | 12220033 |      952  33607 |        0 |        0
1149.61/1150.04	c 1150s |      27 | 16004514 | 12240833 |      952  33650 |        0 |        0
1151.61/1152.05	c 1152s |      27 | 16032993 | 12262433 |      952  33694 |        0 |        0
1153.61/1154.05	c 1154s |      27 | 16061845 | 12283433 |      952  33737 |        0 |        0
1155.60/1156.06	c 1156s |      27 | 16085757 | 12302833 |      952  33777 |        0 |        0
1157.60/1158.06	c 1158s |      27 | 16113681 | 12323933 |      952  33821 |        0 |        0
1159.60/1160.07	c 1160s |      27 | 16143459 | 12345533 |      952  33866 |        0 |        0
1161.60/1162.07	c 1162s |      27 | 16172847 | 12367433 |      952  33911 |        0 |        0
1163.60/1164.08	c 1164s |      27 | 16201413 | 12388633 |      952  33955 |        0 |        0
1165.60/1166.08	c 1166s |      27 | 16228942 | 12409533 |      952  33998 |        0 |        0
1167.60/1168.09	c 1168s |      27 | 16254535 | 12429733 |      952  34039 |        0 |        0
1169.60/1170.09	c 1170s |      27 | 16279428 | 12449733 |      952  34081 |        0 |        0
1171.70/1172.10	c 1172s |      27 | 16305235 | 12469833 |      952  34123 |        0 |        0
1173.70/1174.10	c 1174s |      27 | 16331613 | 12490333 |      952  34165 |        0 |        0
1175.70/1176.10	c 1176s |      27 | 16357314 | 12510233 |      952  34206 |        0 |        0
1177.71/1178.11	c 1178s |      27 | 16384059 | 12530633 |      952  34248 |        0 |        0
1179.70/1180.11	c 1180s |      27 | 16411168 | 12551333 |      952  34291 |        0 |        0
1181.70/1182.12	c 1182s |      27 | 16436441 | 12571233 |      952  34332 |        0 |        0
1183.70/1184.12	c 1184s |      27 | 16461064 | 12590633 |      952  34373 |        0 |        0
1185.70/1186.13	c 1186s |      27 | 16487951 | 12611133 |      952  34415 |        0 |        0
1187.71/1188.13	c 1188s |      27 | 16516061 | 12631733 |      952  34457 |        0 |        0
1189.70/1190.14	c 1190s |      27 | 16542812 | 12652033 |      952  34499 |        0 |        0
1191.70/1192.14	c 1192s |      27 | 16570406 | 12672933 |      952  34543 |        0 |        0
1193.70/1194.15	c 1194s |      27 | 16597697 | 12693433 |      952  34585 |        0 |        0
1195.70/1196.15	c 1196s |      27 | 16626305 | 12714233 |      952  34628 |        0 |        0
1197.70/1198.16	c 1198s |      27 | 16652791 | 12734333 |      952  34669 |        0 |        0
1199.70/1200.16	c 1200s |      27 | 16678956 | 12754033 |      952  34710 |        0 |        0
1201.69/1202.17	c 1202s |      27 | 16705888 | 12774333 |      952  34752 |        0 |        0
1203.69/1204.18	c 1204s |      27 | 16732003 | 12794333 |      952  34793 |        0 |        0
1205.69/1206.19	c 1206s |      27 | 16758209 | 12814333 |      952  34834 |        0 |        0
1207.69/1208.19	c 1208s |      27 | 16785110 | 12834433 |      952  34876 |        0 |        0
1209.79/1210.20	c 1210s |      27 | 16812729 | 12855133 |      952  34918 |        0 |        0
1211.80/1212.20	c 1212s |      27 | 16840795 | 12875933 |      952  34961 |        0 |        0
1213.79/1214.21	c 1214s |      27 | 16867367 | 12896133 |      952  35003 |        0 |        0
1215.79/1216.22	c 1216s |      27 | 16891385 | 12915233 |      952  35043 |        0 |        0
1217.80/1218.23	c 1218s |      27 | 16916858 | 12934833 |      952  35084 |        0 |        0
1219.80/1220.24	c 1220s |      27 | 16942768 | 12954633 |      952  35125 |        0 |        0
1221.80/1222.24	c 1222s |      27 | 16970249 | 12975133 |      952  35167 |        0 |        0
1223.79/1224.24	c 1224s |      27 | 16997577 | 12995633 |      952  35209 |        0 |        0
1225.79/1226.24	c 1226s |      27 | 17023666 | 13016033 |      952  35251 |        0 |        0
1227.79/1228.24	c 1228s |      27 | 17048743 | 13035833 |      952  35292 |        0 |        0
1229.79/1230.25	c 1230s |      27 | 17077712 | 13057533 |      952  35337 |        0 |        0
1231.79/1232.26	c 1232s |      27 | 17103856 | 13078333 |      952  35380 |        0 |        0
1233.80/1234.26	c 1234s |      27 | 17131699 | 13099233 |      952  35423 |        0 |        0
1235.79/1236.27	c 1236s |      27 | 17160107 | 13120233 |      952  35467 |        0 |        0
1237.79/1238.27	c 1238s |      27 | 17186074 | 13140333 |      952  35509 |        0 |        0
1239.79/1240.27	c 1240s |      27 | 17210804 | 13159933 |      952  35550 |        0 |        0
1241.79/1242.28	c 1242s |      27 | 17235399 | 13179533 |      952  35590 |        0 |        0
1243.80/1244.28	c 1244s |      27 | 17259380 | 13198633 |      952  35629 |        0 |        0
1245.79/1246.29	c 1246s |      27 | 17286728 | 13218833 |      952  35671 |        0 |        0
1247.79/1248.29	c 1248s |      27 | 17311899 | 13238533 |      952  35712 |        0 |        0
1249.79/1250.29	c 1250s |      27 | 17338297 | 13259033 |      952  35754 |        0 |        0
1251.89/1252.30	c 1252s |      27 | 17367596 | 13280833 |      952  35800 |        0 |        0
1253.89/1254.31	c 1254s |      27 | 17394905 | 13301833 |      952  35843 |        0 |        0
1255.89/1256.31	c 1256s |      27 | 17423263 | 13322533 |      952  35886 |        0 |        0
1257.89/1258.31	c 1258s |      27 | 17449176 | 13342533 |      952  35928 |        0 |        0
1259.89/1260.31	c 1260s |      27 | 17475389 | 13362133 |      952  35969 |        0 |        0
1261.89/1262.32	c 1262s |      27 | 17504270 | 13383733 |      952  36013 |        0 |        0
1263.88/1264.33	c 1264s |      27 | 17532180 | 13404633 |      952  36056 |        0 |        0
1265.88/1266.33	c 1266s |      27 | 17558879 | 13424933 |      952  36098 |        0 |        0
1267.89/1268.34	c 1268s |      27 | 17586504 | 13445333 |      952  36140 |        0 |        0
1269.88/1270.34	c 1270s |      27 | 17614998 | 13466133 |      952  36183 |        0 |        0
1271.88/1272.35	c 1272s |      27 | 17643363 | 13487333 |      952  36227 |        0 |        0
1273.89/1274.36	c 1274s |      27 | 17670602 | 13508033 |      952  36270 |        0 |        0
1275.89/1276.36	c 1276s |      27 | 17696826 | 13528233 |      952  36312 |        0 |        0
1277.89/1278.36	c 1278s |      27 | 17724634 | 13549233 |      952  36355 |        0 |        0
1279.89/1280.36	c 1280s |      27 | 17751493 | 13569833 |      952  36398 |        0 |        0
1281.88/1282.37	c 1282s |      27 | 17779040 | 13590833 |      952  36441 |        0 |        0
1283.88/1284.37	c 1284s |      27 | 17805782 | 13611533 |      952  36484 |        0 |        0
1285.88/1286.38	c 1286s |      27 | 17832234 | 13632033 |      952  36526 |        0 |        0
1287.88/1288.39	c 1288s |      27 | 17858133 | 13652133 |      952  36568 |        0 |        0
1289.89/1290.39	c 1290s |      27 | 17883059 | 13671733 |      952  36608 |        0 |        0
1291.98/1292.40	c 1292s |      27 | 17908430 | 13691733 |      952  36650 |        0 |        0
1293.98/1294.40	c 1294s |      27 | 17934385 | 13711633 |      952  36691 |        0 |        0
1295.98/1296.40	c 1296s |      27 | 17960660 | 13732133 |      952  36734 |        0 |        0
1297.98/1298.41	c 1298s |      27 | 17987770 | 13752833 |      952  36777 |        0 |        0
1299.98/1300.41	c 1300s |      27 | 18013157 | 13772633 |      952  36818 |        0 |        0
1301.98/1302.42	c 1302s |      27 | 18038567 | 13792333 |      952  36858 |        0 |        0
1303.98/1304.43	c 1304s |      27 | 18065549 | 13812933 |      952  36901 |        0 |        0
1305.98/1306.43	c 1306s |      27 | 18093494 | 13833833 |      952  36944 |        0 |        0
1307.98/1308.44	c 1308s |      27 | 18120828 | 13854133 |      952  36986 |        0 |        0
1309.98/1310.44	c 1310s |      27 | 18151725 | 13875633 |      952  37031 |        0 |        0
1311.99/1312.45	c 1312s |      27 | 18182536 | 13898033 |      952  37077 |        0 |        0
1313.98/1314.45	c 1314s |      27 | 18211129 | 13919733 |      952  37122 |        0 |        0
1315.98/1316.46	c 1316s |      27 | 18238335 | 13940133 |      952  37164 |        0 |        0
1317.98/1318.46	c 1318s |      27 | 18265062 | 13960733 |      952  37207 |        0 |        0
1319.98/1320.46	c 1320s |      27 | 18293016 | 13981733 |      952  37250 |        0 |        0
1321.98/1322.47	c 1322s |      27 | 18322840 | 14003133 |      952  37294 |        0 |        0
1323.98/1324.47	c 1324s |      27 | 18351732 | 14024433 |      952  37339 |        0 |        0
1325.98/1326.48	c 1326s |      27 | 18380904 | 14045833 |      952  37383 |        0 |        0
1327.98/1328.48	c 1328s |      27 | 18410658 | 14067533 |      952  37428 |        0 |        0
1329.97/1330.48	c 1330s |      27 | 18440484 | 14089033 |      952  37473 |        0 |        0
1331.97/1332.49	c 1332s |      27 | 18464890 | 14108633 |      952  37513 |        0 |        0
1334.07/1334.50	c 1334s |      27 | 18488400 | 14127533 |      952  37552 |        0 |        0
1335.97/1336.50	c 1336s |      27 | 18513038 | 14147033 |      952  37593 |        0 |        0
1338.07/1338.51	c 1338s |      27 | 18545013 | 14168933 |      952  37639 |        0 |        0
1340.07/1340.52	c 1340s |      27 | 18575260 | 14190633 |      952  37684 |        0 |        0
1342.07/1342.52	c 1342s |      27 | 18602620 | 14210933 |      952  37725 |        0 |        0
1344.07/1344.53	c 1344s |      27 | 18629505 | 14231633 |      952  37768 |        0 |        0
1346.08/1346.53	c 1346s |      27 | 18655468 | 14251633 |      952  37810 |        0 |        0
1348.07/1348.54	c 1348s |      27 | 18685376 | 14272833 |      952  37854 |        0 |        0
1350.07/1350.54	c 1350s |      27 | 18710795 | 14292533 |      952  37895 |        0 |        0
1352.07/1352.55	c 1352s |      27 | 18737801 | 14313233 |      952  37938 |        0 |        0
1354.08/1354.56	c 1354s |      27 | 18765540 | 14334133 |      952  37981 |        0 |        0
1356.07/1356.57	c 1356s |      27 | 18789490 | 14353233 |      952  38020 |        0 |        0
1358.08/1358.57	c 1358s |      27 | 18816254 | 14373533 |      952  38062 |        0 |        0
1360.07/1360.57	c 1360s |      27 | 18842677 | 14394133 |      952  38104 |        0 |        0
1362.07/1362.58	c 1362s |      27 | 18870768 | 14415433 |      952  38148 |        0 |        0
1364.07/1364.59	c 1364s |      27 | 18897804 | 14435733 |      952  38190 |        0 |        0
1366.07/1366.59	c 1366s |      27 | 18922797 | 14455433 |      952  38231 |        0 |        0
1368.17/1368.60	c 1368s |      27 | 18950002 | 14476033 |      952  38273 |        0 |        0
1370.07/1370.60	c 1370s |      27 | 18977785 | 14496733 |      952  38316 |        0 |        0
1372.17/1372.60	c 1372s |      27 | 19005528 | 14517533 |      952  38359 |        0 |        0
1374.17/1374.61	c 1374s |      27 | 19035123 | 14539133 |      952  38404 |        0 |        0
1376.16/1376.62	c 1376s |      27 | 19064747 | 14560633 |      952  38448 |        0 |        0
1378.16/1378.63	c 1378s |      27 | 19092365 | 14581333 |      952  38491 |        0 |        0
1380.17/1380.63	c 1380s |      27 | 19117029 | 14600933 |      952  38531 |        0 |        0
1382.16/1382.63	c 1382s |      27 | 19141710 | 14620333 |      952  38572 |        0 |        0
1384.16/1384.64	c 1384s |      27 | 19172934 | 14641733 |      952  38616 |        0 |        0
1386.16/1386.64	c 1386s |      27 | 19201317 | 14662933 |      952  38660 |        0 |        0
1388.16/1388.64	c 1388s |      27 | 19229226 | 14684133 |      952  38704 |        0 |        0
1390.16/1390.65	c 1390s |      27 | 19257870 | 14705433 |      952  38748 |        0 |        0
1392.17/1392.65	c 1392s |      27 | 19283547 | 14725833 |      952  38790 |        0 |        0
1394.16/1394.66	c 1394s |      27 | 19310655 | 14746333 |      952  38832 |        0 |        0
1396.16/1396.67	c 1396s |      27 | 19337799 | 14767233 |      952  38876 |        0 |        0
1398.16/1398.68	c 1398s |      27 | 19365720 | 14788833 |      952  38920 |        0 |        0
1400.16/1400.69	c 1400s |      27 | 19392499 | 14809433 |      952  38963 |        0 |        0
1402.17/1402.69	c 1402s |      27 | 19418524 | 14829633 |      952  39005 |        0 |        0
1404.16/1404.69	c 1404s |      27 | 19446361 | 14849933 |      952  39047 |        0 |        0
1406.16/1406.69	c 1406s |      27 | 19473653 | 14870033 |      952  39089 |        0 |        0
1408.26/1408.70	c 1408s |      27 | 19500237 | 14890333 |      952  39131 |        0 |        0
1410.26/1410.70	c 1410s |      27 | 19525802 | 14910233 |      952  39172 |        0 |        0
1412.26/1412.70	c 1412s |      27 | 19553287 | 14930533 |      952  39214 |        0 |        0
1414.27/1414.71	c 1414s |      27 | 19577407 | 14949833 |      952  39254 |        0 |        0
1416.26/1416.72	c 1416s |      27 | 19603292 | 14969933 |      952  39296 |        0 |        0
1418.26/1418.72	c 1418s |      27 | 19631169 | 14990633 |      952  39338 |        0 |        0
1420.27/1420.72	c 1420s |      27 | 19655343 | 15009733 |      952  39378 |        0 |        0
1422.27/1422.73	c 1422s |      27 | 19680730 | 15029433 |      952  39418 |        0 |        0
1424.27/1424.73	c 1424s |      27 | 19704846 | 15048233 |      952  39457 |        0 |        0
1426.27/1426.74	c 1426s |      27 | 19729010 | 15067533 |      952  39497 |        0 |        0
1428.26/1428.74	c 1428s |      27 | 19751859 | 15085833 |      952  39535 |        0 |        0
1430.26/1430.74	c 1430s |      27 | 19776222 | 15104633 |      952  39574 |        0 |        0
1432.26/1432.75	c 1432s |      27 | 19802132 | 15124733 |      952  39615 |        0 |        0
1434.26/1434.76	c 1434s |      27 | 19827172 | 15144133 |      952  39656 |        0 |        0
1436.27/1436.76	c 1436s |      27 | 19853770 | 15164533 |      952  39698 |        0 |        0
1438.26/1438.77	c 1438s |      27 | 19882882 | 15186033 |      952  39742 |        0 |        0
1440.26/1440.77	c 1440s |      27 | 19910399 | 15206933 |      952  39786 |        0 |        0
1442.26/1442.77	c 1442s |      27 | 19937687 | 15227533 |      952  39829 |        0 |        0
1444.26/1444.78	c 1444s |      27 | 19964119 | 15247933 |      952  39871 |        0 |        0
1446.26/1446.78	c 1446s |      27 | 19990580 | 15268533 |      952  39914 |        0 |        0
1448.27/1448.79	c 1448s |      27 | 20018691 | 15289733 |      952  39957 |        0 |        0
1450.26/1450.79	c 1450s |      27 | 20043704 | 15309333 |      952  39998 |        0 |        0
1452.26/1452.80	c 1452s |      27 | 20067947 | 15328633 |      952  40038 |        0 |        0
1454.36/1454.80	c 1454s |      27 | 20093931 | 15348933 |      952  40080 |        0 |        0
1456.36/1456.80	c 1456s |      27 | 20117990 | 15367733 |      952  40119 |        0 |        0
1458.35/1458.81	c 1458s |      27 | 20143441 | 15387333 |      952  40159 |        0 |        0
1460.36/1460.82	c 1460s |      27 | 20169208 | 15406933 |      952  40200 |        0 |        0
1462.35/1462.82	c 1462s |      27 | 20194739 | 15426533 |      952  40240 |        0 |        0
1464.35/1464.82	c 1464s |      27 | 20219385 | 15446133 |      952  40281 |        0 |        0
1466.35/1466.83	c 1466s |      27 | 20244561 | 15465933 |      952  40322 |        0 |        0
1468.35/1468.84	c 1468s |      27 | 20270752 | 15485533 |      952  40363 |        0 |        0
1470.36/1470.84	c 1470s |      27 | 20294220 | 15504233 |      952  40401 |        0 |        0
1472.36/1472.85	c 1472s |      27 | 20318061 | 15523033 |      952  40440 |        0 |        0
1474.36/1474.85	c 1474s |      27 | 20341552 | 15542033 |      952  40479 |        0 |        0
1476.36/1476.86	c 1476s |      27 | 20366306 | 15560633 |      952  40518 |        0 |        0
1478.36/1478.86	c 1478s |      27 | 20391108 | 15579733 |      952  40558 |        0 |        0
1480.36/1480.86	c 1480s |      27 | 20415496 | 15598533 |      952  40596 |        0 |        0
1482.36/1482.87	c 1482s |      27 | 20438272 | 15617033 |      952  40635 |        0 |        0
1484.36/1484.87	c 1484s |      27 | 20462863 | 15636633 |      952  40676 |        0 |        0
1486.36/1486.88	c 1486s |      27 | 20488190 | 15657233 |      952  40718 |        0 |        0
1488.36/1488.88	c 1488s |      27 | 20515791 | 15678733 |      952  40763 |        0 |        0
1490.35/1490.88	c 1490s |      27 | 20542849 | 15698933 |      952  40805 |        0 |        0
1492.36/1492.89	c 1492s |      27 | 20567293 | 15718433 |      952  40845 |        0 |        0
1494.35/1494.89	c 1494s |      27 | 20590869 | 15737533 |      952  40885 |        0 |        0
1496.45/1496.90	c 1496s |      27 | 20616209 | 15757233 |      952  40926 |        0 |        0
1498.45/1498.90	c 1498s |      27 | 20641357 | 15777233 |      952  40967 |        0 |        0
1500.45/1500.90	c 1500s |      27 | 20665026 | 15796533 |      952  41008 |        0 |        0
1502.45/1502.91	c 1502s |      27 | 20689244 | 15816233 |      952  41048 |        0 |        0
1504.45/1504.92	c 1504s |      27 | 20713684 | 15836133 |      952  41090 |        0 |        0
1506.45/1506.92	c 1506s |      27 | 20738972 | 15856333 |      952  41132 |        0 |        0
1508.45/1508.92	c 1508s |      27 | 20765680 | 15877033 |      952  41175 |        0 |        0
1510.45/1510.93	c 1510s |      27 | 20790697 | 15896833 |      952  41216 |        0 |        0
1512.45/1512.94	c 1512s |      27 | 20813961 | 15915633 |      952  41254 |        0 |        0
1514.45/1514.94	c 1514s |      27 | 20838579 | 15935233 |      952  41295 |        0 |        0
1516.46/1516.94	c 1516s |      27 | 20865133 | 15955233 |      952  41336 |        0 |        0
1518.45/1518.95	c 1518s |      27 | 20893324 | 15976333 |      952  41380 |        0 |        0
1520.45/1520.95	c 1520s |      27 | 20920799 | 15997333 |      952  41423 |        0 |        0
1522.45/1522.96	c 1522s |      27 | 20946548 | 16016933 |      952  41464 |        0 |        0
1524.45/1524.97	c 1524s |      27 | 20971366 | 16036833 |      952  41505 |        0 |        0
1526.46/1526.98	c 1526s |      27 | 20998199 | 16057033 |      952  41547 |        0 |        0
1528.45/1528.99	c 1528s |      27 | 21023778 | 16076833 |      952  41588 |        0 |        0
1530.45/1530.99	c 1530s |      27 | 21050121 | 16097133 |      952  41630 |        0 |        0
1532.45/1532.99	c 1532s |      27 | 21074617 | 16116633 |      952  41671 |        0 |        0
1534.45/1534.99	c 1534s |      27 | 21100584 | 16136633 |      952  41712 |        0 |        0
1536.55/1537.00	c 1536s |      27 | 21127126 | 16157333 |      952  41755 |        0 |        0
1538.45/1539.00	c 1538s |      27 | 21153598 | 16178033 |      952  41798 |        0 |        0
1540.54/1541.01	c 1540s |      27 | 21179584 | 16198633 |      952  41841 |        0 |        0
1542.54/1543.01	c 1542s |      27 | 21207230 | 16219933 |      952  41885 |        0 |        0
1544.54/1545.01	c 1545s |      27 | 21233576 | 16240333 |      952  41927 |        0 |        0
1546.54/1547.02	c 1547s |      27 | 21258960 | 16260333 |      952  41969 |        0 |        0
1548.54/1549.02	c 1549s |      27 | 21286571 | 16280933 |      952  42012 |        0 |        0
1550.55/1551.03	c 1551s |      27 | 21314823 | 16301733 |      952  42055 |        0 |        0
1552.54/1553.04	c 1553s |      27 | 21341903 | 16322433 |      952  42098 |        0 |        0
1554.54/1555.04	c 1555s |      27 | 21367158 | 16341933 |      952  42139 |        0 |        0
1556.54/1557.04	c 1557s |      27 | 21393938 | 16362333 |      952  42181 |        0 |        0
1558.55/1559.05	c 1559s |      27 | 21420528 | 16382633 |      952  42223 |        0 |        0
1560.55/1561.06	c 1561s |      27 | 21445868 | 16402633 |      952  42265 |        0 |        0
1562.54/1563.07	c 1563s |      27 | 21471176 | 16422533 |      952  42306 |        0 |        0
1564.54/1565.07	c 1565s |      27 | 21495955 | 16441933 |      952  42346 |        0 |        0
1566.54/1567.08	c 1567s |      27 | 21522235 | 16462033 |      952  42388 |        0 |        0
1568.54/1569.08	c 1569s |      27 | 21550288 | 16483233 |      952  42432 |        0 |        0
1570.54/1571.09	c 1571s |      27 | 21576610 | 16503633 |      952  42474 |        0 |        0
1572.55/1573.09	c 1573s |      27 | 21601621 | 16523333 |      952  42515 |        0 |        0
1574.64/1575.10	c 1575s |      27 | 21628061 | 16544133 |      952  42559 |        0 |        0
1576.64/1577.11	c 1577s |      27 | 21652947 | 16564033 |      952  42600 |        0 |        0
1578.64/1579.11	c 1579s |      27 | 21677248 | 16584133 |      952  42642 |        0 |        0
1580.64/1581.11	c 1581s |      27 | 21701819 | 16603933 |      952  42683 |        0 |        0
1582.64/1583.12	c 1583s |      27 | 21727575 | 16624733 |      952  42726 |        0 |        0
1584.64/1585.12	c 1585s |      27 | 21753951 | 16645733 |      952  42770 |        0 |        0
1586.64/1587.13	c 1587s |      27 | 21779886 | 16666433 |      952  42813 |        0 |        0
1588.63/1589.14	c 1589s |      27 | 21808349 | 16687533 |      952  42857 |        0 |        0
1590.63/1591.14	c 1591s |      27 | 21834662 | 16708233 |      952  42900 |        0 |        0
1592.63/1593.15	c 1593s |      27 | 21858708 | 16727633 |      952  42940 |        0 |        0
1594.64/1595.15	c 1595s |      27 | 21883411 | 16747733 |      952  42982 |        0 |        0
1596.63/1597.16	c 1597s |      27 | 21909212 | 16768133 |      952  43025 |        0 |        0
1598.63/1599.16	c 1599s |      27 | 21934283 | 16788133 |      952  43066 |        0 |        0
1600.63/1601.17	c 1601s |      27 | 21958683 | 16807933 |      952  43108 |        0 |        0
1602.63/1603.17	c 1603s |      27 | 21985136 | 16828533 |      952  43151 |        0 |        0
1604.63/1605.17	c 1605s |      27 | 22012853 | 16849433 |      952  43194 |        0 |        0
1606.64/1607.17	c 1607s |      27 | 22039561 | 16870133 |      952  43238 |        0 |        0
1608.63/1609.18	c 1609s |      27 | 22065801 | 16891033 |      952  43281 |        0 |        0
1610.63/1611.18	c 1611s |      27 | 22090748 | 16910733 |      952  43322 |        0 |        0
1612.63/1613.19	c 1613s |      27 | 22113587 | 16928733 |      952  43359 |        0 |        0
1614.63/1615.19	c 1615s |      27 | 22138529 | 16948133 |      952  43398 |        0 |        0
1616.73/1617.20	c 1617s |      27 | 22163620 | 16967533 |      952  43438 |        0 |        0
1618.74/1619.21	c 1619s |      27 | 22186623 | 16985933 |     1048  43473 |        0 |        0
1620.74/1621.21	c 1621s |      27 | 22209457 | 17004733 |     1048  43508 |        0 |        0
1622.74/1623.21	c 1623s |      27 | 22231733 | 17023233 |     1048  43543 |        0 |        0
1624.74/1625.22	c 1625s |      27 | 22255336 | 17041733 |     1048  43577 |        0 |        0
1626.73/1627.22	c 1627s |      27 | 22282353 | 17061533 |     1048  43614 |        0 |        0
1628.74/1629.23	c 1629s |      27 | 22306597 | 17080433 |     1048  43649 |        0 |        0
1630.33/1630.84	c 1630s |      28 | 22324812 | 17095205 |     1048  43677 |        0 |        0
1632.33/1632.85	c 1632s |      28 | 22347440 | 17113805 |     1048  43712 |        0 |        0
1634.33/1634.85	c 1634s |      28 | 22371928 | 17132705 |     1048  43747 |        0 |        0
1636.34/1636.85	c 1636s |      28 | 22399272 | 17152605 |     1048  43784 |        0 |        0
1638.33/1638.86	c 1638s |      28 | 22426815 | 17172905 |     1048  43822 |        0 |        0
1640.33/1640.87	c 1640s |      28 | 22451388 | 17192005 |     1048  43858 |        0 |        0
1642.33/1642.87	c 1642s |      28 | 22473005 | 17210005 |     1048  43892 |        0 |        0
1644.33/1644.88	c 1644s |      28 | 22493424 | 17227505 |     1048  43924 |        0 |        0
1646.34/1646.88	c 1646s |      28 | 22516323 | 17245605 |     1048  43958 |        0 |        0
1648.33/1648.89	c 1648s |      28 | 22539828 | 17263905 |     1048  43993 |        0 |        0
1650.33/1650.89	c 1650s |      28 | 22564080 | 17283005 |     1048  44028 |        0 |        0
1652.43/1652.90	c 1652s |      28 | 22584969 | 17300305 |     1048  44061 |        0 |        0
1654.43/1654.90	c 1654s |      28 | 22606958 | 17318405 |     1048  44095 |        0 |        0
1656.43/1656.90	c 1656s |      28 | 22629791 | 17336605 |     1048  44129 |        0 |        0
1658.43/1658.91	c 1658s |      28 | 22654978 | 17355805 |     1048  44165 |        0 |        0
1660.42/1660.92	c 1660s |      28 | 22680283 | 17375105 |     1048  44201 |        0 |        0
1662.42/1662.92	c 1662s |      28 | 22704915 | 17394405 |     1048  44237 |        0 |        0
1664.42/1664.93	c 1664s |      28 | 22728836 | 17413205 |     1048  44273 |        0 |        0
1666.42/1666.94	c 1666s |      28 | 22753235 | 17432205 |     1048  44308 |        0 |        0
1668.42/1668.94	c 1668s |      28 | 22777124 | 17451005 |     1048  44343 |        0 |        0
1670.43/1670.95	c 1670s |      28 | 22800780 | 17469405 |     1048  44378 |        0 |        0
1672.42/1672.96	c 1672s |      28 | 22824759 | 17487905 |     1048  44412 |        0 |        0
1674.42/1674.96	c 1674s |      28 | 22848889 | 17506805 |     1048  44447 |        0 |        0
1676.42/1676.97	c 1676s |      28 | 22875073 | 17526505 |     1048  44484 |        0 |        0
1678.42/1678.97	c 1678s |      28 | 22900709 | 17545805 |     1048  44521 |        0 |        0
1680.43/1680.97	c 1680s |      28 | 22923260 | 17563605 |     1048  44554 |        0 |        0
1682.42/1682.98	c 1682s |      28 | 22948147 | 17582505 |     1048  44589 |        0 |        0
1684.42/1684.98	c 1684s |      28 | 22973207 | 17601905 |     1048  44626 |        0 |        0
1686.43/1686.99	c 1686s |      28 | 22999206 | 17622005 |     1048  44664 |        0 |        0
1688.43/1688.99	c 1688s |      28 | 23024652 | 17641905 |     1048  44701 |        0 |        0
1690.43/1690.99	c 1690s |      28 | 23049636 | 17661305 |     1048  44738 |        0 |        0
1692.43/1693.00	c 1692s |      28 | 23076057 | 17681305 |     1048  44775 |        0 |        0
1694.52/1695.01	c 1694s |      28 | 23102104 | 17701305 |     1048  44813 |        0 |        0
1696.52/1697.01	c 1697s |      28 | 23129968 | 17721405 |     1048  44851 |        0 |        0
1698.52/1699.02	c 1699s |      28 | 23155209 | 17740905 |     1048  44887 |        0 |        0
1700.52/1701.02	c 1701s |      28 | 23181388 | 17760805 |     1048  44925 |        0 |        0
1702.52/1703.03	c 1703s |      28 | 23208065 | 17780305 |     1048  44961 |        0 |        0
1704.53/1705.03	c 1705s |      28 | 23232994 | 17799405 |     1048  44997 |        0 |        0
1706.52/1707.03	c 1707s |      28 | 23256375 | 17818205 |     1048  45033 |        0 |        0
1708.52/1709.03	c 1709s |      28 | 23278589 | 17836405 |     1048  45067 |        0 |        0
1710.52/1711.04	c 1711s |      28 | 23301455 | 17855005 |     1048  45102 |        0 |        0
1712.52/1713.04	c 1713s |      28 | 23326287 | 17874105 |     1048  45138 |        0 |        0
1714.53/1715.05	c 1715s |      28 | 23351053 | 17893205 |     1048  45174 |        0 |        0
1716.52/1717.05	c 1717s |      28 | 23375472 | 17911905 |     1048  45209 |        0 |        0
1718.52/1719.06	c 1719s |      28 | 23398417 | 17930505 |     1048  45244 |        0 |        0
1720.52/1721.06	c 1721s |      28 | 23421507 | 17949405 |     1048  45280 |        0 |        0
1722.52/1723.06	c 1723s |      28 | 23444839 | 17968105 |     1048  45315 |        0 |        0
1724.51/1725.07	c 1725s |      28 | 23468775 | 17987105 |     1048  45351 |        0 |        0
1726.52/1727.08	c 1727s |      28 | 23492241 | 18005805 |     1048  45385 |        0 |        0
1728.51/1729.08	c 1729s |      28 | 23514930 | 18024205 |     1048  45420 |        0 |        0
1730.51/1731.09	c 1731s |      28 | 23539237 | 18043205 |     1048  45455 |        0 |        0
1732.51/1733.09	c 1733s |      28 | 23562859 | 18062105 |     1048  45491 |        0 |        0
1734.61/1735.11	c 1735s |      28 | 23586109 | 18080605 |     1048  45526 |        0 |        0
1736.61/1737.11	c 1737s |      28 | 23609965 | 18099705 |     1048  45561 |        0 |        0
1738.62/1739.12	c 1739s |      28 | 23633409 | 18118505 |     1048  45597 |        0 |        0
1740.61/1741.12	c 1741s |      28 | 23658900 | 18138005 |     1048  45634 |        0 |        0
1742.61/1743.12	c 1743s |      28 | 23683812 | 18157405 |     1048  45670 |        0 |        0
1744.61/1745.13	c 1745s |      28 | 23708012 | 18176405 |     1048  45706 |        0 |        0
1746.61/1747.13	c 1747s |      28 | 23728631 | 18193605 |     1048  45738 |        0 |        0
1748.62/1749.14	c 1749s |      28 | 23753329 | 18212605 |     1048  45773 |        0 |        0
1750.61/1751.14	c 1751s |      28 | 23778394 | 18231605 |     1048  45809 |        0 |        0
1752.61/1753.15	c 1753s |      28 | 23802734 | 18250305 |     1048  45844 |        0 |        0
1754.61/1755.15	c 1755s |      28 | 23826126 | 18268505 |     1048  45878 |        0 |        0
1756.61/1757.16	c 1757s |      28 | 23847740 | 18286005 |     1048  45911 |        0 |        0
1758.61/1759.17	c 1759s |      28 | 23871177 | 18304705 |     1048  45946 |        0 |        0
1760.61/1761.18	c 1761s |      28 | 23893216 | 18322505 |     1048  45979 |        0 |        0
1762.61/1763.18	c 1763s |      28 | 23916737 | 18341205 |     1048  46014 |        0 |        0
1764.60/1765.19	c 1765s |      28 | 23940319 | 18359805 |     1048  46049 |        0 |        0
1766.60/1767.19	c 1767s |      28 | 23960700 | 18376905 |     1048  46081 |        0 |        0
1768.60/1769.19	c 1769s |      28 | 23980974 | 18393905 |     1048  46113 |        0 |        0
1770.70/1771.20	c 1771s |      28 | 24000771 | 18410805 |     1048  46144 |        0 |        0
1772.60/1773.20	c 1773s |      28 | 24023952 | 18429105 |     1048  46179 |        0 |        0
1774.70/1775.20	c 1775s |      28 | 24048390 | 18448005 |     1048  46214 |        0 |        0
1776.70/1777.21	c 1777s |      28 | 24073622 | 18467205 |     1048  46250 |        0 |        0
1778.70/1779.21	c 1779s |      28 | 24098132 | 18486205 |     1048  46286 |        0 |        0
1780.70/1781.21	c 1781s |      28 | 24121631 | 18504605 |     1048  46320 |        0 |        0
1782.72/1783.22	c 1783s |      28 | 24146739 | 18523505 |     1048  46356 |        0 |        0
1784.71/1785.22	c 1785s |      28 | 24170562 | 18542005 |     1048  46390 |        0 |        0
1786.71/1787.22	c 1787s |      28 | 24195426 | 18560805 |     1048  46426 |        0 |        0
1788.71/1789.23	c 1789s |      28 | 24218863 | 18579505 |     1048  46461 |        0 |        0
1790.71/1791.23	c 1791s |      28 | 24241475 | 18598005 |     1048  46496 |        0 |        0
1792.71/1793.23	c 1793s |      28 | 24265738 | 18616705 |     1048  46531 |        0 |        0
1794.71/1795.24	c 1795s |      28 | 24287728 | 18634605 |     1048  46565 |        0 |        0
1796.70/1797.24	c 1797s |      28 | 24312573 | 18653505 |     1048  46600 |        0 |        0
1798.70/1799.25	c 1799s |      28 | 24337242 | 18672505 |     1048  46636 |        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-4096148-1466103353/watcher-4096148-1466103353 -o /tmp/evaluation-result-4096148-1466103353/solver-4096148-1466103353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466103353-30256 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096148-1466103353.opb 

pid=30278
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: 1.30 1.25 1.54 3/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=751172 CPUtime=0 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 2807 0 0 0 0 0 0 0 20 0 4 0 12381772 769200128 3168 33554432000 4194304 16246674 140733488942448 140733488941872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 188305 3174 442 2943 0 185199 0
[pid=30284/tid=30285] ppid=30278 vsize=767556 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 785977344 3233 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=772676 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 791220224 3249 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=775748 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 794365952 3265 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 1.30 1.25 1.54 3/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 24551 0 0 0 5 4 0 0 20 0 4 0 12381772 1247350784 24900 33554432000 4194304 16246674 140733488942448 140733488941872 5546500 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 304529 24911 712 2943 0 301423 0
[pid=30284/tid=30285] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24915 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24922 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24927 33554432000 4194304 16246674 140733488942448 139972436810928 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.200531 s]
/proc/loadavg: 1.30 1.25 1.54 3/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 46973 0 0 0 11 8 0 0 20 0 4 0 12381772 1247350784 47323 33554432000 4194304 16246674 140733488942448 140733488941872 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 304529 47331 712 2943 0 301423 0
[pid=30284/tid=30285] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 47336 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 47342 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 47350 33554432000 4194304 16246674 140733488942448 139972436810928 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.300502 s]
/proc/loadavg: 1.30 1.25 1.54 3/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 69608 0 0 0 18 11 0 0 20 0 4 0 12381772 1247350784 69958 33554432000 4194304 16246674 140733488942448 140733488941872 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 304529 69967 713 2943 0 301423 0
[pid=30284/tid=30285] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 69971 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 69977 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 69988 33554432000 4194304 16246674 140733488942448 139972436810928 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.700388 s]
/proc/loadavg: 1.30 1.25 1.54 3/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 160941 0 0 0 44 25 0 0 20 0 4 0 12381772 1247350784 161291 33554432000 4194304 16246674 140733488942448 140733488941872 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 304529 161302 713 2943 0 301423 0
[pid=30284/tid=30285] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 161307 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 161313 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 161319 33554432000 4194304 16246674 140733488942448 139972436810928 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.50042 s]
/proc/loadavg: 1.30 1.25 1.54 4/183 30292
/proc/meminfo: memFree=28497388/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 245474 0 0 0 113 36 0 0 20 0 4 0 12381772 1247350784 245803 33554432000 4194304 16246674 140733488942448 140733488941760 13962576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 304529 245803 786 2943 0 301423 0
[pid=30284/tid=30285] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245803 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245803 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245803 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1218116

[startup+3.10041 s]
/proc/loadavg: 1.43 1.28 1.55 4/183 30292
/proc/meminfo: memFree=28321184/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267390 0 0 0 270 39 0 0 20 0 4 0 12381772 1337528320 267719 33554432000 4194304 16246674 140733488942448 140733488924352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267719 788 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267719 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267719 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267719 33554432000 4194304 16246674 140733488942448 139972436810928 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.30043 s]
/proc/loadavg: 1.43 1.28 1.55 5/183 30292
/proc/meminfo: memFree=28320252/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267416 0 0 0 590 39 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 140733488924352 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267745 788 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.52 1.30 1.55 4/183 30292
/proc/meminfo: memFree=28320628/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267416 0 0 0 1230 39 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 140733488924352 5823807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267745 788 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267745 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.67 1.34 1.56 4/183 30292
/proc/meminfo: memFree=28321048/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267433 0 0 0 2509 39 0 0 20 0 4 0 12381772 1337528320 267762 33554432000 4194304 16246674 140733488942448 140733488924352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267762 789 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267762 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267762 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267762 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.84 1.41 1.58 4/183 30292
/proc/meminfo: memFree=28320932/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267435 0 0 0 5068 40 0 0 20 0 4 0 12381772 1337528320 267764 33554432000 4194304 16246674 140733488942448 140733488924352 12460100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267764 789 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267764 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267764 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267764 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1306180

[startup+102.301 s]
/proc/loadavg: 1.98 1.52 1.60 4/183 30294
/proc/meminfo: memFree=28320808/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 267443 0 0 0 10187 41 0 0 20 0 4 0 12381772 1337528320 267772 33554432000 4194304 16246674 140733488942448 140733488924352 5659293 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326545 267772 790 2943 0 323439 0
[pid=30284/tid=30285] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267772 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267772 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267772 33554432000 4194304 16246674 140733488942448 139972436810928 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) 1306180


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

/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.33 2.26 2.07 5/183 30348
/proc/meminfo: memFree=28313028/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1361.87 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268159 0 0 0 136114 73 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 140733488924352 6011844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268332 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.30 2.26 2.08 4/183 30349
/proc/meminfo: memFree=28313032/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1421.87 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268159 0 0 0 142113 74 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 140733488924352 6010704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268332 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268332 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.31 2.27 2.09 4/184 30353
/proc/meminfo: memFree=28312848/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1481.86 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 148111 75 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.31 2.28 2.10 4/183 30354
/proc/meminfo: memFree=28312448/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1541.85 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 154109 76 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5823275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.35 2.28 2.11 5/183 30356
/proc/meminfo: memFree=28312788/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1601.83 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 160106 77 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.19 2.25 2.11 4/183 30357
/proc/meminfo: memFree=28312008/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 166104 78 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5523696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.11 4/183 30358
/proc/meminfo: memFree=28312880/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1721.82 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 172103 79 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.23 2.11 5/183 30359
/proc/meminfo: memFree=28312160/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1781.81 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 178101 80 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.45 2.28 2.13 4/183 30359
/proc/meminfo: memFree=28312256/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 179920 80 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5573014 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204

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

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

[startup+1800.5 s]
/proc/loadavg: 2.45 2.28 2.13 4/183 30359
/proc/meminfo: memFree=28312256/32872528 swapFree=1370072/1517240
[pid=30284] ppid=30278 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/30284/stat : 30284 (toysat) R 30278 30284 29649 0 -1 4202496 268241 0 0 0 179920 80 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 140733488924352 5573014 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30284/statm: 326801 268414 791 2943 0 323695 0
[pid=30284/tid=30285] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30285/stat : 30285 (toysat) S 30278 30284 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972534316272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30284/tid=30289] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30289/stat : 30289 (toysat) S 30278 30284 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972447284464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30284/tid=30290] ppid=30278 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30284/task/30290/stat : 30290 (toysat) S 30278 30284 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 268414 33554432000 4194304 16246674 140733488942448 139972436810928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.22
CPU system time (s): 0.804877
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.804877
maximum resident set size= 1073656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268241
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= 428
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99309 second user time and 9.52355 second system time

The end

Begin job on node129 at 2016-06-16 20:55:53
IDJOB=4096148
IDBENCH=107573
IDSOLVER=2542
FILE ID=node129/4096148-1466103353
RUNJOBID= node129-1466103353-30256
PBS_JOBID= 19904039
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 34bbe99f3d049dcee0a41ec8b43bcb49
RANDOM SEED=1612421401

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30461424 kB
Buffers:           49320 kB
Cached:           140008 kB
SwapCached:          672 kB
Active:           108724 kB
Inactive:          82704 kB
Active(anon):       3964 kB
Inactive(anon):      912 kB
Active(file):     104760 kB
Inactive(file):    81792 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100228 kB
Dirty:             32764 kB
Writeback:            44 kB
AnonPages:       1519288 kB
Mapped:             7088 kB
Shmem:                 0 kB
Slab:             569872 kB
SReclaimable:      13900 kB
SUnreclaim:       555972 kB
KernelStack:        1384 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71704 MiB
End job on node129 at 2016-06-16 21:25:54