0.00/0.00	c 2016-06-15T20:38:55+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-4088819-1466015934.opb"]
0.00/0.01	c use --random-gen="3681414895 2726213388 3886297632 3884757356 2387585910 1482697954 3892882623 3778318770 1468402924 3597392731 4129465154 1114096581 1076503923 3451207111 2091050442 3793642070 1289062419 1687459315 1823818566 2900339776 1467982813 2667956782 1705456127 1587865845 3175742642 3999146569 1716769366 1902830488 2999756772 3448161947 2311895481 2926725400 2319042721 187907552 695908806 2750321912 148452626 2091295623 2492286345 3951168706 3709383164 2323690196 2059837746 1091893488 898481987 2523600543 2018396649 889975744 1456000819 2787612730 2208735066 861557528 653513242 3125066704 3253624953 4244642860 207234640 3076364968 1803384612 940166868 1430695333 2038821804 4102559721 2070496714 1281869133 3453323912 479330811 3988417081 3708435200 2338574715 319584873 1560575458 1389844650 1575184207 585668660 3060161545 616591321 2391191538 593262713 2857904090 34508885 2174197683 3615782436 287181521 2297762373 3191944123 2332642385 1087704366 1680907305 3923941272 1961682883 2613972761 1342697910 1416668694 3267424204 1148965564 3767415558 1116252396 2742442124 3043954399 1860373091 1714622603 1530994674 320410548 961461047 2780875650 3545997842 3932815440 504964401 453162718 1498247418 2513529302 3070469833 578453522 3136227515 3546645095 513412307 1244357448 172541800 141191340 2111925463 270137267 1938994182 428695972 4184920253 1573051269 3438269454 3678309416 192568435 4257985477 3521491798 3871067316 750106628 3949015985 708331869 3143067483 2276927686 1781609982 3673648688 3498146827 1309462448 17930262 3979831784 2347733708 589881707 2750323120 434708333 1272343033 492122665 757715844 1852664989 1656147520 3176251071 1183579465 645852194 3570325633 2335835464 473046616 1525414184 3296132669 2343405649 3019444450 1982497649 2225112890 3356261903 694162582 566632366 2406497530 1601972592 3702577038 3164011783 1745392444 3852024589 102261038 1766099321 882712281 1229368526 685732365 1720720225 2199285124 2974730933 721008552 2493806491 1351413403 964109942 3090117152 2496306015 2693574341 3734339191 3150683722 3373691275 2633988247 2236317333 2934489487 3482841913 1061097070 2785495960 2677013261 1815327474 3054727011 2811292667 1948484382 1912171611 26573383 56758199 2533218479 2001482540 3105081745 3452918130 235356336 1063042258 472797636 1554564411 78162010 4199184951 374635092 3480747411 3510980526 1033207611 2978191372 2628708800 3107215335 260104027 1950703099 3603372539 697078810 3206726879 2803330486 551440569 1974439428 653925024 3678820418 1709802369 4223894269 994739566 4213010016 1559384018 254969574 3066210494 3153657361 3968443759 140672248 1661723364 3218821554 2353633586 1463935369 2769304631 1521672768 4245507527 107905108 1213518736 2232391869 476971583 4209069736 927978129 1429868731 255 362436" option to reproduce the execution
0.09/0.12	c #vars 16636
0.09/0.12	c #constraints 4160
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     6932      0 |        0 |        0
0.29/0.31	c  0.0s |       1 |      608 |      100 |     6932      0 |        0 |        0
0.39/0.48	c  0.2s |       2 |     1442 |      250 |     7626      0 |        0 |        0
0.48/0.51	c  0.2s |       3 |     1962 |      475 |     8389      0 |        0 |        0
0.48/0.54	c  0.3s |       4 |     2549 |      813 |     9228      0 |        0 |        0
0.48/0.58	c  0.3s |       5 |     3463 |     1320 |    10151      0 |        0 |        0
0.59/0.65	c  0.4s |       6 |     5218 |     2081 |    12284      0 |        0 |        0
0.69/0.75	c  0.5s |       7 |     7158 |     3223 |    13513      0 |        0 |        0
0.79/0.88	c  0.6s |       8 |    11919 |     4936 |    14865      0 |        0 |        0
1.09/1.15	c  0.9s |       9 |    16073 |     7506 |    16352      0 |        0 |        0
1.38/1.45	c  1.2s |      10 |    23735 |    11361 |    17988      0 |        0 |        0
1.99/2.01	c  1.8s |      11 |    37208 |    17144 |    19787      0 |        0 |        0
2.59/2.62	c  2.4s |      12 |    56685 |    25819 |    21766      1 |        0 |        0
3.99/4.01	c  3.8s |      13 |    81200 |    38832 |    23943      2 |        0 |        0
5.50/5.51	c  5.3s |      14 |   122859 |    58352 |    26338      3 |        0 |        0
7.49/7.51	c  7.3s |      14 |   169802 |    83852 |    26338      5 |        0 |        0
7.79/7.85	c  7.6s |      15 |   176899 |    87632 |    28972      5 |        0 |        0
9.78/9.86	c  9.6s |      15 |   222185 |   109732 |    28972      7 |        0 |        0
11.68/11.75	c 11.5s |      16 |   261218 |   131552 |    31870      8 |        0 |        0
13.68/13.75	c 13.5s |      16 |   303451 |   154152 |    31870      9 |        0 |        0
15.68/15.76	c 15.5s |      16 |   327455 |   168352 |    31870     10 |        0 |        0
17.78/17.81	c 17.5s |      16 |   353232 |   183752 |    31870     11 |        0 |        0
19.79/19.80	c 19.5s |      17 |   376922 |   197432 |    35057     12 |        0 |        0
21.79/21.82	c 21.6s |      17 |   441537 |   221832 |    35057     13 |        0 |        0
23.79/23.82	c 23.6s |      17 |   511148 |   242332 |    35057     14 |        0 |        0
25.79/25.87	c 25.6s |      17 |   616140 |   258732 |    35057     15 |        0 |        0
27.78/27.87	c 27.6s |      17 |   720921 |   278732 |    35057     16 |        0 |        0
29.79/29.88	c 29.6s |      17 |   745946 |   294432 |    38563     17 |        0 |        0
30.08/30.15	c 29.9s |      18 |   748849 |   296252 |    38563     17 |        0 |        0
32.08/32.16	c 31.9s |      18 |   779025 |   311252 |    38563     18 |        0 |        0
34.09/34.17	c 33.9s |      18 |   809518 |   329252 |    38563     19 |        0 |        0
36.08/36.18	c 35.9s |      18 |   841358 |   346652 |    38563     19 |        0 |        0
38.09/38.18	c 37.9s |      18 |   924822 |   364852 |    38563     20 |        0 |        0
40.09/40.19	c 39.9s |      18 |   953531 |   379052 |    38563     21 |        0 |        0
42.19/42.20	c 41.9s |      18 |   985618 |   394652 |    38563     22 |        0 |        0
44.18/44.20	c 43.9s |      18 |   997250 |   403352 |    38563     22 |        0 |        0
46.19/46.21	c 45.9s |      18 |  1112396 |   415652 |    38563     23 |        0 |        0
48.18/48.21	c 48.0s |      18 |  1172171 |   434752 |    38563     24 |        0 |        0
49.08/49.17	c 48.9s |      19 |  1247954 |   444482 |    42420     24 |        0 |        0
51.08/51.17	c 50.9s |      19 |  1281787 |   463482 |    42420     25 |        0 |        0
53.08/53.17	c 52.9s |      19 |  1451597 |   479882 |    42420     26 |        0 |        0
55.08/55.18	c 54.9s |      19 |  1474210 |   493882 |    42420     26 |        0 |        0
57.48/57.51	c 57.3s |      19 |  1527102 |   507682 |    42420     27 |        0 |        0
59.48/59.52	c 59.3s |      19 |  1552550 |   523482 |    42420     28 |        0 |        0
61.48/61.53	c 61.3s |      19 |  1607447 |   537882 |    42420     28 |        0 |        0
63.48/63.53	c 63.3s |      19 |  1627705 |   551582 |    42420     29 |        0 |        0
65.48/65.54	c 65.3s |      19 |  1654783 |   561982 |    42420     29 |        0 |        0
67.48/67.55	c 67.3s |      19 |  1676926 |   576582 |    42420     30 |        0 |        0
69.48/69.56	c 69.3s |      19 |  1718612 |   589782 |    42420     31 |        0 |        0
71.48/71.57	c 71.3s |      19 |  1741078 |   603282 |    42420     31 |        0 |        0
73.48/73.57	c 73.3s |      19 |  1766101 |   616882 |    42420     32 |        0 |        0
75.78/75.81	c 75.6s |      19 |  1822288 |   629282 |    42420     33 |        0 |        0
77.78/77.82	c 77.6s |      19 |  1839057 |   641682 |    42420     33 |        0 |        0
79.77/79.83	c 79.6s |      19 |  1849792 |   649682 |    42420     33 |        0 |        0
81.77/81.83	c 81.6s |      19 |  1872916 |   658582 |    42420     34 |        0 |        0
82.48/82.60	c 82.3s |      20 |  1894667 |   666827 |    46663     34 |        0 |        0
84.57/84.63	c 84.4s |      20 |  1934216 |   682427 |    46663     35 |        0 |        0
86.67/86.79	c 86.5s |      20 |  2012356 |   697627 |    46663     35 |        0 |        0
88.67/88.79	c 88.5s |      20 |  2045367 |   714827 |    46663     36 |        0 |        0
90.77/90.81	c 90.6s |      20 |  2059786 |   725727 |    46663     36 |        0 |        0
92.77/92.82	c 92.6s |      20 |  2108483 |   742627 |    46663     37 |        0 |        0
94.77/94.84	c 94.6s |      20 |  2125678 |   753827 |    46663     38 |        0 |        0
96.78/96.84	c 96.6s |      20 |  2139574 |   762227 |    46663     38 |        0 |        0
98.77/98.86	c 98.6s |      20 |  2150762 |   769927 |    46663     38 |        0 |        0
100.77/100.89	c  100s |      20 |  2158968 |   775727 |    46663     39 |        0 |        0
102.97/103.08	c  102s |      20 |  2166854 |   780827 |    46663     39 |        0 |        0
105.07/105.11	c  104s |      20 |  2176411 |   786827 |    46663     39 |        0 |        0
107.07/107.15	c  106s |      20 |  2181760 |   790627 |    46663     39 |        0 |        0
109.07/109.16	c  108s |      20 |  2189855 |   795827 |    46663     39 |        0 |        0
111.18/111.26	c  111s |      20 |  2194987 |   799427 |    46663     40 |        0 |        0
113.17/113.27	c  113s |      20 |  2218315 |   810327 |    46663     40 |        0 |        0
115.17/115.29	c  115s |      20 |  2253126 |   829827 |    46663     41 |        0 |        0
117.27/117.30	c  117s |      20 |  2322963 |   850227 |    46663     42 |        0 |        0
119.27/119.31	c  119s |      20 |  2496365 |   864527 |    46663     42 |        0 |        0
121.27/121.31	c  121s |      20 |  2542036 |   885827 |    46663     43 |        0 |        0
123.47/123.60	c  123s |      20 |  2584585 |   895127 |    46663     44 |        0 |        0
125.57/125.60	c  125s |      20 |  2681976 |   914327 |    46663     44 |        0 |        0
127.47/127.60	c  127s |      20 |  2722814 |   931427 |    46663     45 |        0 |        0
129.57/129.62	c  129s |      20 |  2735762 |   940927 |    46663     45 |        0 |        0
131.57/131.63	c  131s |      20 |  2829492 |   956027 |    46663     46 |        0 |        0
133.57/133.63	c  133s |      20 |  2889317 |   973127 |    46663     47 |        0 |        0
135.57/135.64	c  135s |      20 |  2906774 |   985527 |    46663     47 |        0 |        0
137.57/137.69	c  137s |      20 |  2917991 |   994027 |    51330     47 |        0 |        0
138.76/138.88	c  138s |      21 |  2950044 |  1000345 |    51330     48 |        0 |        0
140.77/140.89	c  140s |      21 |  2980307 |  1015645 |    51330     48 |        0 |        0
142.86/142.90	c  142s |      21 |  3004081 |  1030645 |    51330     49 |        0 |        0
144.86/144.90	c  144s |      21 |  3023986 |  1042745 |    51330     49 |        0 |        0
146.86/146.92	c  146s |      21 |  3040011 |  1053645 |    51330     50 |        0 |        0
148.86/148.95	c  148s |      21 |  3051739 |  1061345 |    51330     50 |        0 |        0
150.86/150.96	c  150s |      21 |  3061104 |  1067045 |    51330     50 |        0 |        0
152.87/152.97	c  152s |      21 |  3070074 |  1072845 |    51330     50 |        0 |        0
155.17/155.27	c  155s |      21 |  3077407 |  1077545 |    51330     51 |        0 |        0
157.16/157.27	c  157s |      21 |  3095942 |  1084445 |    51330     51 |        0 |        0
159.36/159.41	c  159s |      21 |  3155204 |  1103545 |    51330     51 |        0 |        0
161.36/161.42	c  161s |      21 |  3242033 |  1121545 |    51330     52 |        0 |        0
163.36/163.43	c  163s |      21 |  3263689 |  1134745 |    51330     53 |        0 |        0
165.36/165.43	c  165s |      21 |  3341946 |  1148645 |    51330     53 |        0 |        0
167.36/167.44	c  167s |      21 |  3388413 |  1170845 |    51330     54 |        0 |        0
169.37/169.44	c  169s |      21 |  3417253 |  1187245 |    51330     55 |        0 |        0
171.36/171.44	c  171s |      21 |  3441626 |  1201745 |    51330     55 |        0 |        0
173.76/173.80	c  173s |      21 |  3476285 |  1214145 |    51330     56 |        0 |        0
175.77/175.80	c  175s |      21 |  3559390 |  1227845 |    51330     56 |        0 |        0
177.77/177.89	c  177s |      21 |  3623870 |  1242045 |    51330     57 |        0 |        0
179.87/179.95	c  179s |      21 |  3730745 |  1262645 |    51330     58 |        0 |        0
181.86/181.95	c  181s |      21 |  3850443 |  1282945 |    51330     58 |        0 |        0
183.86/183.95	c  183s |      21 |  3878007 |  1298345 |    51330     59 |        0 |        0
185.87/185.95	c  185s |      21 |  3952075 |  1318645 |    51330     60 |        0 |        0
187.86/187.96	c  187s |      21 |  4028577 |  1341345 |    51330     60 |        0 |        0
189.86/189.97	c  189s |      21 |  4069154 |  1363245 |    51330     61 |        0 |        0
191.85/191.97	c  191s |      21 |  4086394 |  1374645 |    51330     62 |        0 |        0
193.95/194.06	c  193s |      21 |  4179525 |  1394445 |    51330     62 |        0 |        0
195.95/196.06	c  195s |      21 |  4233435 |  1415045 |    51330     63 |        0 |        0
198.16/198.26	c  197s |      21 |  4342929 |  1424845 |    51330     64 |        0 |        0
200.27/200.36	c  200s |      21 |  4449800 |  1439745 |    51330     64 |        0 |        0
202.37/202.46	c  202s |      21 |  4498449 |  1455145 |    51330     65 |        0 |        0
204.36/204.47	c  204s |      21 |  4588320 |  1471145 |    51330     65 |        0 |        0
206.36/206.47	c  206s |      21 |  4647198 |  1489945 |    56464     66 |        0 |        0
208.16/208.27	c  208s |      22 |  4722661 |  1500622 |    56464     66 |        0 |        0
210.36/210.45	c  210s |      22 |  4810208 |  1518022 |    56464     67 |        0 |        0
212.56/212.64	c  212s |      22 |  4878004 |  1539522 |    56464     68 |        0 |        0
214.56/214.65	c  214s |      22 |  4960629 |  1558922 |    56464     68 |        0 |        0
216.56/216.66	c  216s |      22 |  5054867 |  1573322 |    56464     69 |        0 |        0
218.55/218.67	c  218s |      22 |  5167962 |  1589922 |    56464     69 |        0 |        0
220.65/220.72	c  220s |      22 |  5231436 |  1607822 |    56464     70 |        0 |        0
222.65/222.73	c  222s |      22 |  5363344 |  1622922 |    56464     70 |        0 |        0
224.65/224.74	c  224s |      22 |  5399176 |  1642822 |    56464     71 |        0 |        0
226.66/226.74	c  226s |      22 |  5415987 |  1654222 |    56464     72 |        0 |        0
228.65/228.74	c  228s |      22 |  5492418 |  1676422 |    56464     72 |        0 |        0
230.85/230.95	c  230s |      22 |  5553855 |  1697922 |    56464     73 |        0 |        0
233.26/233.35	c  233s |      22 |  5647430 |  1712722 |    56464     73 |        0 |        0
235.25/235.37	c  235s |      22 |  5670576 |  1721722 |    56464     74 |        0 |        0
237.25/237.38	c  237s |      22 |  5700110 |  1735222 |    56464     74 |        0 |        0
239.25/239.38	c  239s |      22 |  5720158 |  1743922 |    56464     75 |        0 |        0
241.25/241.39	c  241s |      22 |  5819136 |  1760622 |    56464     75 |        0 |        0
243.35/243.41	c  243s |      22 |  5846787 |  1777422 |    56464     76 |        0 |        0
245.36/245.42	c  245s |      22 |  5868902 |  1791722 |    56464     76 |        0 |        0
247.35/247.42	c  247s |      22 |  5916468 |  1801522 |    56464     76 |        0 |        0
249.35/249.43	c  249s |      22 |  5953648 |  1818222 |    56464     77 |        0 |        0
251.35/251.43	c  251s |      22 |  5979052 |  1834122 |    56464     78 |        0 |        0
253.35/253.47	c  253s |      22 |  5992094 |  1842722 |    56464     78 |        0 |        0
255.35/255.48	c  255s |      22 |  6002940 |  1849722 |    56464     78 |        0 |        0
257.45/257.57	c  257s |      22 |  6019137 |  1858022 |    56464     79 |        0 |        0
259.45/259.57	c  259s |      22 |  6065564 |  1873522 |    56464     79 |        0 |        0
261.45/261.57	c  261s |      22 |  6134654 |  1891122 |    56464     80 |        0 |        0
263.45/263.57	c  263s |      22 |  6220784 |  1909322 |    56464     80 |        0 |        0
265.45/265.58	c  265s |      22 |  6267389 |  1933222 |    56464     81 |        0 |        0
267.45/267.59	c  267s |      22 |  6330727 |  1950822 |    56464     82 |        0 |        0
269.45/269.59	c  269s |      22 |  6407324 |  1967922 |    56464     82 |        0 |        0
271.45/271.59	c  271s |      22 |  6461914 |  1985322 |    56464     83 |        0 |        0
273.45/273.59	c  273s |      22 |  6509978 |  1998222 |    56464     83 |        0 |        0
275.55/275.67	c  275s |      22 |  6538092 |  2006822 |    56464     84 |        0 |        0
277.54/277.67	c  277s |      22 |  6649529 |  2023122 |    56464     84 |        0 |        0
279.54/279.69	c  279s |      22 |  6697883 |  2037322 |    56464     85 |        0 |        0
281.55/281.69	c  281s |      22 |  6752976 |  2057322 |    56464     85 |        0 |        0
283.54/283.69	c  283s |      22 |  6811388 |  2082022 |    56464     86 |        0 |        0
285.64/285.71	c  285s |      22 |  6843312 |  2098822 |    56464     87 |        0 |        0
287.74/287.82	c  287s |      22 |  6896188 |  2117722 |    56464     88 |        0 |        0
289.75/289.85	c  289s |      22 |  6921845 |  2130222 |    56464     88 |        0 |        0
291.75/291.86	c  291s |      22 |  6974399 |  2148422 |    56464     89 |        0 |        0
293.75/293.87	c  293s |      22 |  7047888 |  2172622 |    56464     89 |        0 |        0
295.74/295.87	c  295s |      22 |  7160757 |  2190222 |    56464     90 |        0 |        0
297.74/297.87	c  297s |      22 |  7221747 |  2211422 |    56464     91 |        0 |        0
299.74/299.88	c  299s |      22 |  7257931 |  2231222 |    56464     91 |        0 |        0
301.74/301.89	c  301s |      22 |  7331639 |  2246522 |    62111     92 |        0 |        0
302.64/302.74	c  302s |      23 |  7372979 |  2251038 |    62111     92 |        0 |        0
304.65/304.74	c  304s |      23 |  7416454 |  2267838 |    62111     92 |        0 |        0
306.65/306.74	c  306s |      23 |  7510994 |  2284838 |    62111     93 |        0 |        0
308.65/308.75	c  308s |      23 |  7562828 |  2306238 |    62111     93 |        0 |        0
310.65/310.76	c  310s |      23 |  7584187 |  2319838 |    62111     94 |        0 |        0
312.65/312.77	c  312s |      23 |  7655215 |  2335738 |    62111     94 |        0 |        0
314.65/314.77	c  314s |      23 |  7712390 |  2356938 |    62111     95 |        0 |        0
316.64/316.77	c  316s |      23 |  7788241 |  2378238 |    62111     96 |        0 |        0
318.64/318.77	c  318s |      23 |  7887555 |  2391838 |    62111     96 |        0 |        0
320.64/320.77	c  320s |      23 |  7924338 |  2411138 |    62111     97 |        0 |        0
322.64/322.79	c  322s |      23 |  7943543 |  2424238 |    62111     97 |        0 |        0
324.64/324.79	c  324s |      23 |  7967031 |  2437738 |    62111     98 |        0 |        0
326.74/326.81	c  326s |      23 |  8034368 |  2450738 |    62111     98 |        0 |        0
328.74/328.88	c  328s |      23 |  8126609 |  2463338 |    62111     99 |        0 |        0
330.73/330.89	c  330s |      23 |  8156820 |  2480938 |    62111     99 |        0 |        0
332.73/332.89	c  332s |      23 |  8183604 |  2493238 |    62111     99 |        0 |        0
334.84/334.90	c  334s |      23 |  8227923 |  2515738 |    62111    100 |        0 |        0
336.84/336.90	c  336s |      23 |  8255912 |  2529838 |    62111    101 |        0 |        0
338.85/338.92	c  338s |      23 |  8284446 |  2546338 |    62111    101 |        0 |        0
340.84/340.93	c  340s |      23 |  8310903 |  2559438 |    62111    101 |        0 |        0
342.84/342.98	c  342s |      23 |  8357361 |  2574938 |    62111    102 |        0 |        0
344.84/344.98	c  344s |      23 |  8475033 |  2593238 |    62111    102 |        0 |        0
346.84/346.99	c  346s |      23 |  8530823 |  2613538 |    62111    103 |        0 |        0
348.94/349.02	c  348s |      23 |  8613932 |  2636338 |    62111    104 |        0 |        0
350.94/351.02	c  350s |      23 |  8765648 |  2657438 |    62111    104 |        0 |        0
352.94/353.02	c  352s |      23 |  8843195 |  2675238 |    62111    105 |        0 |        0
354.94/355.03	c  354s |      23 |  8868012 |  2688538 |    62111    105 |        0 |        0
356.93/357.04	c  356s |      23 |  8996277 |  2705538 |    62111    106 |        0 |        0
358.93/359.04	c  358s |      23 |  9083852 |  2722738 |    62111    106 |        0 |        0
361.03/361.19	c  360s |      23 |  9223252 |  2736438 |    62111    107 |        0 |        0
363.04/363.19	c  362s |      23 |  9256200 |  2754838 |    62111    107 |        0 |        0
365.14/365.29	c  365s |      23 |  9300030 |  2769438 |    62111    108 |        0 |        0
367.13/367.30	c  367s |      23 |  9364105 |  2787138 |    62111    109 |        0 |        0
369.23/369.30	c  369s |      23 |  9490555 |  2808038 |    62111    109 |        0 |        0
371.23/371.31	c  371s |      23 |  9596163 |  2829138 |    62111    110 |        0 |        0
373.53/373.62	c  373s |      23 |  9721595 |  2850538 |    62111    111 |        0 |        0
375.53/375.64	c  375s |      23 |  9822553 |  2867238 |    62111    111 |        0 |        0
377.53/377.64	c  377s |      23 |  9886014 |  2888438 |    62111    112 |        0 |        0
379.53/379.65	c  379s |      23 |  9979479 |  2909038 |    62111    112 |        0 |        0
381.53/381.65	c  381s |      23 | 10037731 |  2928838 |    62111    113 |        0 |        0
383.53/383.66	c  383s |      23 | 10058562 |  2942638 |    62111    113 |        0 |        0
385.53/385.66	c  385s |      23 | 10071974 |  2951638 |    62111    114 |        0 |        0
387.53/387.67	c  387s |      23 | 10081310 |  2958438 |    62111    114 |        0 |        0
389.52/389.67	c  389s |      23 | 10091730 |  2965138 |    62111    114 |        0 |        0
391.54/391.67	c  391s |      23 | 10141859 |  2981838 |    62111    115 |        0 |        0
393.53/393.69	c  393s |      23 | 10204835 |  3004538 |    62111    115 |        0 |        0
395.63/395.73	c  395s |      23 | 10290462 |  3014638 |    62111    116 |        0 |        0
397.63/397.73	c  397s |      23 | 10376430 |  3030538 |    62111    116 |        0 |        0
399.63/399.74	c  399s |      23 | 10400310 |  3045538 |    62111    117 |        0 |        0
401.93/402.08	c  401s |      23 | 10422909 |  3059338 |    62111    117 |        0 |        0
404.03/404.13	c  403s |      23 | 10539100 |  3079938 |    62111    118 |        0 |        0
406.03/406.18	c  405s |      23 | 10661046 |  3099238 |    62111    118 |        0 |        0
408.04/408.19	c  407s |      23 | 10762235 |  3116038 |    62111    119 |        0 |        0
410.13/410.20	c  409s |      23 | 10843838 |  3137038 |    62111    120 |        0 |        0
412.12/412.25	c  411s |      23 | 10965436 |  3155638 |    62111    120 |        0 |        0
414.12/414.25	c  413s |      23 | 11040000 |  3173438 |    62111    121 |        0 |        0
416.12/416.26	c  416s |      23 | 11121768 |  3194438 |    62111    121 |        0 |        0
418.12/418.26	c  418s |      23 | 11195080 |  3215638 |    62111    122 |        0 |        0
420.13/420.26	c  420s |      23 | 11294268 |  3230238 |    62111    123 |        0 |        0
422.13/422.28	c  422s |      23 | 11361231 |  3250438 |    62111    123 |        0 |        0
424.13/424.28	c  424s |      23 | 11424311 |  3269238 |    62111    124 |        0 |        0
426.13/426.29	c  426s |      23 | 11526356 |  3292638 |    62111    124 |        0 |        0
428.13/428.29	c  428s |      23 | 11601943 |  3312938 |    62111    125 |        0 |        0
430.13/430.29	c  430s |      23 | 11711463 |  3332838 |    62111    126 |        0 |        0
432.12/432.30	c  432s |      23 | 11833507 |  3351138 |    62111    126 |        0 |        0
434.22/434.31	c  434s |      23 | 11852542 |  3363838 |    68323    126 |        0 |        0
436.22/436.31	c  436s |      23 | 11864139 |  3371838 |    68323    127 |        0 |        0
437.02/437.13	c  436s |      24 | 11871367 |  3376662 |    68323    127 |        0 |        0
439.02/439.13	c  438s |      24 | 11891764 |  3389462 |    68323    127 |        0 |        0
441.03/441.13	c  440s |      24 | 11907250 |  3399962 |    68323    128 |        0 |        0
443.02/443.14	c  442s |      24 | 11926730 |  3411662 |    68323    128 |        0 |        0
445.02/445.15	c  444s |      24 | 11964978 |  3432462 |    68323    128 |        0 |        0
447.02/447.16	c  446s |      24 | 11998730 |  3450762 |    68323    129 |        0 |        0
449.02/449.16	c  448s |      24 | 12019699 |  3463162 |    68323    129 |        0 |        0
451.03/451.16	c  450s |      24 | 12038121 |  3475062 |    68323    130 |        0 |        0
453.02/453.17	c  452s |      24 | 12057535 |  3487862 |    68323    130 |        0 |        0
455.02/455.17	c  454s |      24 | 12071793 |  3497662 |    68323    130 |        0 |        0
457.12/457.20	c  456s |      24 | 12084162 |  3505462 |    68323    131 |        0 |        0
459.12/459.20	c  458s |      24 | 12101888 |  3515562 |    68323    131 |        0 |        0
461.12/461.21	c  460s |      24 | 12120655 |  3525362 |    68323    131 |        0 |        0
463.13/463.28	c  463s |      24 | 12153133 |  3538862 |    68323    132 |        0 |        0
465.23/465.32	c  465s |      24 | 12277897 |  3554862 |    68323    132 |        0 |        0
467.22/467.32	c  467s |      24 | 12296223 |  3567462 |    68323    132 |        0 |        0
469.32/469.47	c  469s |      24 | 12308110 |  3573062 |    68323    133 |        0 |        0
471.62/471.77	c  471s |      24 | 12351765 |  3591962 |    68323    133 |        0 |        0
473.72/473.82	c  473s |      24 | 12441495 |  3611062 |    68323    134 |        0 |        0
475.71/475.83	c  475s |      24 | 12536820 |  3633662 |    68323    134 |        0 |        0
477.71/477.83	c  477s |      24 | 12618603 |  3654362 |    68323    135 |        0 |        0
479.71/479.84	c  479s |      24 | 12649220 |  3668562 |    68323    135 |        0 |        0
481.72/481.84	c  481s |      24 | 12758396 |  3683062 |    68323    136 |        0 |        0
483.71/483.86	c  483s |      24 | 12808466 |  3703962 |    68323    136 |        0 |        0
485.72/485.87	c  485s |      24 | 12943271 |  3718362 |    68323    137 |        0 |        0
487.72/487.88	c  487s |      24 | 13063814 |  3731762 |    68323    137 |        0 |        0
489.72/489.88	c  489s |      24 | 13126662 |  3749562 |    68323    137 |        0 |        0
491.72/491.89	c  491s |      24 | 13154906 |  3764762 |    68323    138 |        0 |        0
493.72/493.89	c  493s |      24 | 13199500 |  3783262 |    68323    138 |        0 |        0
495.82/495.90	c  495s |      24 | 13236704 |  3796662 |    68323    139 |        0 |        0
497.82/497.92	c  497s |      24 | 13253519 |  3807762 |    68323    139 |        0 |        0
499.82/499.92	c  499s |      24 | 13289479 |  3823162 |    68323    140 |        0 |        0
501.82/501.93	c  501s |      24 | 13337665 |  3840362 |    68323    140 |        0 |        0
503.82/503.95	c  503s |      24 | 13371950 |  3855462 |    68323    141 |        0 |        0
505.81/505.95	c  505s |      24 | 13422881 |  3875662 |    68323    141 |        0 |        0
507.81/507.95	c  507s |      24 | 13499286 |  3895062 |    68323    142 |        0 |        0
510.11/510.21	c  509s |      24 | 13565533 |  3910762 |    68323    142 |        0 |        0
512.11/512.21	c  511s |      24 | 13608686 |  3931662 |    68323    143 |        0 |        0
514.11/514.21	c  513s |      24 | 13641015 |  3950262 |    68323    143 |        0 |        0
516.11/516.21	c  515s |      24 | 13660595 |  3962162 |    68323    144 |        0 |        0
518.11/518.21	c  517s |      24 | 13738768 |  3975162 |    68323    144 |        0 |        0
520.11/520.29	c  520s |      24 | 13804631 |  3995162 |    68323    145 |        0 |        0
522.21/522.30	c  522s |      24 | 13843058 |  4013862 |    68323    145 |        0 |        0
524.21/524.32	c  524s |      24 | 13867576 |  4029462 |    68323    146 |        0 |        0
526.21/526.33	c  526s |      24 | 13933263 |  4041662 |    68323    146 |        0 |        0
528.21/528.33	c  528s |      24 | 13958091 |  4054862 |    68323    146 |        0 |        0
530.22/530.34	c  530s |      24 | 14013771 |  4075562 |    68323    147 |        0 |        0
532.21/532.34	c  532s |      24 | 14056247 |  4088562 |    68323    147 |        0 |        0
534.21/534.35	c  534s |      24 | 14129422 |  4104362 |    68323    148 |        0 |        0
536.21/536.37	c  536s |      24 | 14148058 |  4117862 |    68323    148 |        0 |        0
538.21/538.39	c  538s |      24 | 14156905 |  4124562 |    68323    148 |        0 |        0
540.31/540.40	c  540s |      24 | 14165744 |  4131162 |    68323    148 |        0 |        0
542.32/542.41	c  542s |      24 | 14174214 |  4137662 |    68323    149 |        0 |        0
544.31/544.42	c  544s |      24 | 14180064 |  4142062 |    68323    149 |        0 |        0
546.31/546.42	c  546s |      24 | 14186084 |  4146562 |    68323    149 |        0 |        0
548.31/548.46	c  548s |      24 | 14191927 |  4151362 |    68323    149 |        0 |        0
550.31/550.47	c  550s |      24 | 14197262 |  4155362 |    68323    149 |        0 |        0
552.41/552.50	c  552s |      24 | 14203963 |  4160362 |    68323    149 |        0 |        0
554.41/554.51	c  554s |      24 | 14209826 |  4164462 |    68323    149 |        0 |        0
556.61/556.72	c  556s |      24 | 14233862 |  4177462 |    68323    150 |        0 |        0
558.60/558.73	c  558s |      24 | 14253256 |  4188362 |    68323    150 |        0 |        0
560.60/560.73	c  560s |      24 | 14277988 |  4201762 |    68323    150 |        0 |        0
562.60/562.79	c  562s |      24 | 14296697 |  4211262 |    68323    151 |        0 |        0
564.70/564.80	c  564s |      24 | 14302436 |  4214062 |    68323    151 |        0 |        0
566.70/566.80	c  566s |      24 | 14330872 |  4229962 |    68323    151 |        0 |        0
568.71/568.81	c  568s |      24 | 14390965 |  4242862 |    68323    152 |        0 |        0
571.40/571.51	c  571s |      24 | 14400071 |  4245062 |    68323    152 |        0 |        0
573.40/573.52	c  573s |      24 | 14512931 |  4260062 |    68323    152 |        0 |        0
575.41/575.54	c  575s |      24 | 14598466 |  4275562 |    68323    153 |        0 |        0
577.41/577.54	c  577s |      24 | 14645608 |  4293662 |    68323    153 |        0 |        0
579.50/579.64	c  579s |      24 | 14697493 |  4310762 |    68323    154 |        0 |        0
581.50/581.65	c  581s |      24 | 14729575 |  4328862 |    68323    154 |        0 |        0
583.60/583.77	c  583s |      24 | 14754027 |  4343862 |    68323    155 |        0 |        0
585.60/585.78	c  585s |      24 | 14775388 |  4356762 |    68323    155 |        0 |        0
587.60/587.78	c  587s |      24 | 14869997 |  4371862 |    68323    155 |        0 |        0
589.61/589.79	c  589s |      24 | 14911185 |  4388962 |    68323    156 |        0 |        0
591.71/591.80	c  591s |      24 | 14988942 |  4404262 |    68323    156 |        0 |        0
593.70/593.81	c  593s |      24 | 15017582 |  4421762 |    68323    157 |        0 |        0
595.70/595.83	c  595s |      24 | 15087839 |  4433662 |    68323    157 |        0 |        0
597.70/597.83	c  597s |      24 | 15133215 |  4445662 |    68323    157 |        0 |        0
599.70/599.86	c  599s |      24 | 15147094 |  4454162 |    68323    158 |        0 |        0
601.70/601.89	c  601s |      24 | 15177554 |  4467362 |    68323    158 |        0 |        0
603.70/603.89	c  603s |      24 | 15199812 |  4480862 |    68323    158 |        0 |        0
605.80/605.90	c  605s |      24 | 15227688 |  4495562 |    68323    159 |        0 |        0
607.80/607.90	c  607s |      24 | 15305501 |  4513662 |    68323    159 |        0 |        0
609.90/610.02	c  609s |      24 | 15342761 |  4524362 |    68323    160 |        0 |        0
611.90/612.02	c  611s |      24 | 15468439 |  4545562 |    68323    160 |        0 |        0
613.89/614.02	c  613s |      24 | 15499024 |  4562862 |    68323    161 |        0 |        0
615.90/616.05	c  615s |      24 | 15613235 |  4577262 |    68323    161 |        0 |        0
617.99/618.15	c  617s |      24 | 15736957 |  4589562 |    68323    162 |        0 |        0
619.99/620.15	c  619s |      24 | 15823672 |  4603262 |    68323    162 |        0 |        0
621.99/622.16	c  621s |      24 | 15894797 |  4619662 |    68323    162 |        0 |        0
623.99/624.19	c  623s |      24 | 15908927 |  4629762 |    68323    163 |        0 |        0
625.99/626.19	c  625s |      24 | 15950461 |  4638262 |    68323    163 |        0 |        0
628.00/628.20	c  627s |      24 | 16125315 |  4655562 |    68323    163 |        0 |        0
630.09/630.21	c  629s |      24 | 16160906 |  4674462 |    68323    164 |        0 |        0
632.09/632.21	c  631s |      24 | 16231756 |  4692262 |    68323    164 |        0 |        0
634.09/634.29	c  634s |      24 | 16305493 |  4709662 |    68323    165 |        0 |        0
636.09/636.29	c  636s |      24 | 16360421 |  4725262 |    68323    165 |        0 |        0
638.20/638.31	c  638s |      24 | 16420202 |  4744262 |    68323    166 |        0 |        0
640.20/640.31	c  640s |      24 | 16463491 |  4758362 |    68323    166 |        0 |        0
642.19/642.31	c  642s |      24 | 16506921 |  4779462 |    68323    167 |        0 |        0
644.19/644.39	c  644s |      24 | 16603959 |  4794762 |    68323    167 |        0 |        0
646.39/646.51	c  646s |      24 | 16708357 |  4807662 |    68323    168 |        0 |        0
648.39/648.52	c  648s |      24 | 16756416 |  4824862 |    68323    168 |        0 |        0
650.39/650.53	c  650s |      24 | 16770029 |  4834662 |    68323    169 |        0 |        0
652.39/652.56	c  652s |      24 | 16813947 |  4849862 |    68323    169 |        0 |        0
654.40/654.56	c  654s |      24 | 16899892 |  4871462 |    68323    170 |        0 |        0
656.39/656.59	c  656s |      24 | 16986052 |  4894562 |    68323    170 |        0 |        0
658.49/658.60	c  658s |      24 | 17057323 |  4913362 |    68323    171 |        0 |        0
660.49/660.60	c  660s |      24 | 17077944 |  4926262 |    68323    171 |        0 |        0
662.49/662.61	c  662s |      24 | 17098505 |  4938962 |    68323    171 |        0 |        0
664.49/664.64	c  664s |      24 | 17111898 |  4947462 |    68323    172 |        0 |        0
666.49/666.65	c  666s |      24 | 17120372 |  4953462 |    68323    172 |        0 |        0
668.49/668.68	c  668s |      24 | 17127165 |  4957862 |    68323    172 |        0 |        0
670.49/670.68	c  670s |      24 | 17149000 |  4969662 |    68323    172 |        0 |        0
672.49/672.69	c  672s |      24 | 17165898 |  4977862 |    68323    173 |        0 |        0
674.59/674.70	c  674s |      24 | 17190027 |  4989562 |    68323    173 |        0 |        0
676.58/676.70	c  676s |      24 | 17303944 |  5009862 |    68323    174 |        0 |        0
678.59/678.71	c  678s |      24 | 17324924 |  5022962 |    68323    174 |        0 |        0
680.68/680.88	c  680s |      24 | 17395832 |  5036962 |    75156    174 |        0 |        0
682.78/682.92	c  682s |      24 | 17507195 |  5052262 |    75156    175 |        0 |        0
683.98/684.20	c  683s |      25 | 17555552 |  5065098 |    75156    175 |        0 |        0
686.08/686.22	c  685s |      25 | 17704456 |  5084698 |    75156    175 |        0 |        0
688.08/688.24	c  687s |      25 | 17743444 |  5099898 |    75156    176 |        0 |        0
690.08/690.25	c  689s |      25 | 17761849 |  5111998 |    75156    176 |        0 |        0
692.38/692.58	c  692s |      25 | 17781139 |  5123698 |    75156    176 |        0 |        0
694.38/694.58	c  694s |      25 | 17807803 |  5138498 |    75156    177 |        0 |        0
696.38/696.58	c  696s |      25 | 17833256 |  5153298 |    75156    177 |        0 |        0
698.39/698.58	c  698s |      25 | 17866989 |  5170298 |    75156    178 |        0 |        0
700.39/700.59	c  700s |      25 | 17992078 |  5185698 |    75156    178 |        0 |        0
702.39/702.59	c  702s |      25 | 18063599 |  5203298 |    75156    178 |        0 |        0
704.48/704.60	c  704s |      25 | 18196804 |  5216798 |    75156    179 |        0 |        0
706.48/706.61	c  706s |      25 | 18239042 |  5234998 |    75156    179 |        0 |        0
708.48/708.61	c  708s |      25 | 18291281 |  5250898 |    75156    180 |        0 |        0
710.49/710.61	c  710s |      25 | 18317703 |  5267698 |    75156    180 |        0 |        0
712.48/712.62	c  712s |      25 | 18342108 |  5284498 |    75156    181 |        0 |        0
714.48/714.64	c  714s |      25 | 18360034 |  5296898 |    75156    181 |        0 |        0
716.48/716.64	c  716s |      25 | 18372439 |  5305598 |    75156    181 |        0 |        0
718.48/718.66	c  718s |      25 | 18382781 |  5313098 |    75156    181 |        0 |        0
720.49/720.69	c  720s |      25 | 18389085 |  5317798 |    75156    181 |        0 |        0
722.59/722.71	c  722s |      25 | 18397627 |  5323398 |    75156    182 |        0 |        0
724.58/724.75	c  724s |      25 | 18404137 |  5327698 |    75156    182 |        0 |        0
726.58/726.77	c  726s |      25 | 18488651 |  5339498 |    75156    182 |        0 |        0
728.68/728.84	c  728s |      25 | 18552327 |  5357798 |    75156    183 |        0 |        0
730.68/730.85	c  730s |      25 | 18572369 |  5369098 |    75156    183 |        0 |        0
732.67/732.85	c  732s |      25 | 18593003 |  5383098 |    75156    183 |        0 |        0
734.68/734.87	c  734s |      25 | 18608564 |  5393498 |    75156    183 |        0 |        0
736.77/736.91	c  736s |      25 | 18614461 |  5397698 |    75156    184 |        0 |        0
738.78/738.91	c  738s |      25 | 18638877 |  5402598 |    75156    184 |        0 |        0
740.78/740.93	c  740s |      25 | 18680508 |  5415998 |    75156    184 |        0 |        0
742.77/742.94	c  742s |      25 | 18701412 |  5429498 |    75156    184 |        0 |        0
744.77/744.96	c  744s |      25 | 18724741 |  5444798 |    75156    185 |        0 |        0
746.97/747.13	c  746s |      25 | 18741908 |  5456098 |    75156    185 |        0 |        0
749.37/749.56	c  749s |      25 | 18767772 |  5468498 |    75156    185 |        0 |        0
751.37/751.56	c  751s |      25 | 18853658 |  5483298 |    75156    186 |        0 |        0
753.37/753.57	c  753s |      25 | 18929783 |  5503398 |    75156    186 |        0 |        0
755.37/755.58	c  755s |      25 | 18976315 |  5518298 |    75156    187 |        0 |        0
757.36/757.58	c  757s |      25 | 19004475 |  5535298 |    75156    187 |        0 |        0
759.56/759.70	c  759s |      25 | 19057328 |  5547498 |    75156    188 |        0 |        0
761.86/762.05	c  761s |      25 | 19095562 |  5560998 |    75156    188 |        0 |        0
763.96/764.12	c  763s |      25 | 19215379 |  5571998 |    75156    188 |        0 |        0
765.96/766.12	c  765s |      25 | 19266634 |  5589098 |    75156    189 |        0 |        0
767.96/768.12	c  767s |      25 | 19323541 |  5603098 |    75156    189 |        0 |        0
769.97/770.13	c  769s |      25 | 19349898 |  5616298 |    75156    189 |        0 |        0
771.96/772.13	c  771s |      25 | 19368431 |  5628598 |    75156    190 |        0 |        0
773.96/774.13	c  773s |      25 | 19399011 |  5643498 |    75156    190 |        0 |        0
775.96/776.15	c  775s |      25 | 19418281 |  5656198 |    75156    190 |        0 |        0
777.96/778.18	c  777s |      25 | 19427825 |  5663198 |    75156    191 |        0 |        0
780.16/780.36	c  780s |      25 | 19459325 |  5674798 |    75156    191 |        0 |        0
782.16/782.37	c  782s |      25 | 19579095 |  5692098 |    75156    191 |        0 |        0
784.16/784.38	c  784s |      25 | 19610963 |  5709298 |    75156    192 |        0 |        0
786.15/786.39	c  786s |      25 | 19702821 |  5727798 |    75156    192 |        0 |        0
788.15/788.39	c  788s |      25 | 19735503 |  5742498 |    75156    193 |        0 |        0
790.15/790.39	c  790s |      25 | 19803007 |  5766398 |    75156    193 |        0 |        0
792.45/792.69	c  792s |      25 | 19918947 |  5784698 |    75156    194 |        0 |        0
794.45/794.69	c  794s |      25 | 19959722 |  5801798 |    75156    194 |        0 |        0
796.55/796.76	c  796s |      25 | 19986351 |  5818198 |    75156    195 |        0 |        0
798.56/798.76	c  798s |      25 | 20023942 |  5836298 |    75156    195 |        0 |        0
800.55/800.76	c  800s |      25 | 20108785 |  5853898 |    75156    195 |        0 |        0
802.55/802.77	c  802s |      25 | 20135756 |  5870698 |    75156    196 |        0 |        0
804.54/804.77	c  804s |      25 | 20229066 |  5889398 |    75156    196 |        0 |        0
806.55/806.77	c  806s |      25 | 20256064 |  5906198 |    75156    197 |        0 |        0
808.55/808.78	c  808s |      25 | 20313971 |  5922598 |    75156    197 |        0 |        0
810.56/810.78	c  810s |      25 | 20353811 |  5943498 |    75156    198 |        0 |        0
812.55/812.79	c  812s |      25 | 20413350 |  5960498 |    75156    198 |        0 |        0
814.74/814.96	c  814s |      25 | 20510825 |  5971898 |    75156    199 |        0 |        0
816.74/816.96	c  816s |      25 | 20541212 |  5987198 |    75156    199 |        0 |        0
818.74/818.99	c  818s |      25 | 20552158 |  5994998 |    75156    199 |        0 |        0
820.74/820.99	c  820s |      25 | 20617830 |  6003598 |    75156    199 |        0 |        0
823.43/823.64	c  823s |      25 | 20693702 |  6015798 |    75156    200 |        0 |        0
825.43/825.64	c  825s |      25 | 20719047 |  6032298 |    75156    200 |        0 |        0
827.44/827.64	c  827s |      25 | 20841567 |  6045798 |    75156    200 |        0 |        0
829.44/829.65	c  829s |      25 | 20864110 |  6059598 |    75156    201 |        0 |        0
831.45/831.65	c  831s |      25 | 20892795 |  6075798 |    75156    201 |        0 |        0
833.64/833.87	c  833s |      25 | 20985930 |  6092198 |    75156    202 |        0 |        0
835.64/835.87	c  835s |      25 | 21010823 |  6106698 |    75156    202 |        0 |        0
837.64/837.88	c  837s |      25 | 21050711 |  6123998 |    75156    203 |        0 |        0
839.63/839.89	c  839s |      25 | 21162676 |  6143298 |    75156    203 |        0 |        0
841.73/841.90	c  841s |      25 | 21258168 |  6156298 |    75156    203 |        0 |        0
843.73/843.91	c  843s |      25 | 21301104 |  6175998 |    75156    204 |        0 |        0
845.74/845.92	c  845s |      25 | 21387029 |  6196298 |    75156    204 |        0 |        0
847.73/847.92	c  847s |      25 | 21456648 |  6219898 |    75156    205 |        0 |        0
849.73/849.99	c  849s |      25 | 21558342 |  6234898 |    75156    205 |        0 |        0
851.93/852.15	c  851s |      25 | 21656273 |  6256198 |    75156    206 |        0 |        0
854.03/854.27	c  854s |      25 | 21714233 |  6275398 |    75156    206 |        0 |        0
856.02/856.27	c  856s |      25 | 21752659 |  6296198 |    75156    207 |        0 |        0
858.02/858.27	c  858s |      25 | 21796914 |  6307998 |    75156    207 |        0 |        0
860.03/860.27	c  860s |      25 | 21890812 |  6326898 |    75156    208 |        0 |        0
862.12/862.39	c  862s |      25 | 21958080 |  6344498 |    75156    208 |        0 |        0
864.22/864.41	c  864s |      25 | 22001697 |  6359798 |    75156    209 |        0 |        0
866.22/866.42	c  866s |      25 | 22078665 |  6375298 |    75156    209 |        0 |        0
868.22/868.43	c  868s |      25 | 22195946 |  6389898 |    75156    209 |        0 |        0
870.22/870.43	c  870s |      25 | 22221205 |  6405698 |    75156    210 |        0 |        0
872.23/872.43	c  872s |      25 | 22249787 |  6421898 |    75156    210 |        0 |        0
874.22/874.44	c  874s |      25 | 22314775 |  6435798 |    75156    211 |        0 |        0
876.22/876.45	c  876s |      25 | 22396170 |  6453798 |    75156    211 |        0 |        0
878.22/878.45	c  878s |      25 | 22428174 |  6472398 |    75156    212 |        0 |        0
880.22/880.45	c  880s |      25 | 22544010 |  6482198 |    75156    212 |        0 |        0
882.22/882.46	c  882s |      25 | 22598742 |  6503098 |    75156    212 |        0 |        0
884.22/884.48	c  884s |      25 | 22623167 |  6516498 |    75156    213 |        0 |        0
886.31/886.50	c  886s |      25 | 22739983 |  6530498 |    75156    213 |        0 |        0
888.31/888.50	c  888s |      25 | 22845246 |  6544098 |    75156    213 |        0 |        0
890.32/890.51	c  890s |      25 | 22908380 |  6566998 |    75156    214 |        0 |        0
892.32/892.51	c  892s |      25 | 23113744 |  6585798 |    75156    214 |        0 |        0
894.31/894.52	c  894s |      25 | 23145609 |  6601298 |    75156    215 |        0 |        0
896.32/896.57	c  896s |      25 | 23199623 |  6612298 |    75156    215 |        0 |        0
898.41/898.60	c  898s |      25 | 23289053 |  6628798 |    75156    216 |        0 |        0
900.41/900.60	c  900s |      25 | 23346524 |  6647398 |    75156    216 |        0 |        0
902.41/902.60	c  902s |      25 | 23456358 |  6666598 |    75156    217 |        0 |        0
904.41/904.61	c  904s |      25 | 23514768 |  6686898 |    75156    217 |        0 |        0
906.41/906.62	c  906s |      25 | 23566332 |  6710298 |    75156    218 |        0 |        0
908.41/908.62	c  908s |      25 | 23694829 |  6730898 |    75156    218 |        0 |        0
910.40/910.63	c  910s |      25 | 23794073 |  6750298 |    75156    219 |        0 |        0
912.40/912.67	c  912s |      25 | 23912130 |  6770298 |    75156    219 |        0 |        0
914.50/914.70	c  914s |      25 | 23971974 |  6785498 |    75156    220 |        0 |        0
916.50/916.73	c  916s |      25 | 24104958 |  6807098 |    75156    220 |        0 |        0
918.50/918.73	c  918s |      25 | 24237936 |  6826198 |    75156    221 |        0 |        0
920.51/920.73	c  920s |      25 | 24289410 |  6845598 |    75156    221 |        0 |        0
922.50/922.73	c  922s |      25 | 24373169 |  6867898 |    75156    222 |        0 |        0
924.49/924.74	c  924s |      25 | 24398068 |  6883398 |    75156    222 |        0 |        0
926.49/926.75	c  926s |      25 | 24419654 |  6895998 |    75156    222 |        0 |        0
928.59/928.84	c  928s |      25 | 24544980 |  6910898 |    75156    223 |        0 |        0
930.59/930.85	c  930s |      25 | 24621212 |  6928198 |    75156    223 |        0 |        0
932.59/932.85	c  932s |      25 | 24657822 |  6949098 |    75156    224 |        0 |        0
934.59/934.87	c  934s |      25 | 24675437 |  6960898 |    75156    224 |        0 |        0
936.58/936.89	c  936s |      25 | 24696216 |  6973498 |    75156    224 |        0 |        0
938.58/938.89	c  938s |      25 | 24727951 |  6991998 |    75156    225 |        0 |        0
940.68/940.92	c  940s |      25 | 24751383 |  7004298 |    75156    225 |        0 |        0
942.68/942.93	c  942s |      25 | 24842343 |  7020698 |    75156    226 |        0 |        0
944.70/944.93	c  944s |      25 | 24942233 |  7036998 |    75156    226 |        0 |        0
946.69/946.94	c  946s |      25 | 25023175 |  7056998 |    75156    227 |        0 |        0
948.69/948.95	c  948s |      25 | 25116518 |  7075298 |    75156    227 |        0 |        0
950.69/950.95	c  950s |      25 | 25232886 |  7089698 |    75156    227 |        0 |        0
952.68/952.96	c  952s |      25 | 25276260 |  7108098 |    75156    228 |        0 |        0
954.69/954.97	c  954s |      25 | 25355338 |  7123598 |    75156    228 |        0 |        0
956.68/956.98	c  956s |      25 | 25459692 |  7138298 |    75156    229 |        0 |        0
958.68/958.98	c  958s |      25 | 25494908 |  7155898 |    75156    229 |        0 |        0
960.68/960.99	c  960s |      25 | 25526927 |  7172698 |    75156    230 |        0 |        0
962.68/962.99	c  962s |      25 | 25596803 |  7195398 |    75156    230 |        0 |        0
964.68/964.99	c  964s |      25 | 25685252 |  7209898 |    75156    231 |        0 |        0
966.68/967.00	c  966s |      25 | 25794285 |  7227298 |    75156    231 |        0 |        0
968.77/969.00	c  968s |      25 | 25846578 |  7249298 |    75156    232 |        0 |        0
970.77/971.01	c  970s |      25 | 25911108 |  7267098 |    75156    232 |        0 |        0
972.77/973.01	c  972s |      25 | 26003412 |  7285798 |    75156    233 |        0 |        0
974.77/975.01	c  974s |      25 | 26039802 |  7305498 |    75156    233 |        0 |        0
976.77/977.02	c  976s |      25 | 26123010 |  7318198 |    75156    233 |        0 |        0
978.78/979.03	c  978s |      25 | 26181305 |  7337598 |    75156    234 |        0 |        0
980.77/981.04	c  980s |      25 | 26194219 |  7347098 |    75156    234 |        0 |        0
982.87/983.17	c  982s |      25 | 26293331 |  7360698 |    75156    235 |        0 |        0
984.87/985.18	c  984s |      25 | 26375470 |  7379498 |    75156    235 |        0 |        0
987.07/987.30	c  987s |      25 | 26426778 |  7398998 |    75156    236 |        0 |        0
989.07/989.32	c  989s |      25 | 26444408 |  7410198 |    75156    236 |        0 |        0
991.07/991.34	c  991s |      25 | 26525929 |  7424598 |    75156    236 |        0 |        0
993.07/993.35	c  993s |      25 | 26554792 |  7438598 |    75156    237 |        0 |        0
995.07/995.35	c  995s |      25 | 26664264 |  7455498 |    75156    237 |        0 |        0
997.07/997.36	c  997s |      25 | 26711604 |  7467398 |    75156    237 |        0 |        0
999.07/999.37	c  999s |      25 | 26760887 |  7482798 |    75156    238 |        0 |        0
1001.07/1001.37	c 1001s |      25 | 26780682 |  7496198 |    75156    238 |        0 |        0
1003.08/1003.37	c 1003s |      25 | 26794533 |  7505298 |    75156    238 |        0 |        0
1005.07/1005.37	c 1005s |      25 | 26814936 |  7517598 |    75156    239 |        0 |        0
1007.07/1007.40	c 1007s |      25 | 26836641 |  7531698 |    75156    239 |        0 |        0
1009.17/1009.42	c 1009s |      25 | 26856642 |  7544198 |    82672    239 |        0 |        0
1011.16/1011.42	c 1011s |      25 | 26882576 |  7558698 |    82672    239 |        0 |        0
1013.16/1013.42	c 1013s |      25 | 26964468 |  7568298 |    82672    240 |        0 |        0
1015.26/1015.55	c 1015s |      25 | 27023617 |  7589498 |    82672    240 |        0 |        0
1016.17/1016.43	c 1016s |      26 | 27047827 |  7597752 |    82672    240 |        0 |        0
1018.16/1018.44	c 1018s |      26 | 27116734 |  7614752 |    82672    241 |        0 |        0
1020.16/1020.44	c 1020s |      26 | 27195733 |  7626652 |    82672    241 |        0 |        0
1022.16/1022.45	c 1022s |      26 | 27326913 |  7645152 |    82672    241 |        0 |        0
1024.26/1024.55	c 1024s |      26 | 27357280 |  7660252 |    82672    242 |        0 |        0
1026.26/1026.58	c 1026s |      26 | 27465968 |  7680452 |    82672    242 |        0 |        0
1028.26/1028.59	c 1028s |      26 | 27554907 |  7692652 |    82672    243 |        0 |        0
1030.25/1030.59	c 1030s |      26 | 27586411 |  7711052 |    82672    243 |        0 |        0
1032.35/1032.60	c 1032s |      26 | 27704813 |  7727152 |    82672    243 |        0 |        0
1034.35/1034.62	c 1034s |      26 | 27778515 |  7744652 |    82672    244 |        0 |        0
1036.35/1036.64	c 1036s |      26 | 27809513 |  7762552 |    82672    244 |        0 |        0
1038.35/1038.66	c 1038s |      26 | 27825427 |  7772452 |    82672    244 |        0 |        0
1040.45/1040.70	c 1040s |      26 | 27856271 |  7782952 |    82672    245 |        0 |        0
1042.44/1042.71	c 1042s |      26 | 27917117 |  7805252 |    82672    245 |        0 |        0
1044.54/1044.85	c 1044s |      26 | 27964542 |  7814352 |    82672    246 |        0 |        0
1046.54/1046.86	c 1046s |      26 | 27991295 |  7830752 |    82672    246 |        0 |        0
1048.54/1048.86	c 1048s |      26 | 28007698 |  7841152 |    82672    246 |        0 |        0
1050.55/1050.87	c 1050s |      26 | 28020496 |  7848252 |    82672    246 |        0 |        0
1052.56/1052.89	c 1052s |      26 | 28075801 |  7861552 |    82672    247 |        0 |        0
1054.54/1054.90	c 1054s |      26 | 28101391 |  7876252 |    82672    247 |        0 |        0
1056.64/1056.93	c 1056s |      26 | 28127263 |  7891852 |    82672    247 |        0 |        0
1058.84/1059.10	c 1058s |      26 | 28144442 |  7899352 |    82672    248 |        0 |        0
1060.84/1061.10	c 1060s |      26 | 28232598 |  7917052 |    82672    248 |        0 |        0
1062.83/1063.11	c 1062s |      26 | 28338791 |  7930052 |    82672    248 |        0 |        0
1064.93/1065.28	c 1065s |      26 | 28440771 |  7943052 |    82672    249 |        0 |        0
1066.93/1067.28	c 1067s |      26 | 28534075 |  7962852 |    82672    249 |        0 |        0
1068.94/1069.29	c 1069s |      26 | 28562897 |  7980152 |    82672    249 |        0 |        0
1070.93/1071.29	c 1071s |      26 | 28688467 |  7993352 |    82672    250 |        0 |        0
1072.93/1073.29	c 1073s |      26 | 28805510 |  8010652 |    82672    250 |        0 |        0
1075.04/1075.35	c 1075s |      26 | 28931672 |  8029852 |    82672    251 |        0 |        0
1077.04/1077.35	c 1077s |      26 | 28978364 |  8050252 |    82672    251 |        0 |        0
1079.04/1079.35	c 1079s |      26 | 29031647 |  8064952 |    82672    252 |        0 |        0
1081.04/1081.36	c 1081s |      26 | 29113605 |  8080052 |    82672    252 |        0 |        0
1083.03/1083.37	c 1083s |      26 | 29203988 |  8096952 |    82672    252 |        0 |        0
1085.03/1085.37	c 1085s |      26 | 29284668 |  8118052 |    82672    253 |        0 |        0
1087.03/1087.38	c 1087s |      26 | 29432849 |  8133752 |    82672    253 |        0 |        0
1089.03/1089.38	c 1089s |      26 | 29457955 |  8148352 |    82672    253 |        0 |        0
1091.04/1091.39	c 1091s |      26 | 29505830 |  8164852 |    82672    254 |        0 |        0
1093.03/1093.39	c 1093s |      26 | 29595751 |  8178152 |    82672    254 |        0 |        0
1095.03/1095.39	c 1095s |      26 | 29659777 |  8196952 |    82672    255 |        0 |        0
1097.13/1097.40	c 1097s |      26 | 29737440 |  8211852 |    82672    255 |        0 |        0
1099.13/1099.41	c 1099s |      26 | 29794842 |  8232352 |    82672    255 |        0 |        0
1101.13/1101.47	c 1101s |      26 | 29852865 |  8249052 |    82672    256 |        0 |        0
1103.13/1103.48	c 1103s |      26 | 29941764 |  8269752 |    82672    256 |        0 |        0
1105.12/1105.49	c 1105s |      26 | 30026253 |  8283352 |    82672    257 |        0 |        0
1107.22/1107.52	c 1107s |      26 | 30069280 |  8298752 |    82672    257 |        0 |        0
1109.22/1109.52	c 1109s |      26 | 30191441 |  8314052 |    82672    257 |        0 |        0
1111.22/1111.52	c 1111s |      26 | 30235625 |  8326552 |    82672    258 |        0 |        0
1113.21/1113.53	c 1113s |      26 | 30250675 |  8337052 |    82672    258 |        0 |        0
1115.22/1115.54	c 1115s |      26 | 30274349 |  8344952 |    82672    258 |        0 |        0
1117.21/1117.55	c 1117s |      26 | 30329947 |  8360052 |    82672    258 |        0 |        0
1119.31/1119.67	c 1119s |      26 | 30345303 |  8369452 |    82672    259 |        0 |        0
1121.31/1121.69	c 1121s |      26 | 30359025 |  8377452 |    82672    259 |        0 |        0
1123.41/1123.73	c 1123s |      26 | 30369676 |  8383752 |    82672    259 |        0 |        0
1125.41/1125.74	c 1125s |      26 | 30402971 |  8393852 |    82672    259 |        0 |        0
1127.41/1127.76	c 1127s |      26 | 30421951 |  8407552 |    82672    259 |        0 |        0
1129.42/1129.77	c 1129s |      26 | 30431740 |  8414452 |    82672    260 |        0 |        0
1131.51/1131.80	c 1131s |      26 | 30438470 |  8419252 |    82672    260 |        0 |        0
1133.50/1133.81	c 1133s |      26 | 30447825 |  8425852 |    82672    260 |        0 |        0
1135.50/1135.81	c 1135s |      26 | 30454050 |  8430052 |    82672    260 |        0 |        0
1137.50/1137.82	c 1137s |      26 | 30487819 |  8446852 |    82672    260 |        0 |        0
1139.50/1139.83	c 1139s |      26 | 30540411 |  8459552 |    82672    261 |        0 |        0
1141.62/1141.91	c 1141s |      26 | 30573654 |  8474252 |    82672    261 |        0 |        0
1144.91/1145.22	c 1144s |      26 | 30585507 |  8476152 |    82672    261 |        0 |        0
1146.90/1147.23	c 1146s |      26 | 30605635 |  8489452 |    82672    261 |        0 |        0
1148.90/1149.24	c 1148s |      26 | 30621651 |  8499652 |    82672    262 |        0 |        0
1150.90/1151.26	c 1151s |      26 | 30634154 |  8508752 |    82672    262 |        0 |        0
1152.90/1153.29	c 1153s |      26 | 30641317 |  8514652 |    82672    262 |        0 |        0
1155.00/1155.30	c 1155s |      26 | 30646390 |  8518452 |    82672    262 |        0 |        0
1157.00/1157.34	c 1157s |      26 | 30651499 |  8522252 |    82672    262 |        0 |        0
1158.99/1159.35	c 1159s |      26 | 30657263 |  8526352 |    82672    262 |        0 |        0
1160.99/1161.37	c 1161s |      26 | 30668818 |  8531352 |    82672    262 |        0 |        0
1162.99/1163.38	c 1163s |      26 | 30687575 |  8542452 |    82672    263 |        0 |        0
1164.99/1165.39	c 1165s |      26 | 30775590 |  8555952 |    82672    263 |        0 |        0
1166.99/1167.39	c 1167s |      26 | 30807873 |  8574952 |    82672    263 |        0 |        0
1169.00/1169.39	c 1169s |      26 | 30840667 |  8583952 |    82672    264 |        0 |        0
1171.09/1171.40	c 1171s |      26 | 30864833 |  8597252 |    82672    264 |        0 |        0
1173.10/1173.43	c 1173s |      26 | 30873247 |  8598552 |    82672    264 |        0 |        0
1175.10/1175.45	c 1175s |      26 | 30881040 |  8599052 |    82672    264 |        0 |        0
1177.10/1177.45	c 1177s |      26 | 30971801 |  8618952 |    82672    264 |        0 |        0
1179.10/1179.46	c 1179s |      26 | 31007423 |  8638052 |    82672    265 |        0 |        0
1181.10/1181.46	c 1181s |      26 | 31100392 |  8657152 |    82672    265 |        0 |        0
1183.09/1183.50	c 1183s |      26 | 31124123 |  8669852 |    82672    266 |        0 |        0
1185.19/1185.53	c 1185s |      26 | 31199061 |  8684452 |    82672    266 |        0 |        0
1187.19/1187.56	c 1187s |      26 | 31221344 |  8697952 |    82672    266 |        0 |        0
1189.19/1189.58	c 1189s |      26 | 31254977 |  8705652 |    82672    266 |        0 |        0
1191.59/1191.94	c 1191s |      26 | 31346281 |  8719752 |    82672    267 |        0 |        0
1193.59/1193.94	c 1193s |      26 | 31401198 |  8741252 |    82672    267 |        0 |        0
1195.59/1195.94	c 1195s |      26 | 31423965 |  8755652 |    82672    267 |        0 |        0
1197.60/1197.96	c 1197s |      26 | 31443337 |  8766752 |    82672    268 |        0 |        0
1199.59/1199.96	c 1199s |      26 | 31471077 |  8777052 |    82672    268 |        0 |        0
1201.59/1201.99	c 1201s |      26 | 31480786 |  8783652 |    82672    268 |        0 |        0
1203.68/1204.03	c 1203s |      26 | 31497202 |  8794952 |    82672    268 |        0 |        0
1205.68/1206.04	c 1205s |      26 | 31506567 |  8801952 |    82672    269 |        0 |        0
1207.68/1208.05	c 1207s |      26 | 31534232 |  8814752 |    82672    269 |        0 |        0
1209.69/1210.07	c 1209s |      26 | 31561481 |  8830952 |    82672    269 |        0 |        0
1211.68/1212.08	c 1211s |      26 | 31577798 |  8841452 |    82672    270 |        0 |        0
1213.68/1214.09	c 1213s |      26 | 31606098 |  8855852 |    82672    270 |        0 |        0
1215.68/1216.09	c 1215s |      26 | 31674868 |  8878352 |    82672    270 |        0 |        0
1217.68/1218.09	c 1217s |      26 | 31702548 |  8895352 |    82672    271 |        0 |        0
1219.78/1220.10	c 1219s |      26 | 31735159 |  8909452 |    82672    271 |        0 |        0
1221.68/1222.10	c 1221s |      26 | 31754167 |  8919752 |    82672    271 |        0 |        0
1223.77/1224.10	c 1223s |      26 | 31777044 |  8928752 |    82672    272 |        0 |        0
1226.18/1226.58	c 1226s |      26 | 31827640 |  8935052 |    82672    272 |        0 |        0
1228.17/1228.59	c 1228s |      26 | 31863185 |  8941752 |    82672    272 |        0 |        0
1230.17/1230.59	c 1230s |      26 | 31905414 |  8960452 |    82672    272 |        0 |        0
1232.17/1232.59	c 1232s |      26 | 31923239 |  8970452 |    82672    273 |        0 |        0
1234.27/1234.60	c 1234s |      26 | 31941921 |  8981452 |    82672    273 |        0 |        0
1236.27/1236.62	c 1236s |      26 | 31973211 |  8996352 |    82672    273 |        0 |        0
1238.28/1238.62	c 1238s |      26 | 32026702 |  9012952 |    82672    273 |        0 |        0
1240.27/1240.63	c 1240s |      26 | 32056845 |  9028852 |    82672    274 |        0 |        0
1242.37/1242.73	c 1242s |      26 | 32097169 |  9041252 |    82672    274 |        0 |        0
1244.57/1244.90	c 1244s |      26 | 32180261 |  9056452 |    82672    275 |        0 |        0
1246.57/1246.90	c 1246s |      26 | 32223288 |  9073752 |    82672    275 |        0 |        0
1248.57/1248.90	c 1248s |      26 | 32295425 |  9085052 |    82672    275 |        0 |        0
1250.57/1250.91	c 1250s |      26 | 32345359 |  9100752 |    82672    276 |        0 |        0
1252.58/1252.92	c 1252s |      26 | 32387462 |  9114352 |    82672    276 |        0 |        0
1254.57/1254.92	c 1254s |      26 | 32421318 |  9124152 |    82672    276 |        0 |        0
1256.57/1256.93	c 1256s |      26 | 32502779 |  9140652 |    82672    276 |        0 |        0
1258.67/1259.01	c 1258s |      26 | 32517332 |  9149752 |    82672    277 |        0 |        0
1261.07/1261.47	c 1261s |      26 | 32600353 |  9163652 |    82672    277 |        0 |        0
1263.06/1263.48	c 1263s |      26 | 32628779 |  9178852 |    82672    277 |        0 |        0
1266.87/1267.29	c 1267s |      26 | 32680373 |  9182252 |    82672    277 |        0 |        0
1268.96/1269.30	c 1269s |      26 | 32756883 |  9198152 |    82672    278 |        0 |        0
1270.96/1271.31	c 1271s |      26 | 32787784 |  9214252 |    82672    278 |        0 |        0
1272.96/1273.32	c 1273s |      26 | 32805375 |  9226352 |    82672    278 |        0 |        0
1274.95/1275.33	c 1275s |      26 | 32833212 |  9241652 |    82672    279 |        0 |        0
1276.95/1277.37	c 1277s |      26 | 32925946 |  9254252 |    82672    279 |        0 |        0
1278.97/1279.39	c 1279s |      26 | 32964304 |  9271152 |    82672    279 |        0 |        0
1281.06/1281.40	c 1281s |      26 | 32976145 |  9279352 |    82672    280 |        0 |        0
1283.06/1283.40	c 1283s |      26 | 33044249 |  9292952 |    82672    280 |        0 |        0
1285.06/1285.41	c 1285s |      26 | 33072810 |  9307852 |    82672    280 |        0 |        0
1287.06/1287.41	c 1287s |      26 | 33107461 |  9323552 |    82672    281 |        0 |        0
1289.06/1289.42	c 1289s |      26 | 33133406 |  9340152 |    82672    281 |        0 |        0
1291.06/1291.42	c 1291s |      26 | 33159031 |  9355552 |    82672    281 |        0 |        0
1293.05/1293.44	c 1293s |      26 | 33225273 |  9369952 |    82672    282 |        0 |        0
1295.05/1295.44	c 1295s |      26 | 33303795 |  9388152 |    82672    282 |        0 |        0
1297.05/1297.45	c 1297s |      26 | 33326419 |  9402452 |    82672    282 |        0 |        0
1299.05/1299.46	c 1299s |      26 | 33358333 |  9418852 |    82672    283 |        0 |        0
1301.06/1301.47	c 1301s |      26 | 33373230 |  9429052 |    82672    283 |        0 |        0
1303.05/1303.47	c 1303s |      26 | 33384454 |  9436052 |    82672    283 |        0 |        0
1305.05/1305.47	c 1305s |      26 | 33453679 |  9447652 |    82672    284 |        0 |        0
1307.05/1307.48	c 1307s |      26 | 33479621 |  9461452 |    82672    284 |        0 |        0
1309.05/1309.48	c 1309s |      26 | 33498136 |  9472652 |    82672    284 |        0 |        0
1311.14/1311.50	c 1311s |      26 | 33524936 |  9487852 |    82672    284 |        0 |        0
1313.05/1313.50	c 1313s |      26 | 33551581 |  9501152 |    82672    285 |        0 |        0
1315.14/1315.51	c 1315s |      26 | 33591020 |  9516452 |    82672    285 |        0 |        0
1317.14/1317.51	c 1317s |      26 | 33611963 |  9528752 |    82672    285 |        0 |        0
1319.14/1319.52	c 1319s |      26 | 33633898 |  9541852 |    82672    286 |        0 |        0
1321.54/1321.93	c 1321s |      26 | 33661002 |  9557652 |    82672    286 |        0 |        0
1323.54/1323.94	c 1323s |      26 | 33797232 |  9568952 |    82672    286 |        0 |        0
1325.54/1325.97	c 1325s |      26 | 33834612 |  9579452 |    82672    287 |        0 |        0
1327.54/1327.97	c 1327s |      26 | 33861831 |  9595152 |    82672    287 |        0 |        0
1329.54/1329.98	c 1329s |      26 | 33933734 |  9615252 |    82672    287 |        0 |        0
1331.53/1331.98	c 1331s |      26 | 34005397 |  9626752 |    82672    288 |        0 |        0
1333.53/1333.99	c 1333s |      26 | 34041935 |  9645152 |    82672    288 |        0 |        0
1335.63/1336.00	c 1335s |      26 | 34064092 |  9658052 |    82672    288 |        0 |        0
1337.63/1338.00	c 1337s |      26 | 34173887 |  9674552 |    82672    289 |        0 |        0
1339.63/1340.02	c 1339s |      26 | 34200833 |  9690952 |    82672    289 |        0 |        0
1341.64/1342.04	c 1341s |      26 | 34221370 |  9703352 |    82672    290 |        0 |        0
1343.63/1344.04	c 1343s |      26 | 34249341 |  9719652 |    82672    290 |        0 |        0
1345.63/1346.05	c 1345s |      26 | 34265057 |  9731152 |    82672    290 |        0 |        0
1347.63/1348.06	c 1347s |      26 | 34275249 |  9738752 |    82672    290 |        0 |        0
1349.63/1350.07	c 1349s |      26 | 34283339 |  9744752 |    82672    291 |        0 |        0
1351.73/1352.11	c 1351s |      26 | 34293334 |  9751352 |    82672    291 |        0 |        0
1353.74/1354.13	c 1353s |      26 | 34374298 |  9761752 |    82672    291 |        0 |        0
1355.73/1356.13	c 1355s |      26 | 34407298 |  9774352 |    82672    291 |        0 |        0
1357.73/1358.15	c 1357s |      26 | 34428544 |  9787252 |    82672    292 |        0 |        0
1359.83/1360.21	c 1359s |      26 | 34455493 |  9798752 |    82672    292 |        0 |        0
1361.83/1362.23	c 1361s |      26 | 34472676 |  9810052 |    82672    292 |        0 |        0
1363.83/1364.23	c 1363s |      26 | 34484183 |  9817852 |    82672    292 |        0 |        0
1365.84/1366.25	c 1365s |      26 | 34497401 |  9826352 |    82672    292 |        0 |        0
1367.83/1368.29	c 1368s |      26 | 34565628 |  9833752 |    82672    293 |        0 |        0
1370.34/1370.73	c 1370s |      26 | 34652161 |  9849752 |    82672    293 |        0 |        0
1372.33/1372.75	c 1372s |      26 | 34687842 |  9866952 |    82672    293 |        0 |        0
1374.32/1374.76	c 1374s |      26 | 34776752 |  9878052 |    82672    294 |        0 |        0
1376.32/1376.77	c 1376s |      26 | 34822025 |  9896052 |    82672    294 |        0 |        0
1378.32/1378.78	c 1378s |      26 | 34903297 |  9902252 |    82672    294 |        0 |        0
1380.32/1380.78	c 1380s |      26 | 34965968 |  9916152 |    82672    295 |        0 |        0
1382.33/1382.80	c 1382s |      26 | 35030474 |  9930952 |    82672    295 |        0 |        0
1384.62/1385.08	c 1384s |      26 | 35102150 |  9946252 |    82672    295 |        0 |        0
1386.72/1387.10	c 1386s |      26 | 35192989 |  9956152 |    82672    295 |        0 |        0
1388.71/1389.10	c 1388s |      26 | 35255902 |  9972252 |    82672    296 |        0 |        0
1391.12/1391.52	c 1391s |      26 | 35354417 |  9983052 |    82672    296 |        0 |        0
1393.21/1393.61	c 1393s |      26 | 35412368 | 10001452 |    82672    297 |        0 |        0
1395.21/1395.62	c 1395s |      26 | 35514809 | 10019452 |    82672    297 |        0 |        0
1397.21/1397.62	c 1397s |      26 | 35570253 | 10039452 |    82672    297 |        0 |        0
1399.22/1399.62	c 1399s |      26 | 35617422 | 10051652 |    82672    298 |        0 |        0
1401.22/1401.62	c 1401s |      26 | 35706283 | 10061752 |    82672    298 |        0 |        0
1403.22/1403.63	c 1403s |      26 | 35779441 | 10079552 |    82672    298 |        0 |        0
1405.21/1405.64	c 1405s |      26 | 35871374 | 10097852 |    82672    299 |        0 |        0
1407.21/1407.64	c 1407s |      26 | 35910501 | 10117052 |    82672    299 |        0 |        0
1409.21/1409.64	c 1409s |      26 | 35933386 | 10129452 |    82672    300 |        0 |        0
1411.21/1411.65	c 1411s |      26 | 35971137 | 10148952 |    82672    300 |        0 |        0
1413.22/1413.66	c 1413s |      26 | 35993355 | 10162952 |    82672    300 |        0 |        0
1415.21/1415.67	c 1415s |      26 | 36006865 | 10171952 |    82672    301 |        0 |        0
1417.21/1417.68	c 1417s |      26 | 36020313 | 10180352 |    82672    301 |        0 |        0
1419.21/1419.68	c 1419s |      26 | 36047038 | 10197452 |    82672    301 |        0 |        0
1421.31/1421.72	c 1421s |      26 | 36067439 | 10209452 |    82672    302 |        0 |        0
1423.31/1423.72	c 1423s |      26 | 36094570 | 10224152 |    82672    302 |        0 |        0
1425.32/1425.73	c 1425s |      26 | 36160399 | 10242252 |    82672    302 |        0 |        0
1427.31/1427.74	c 1427s |      26 | 36180911 | 10254952 |    82672    303 |        0 |        0
1429.31/1429.75	c 1429s |      26 | 36197566 | 10265752 |    82672    303 |        0 |        0
1431.31/1431.76	c 1431s |      26 | 36210294 | 10273152 |    82672    303 |        0 |        0
1433.31/1433.76	c 1433s |      26 | 36221332 | 10280152 |    82672    303 |        0 |        0
1435.31/1435.76	c 1435s |      26 | 36275892 | 10287952 |    82672    303 |        0 |        0
1437.41/1437.88	c 1437s |      26 | 36300409 | 10301152 |    82672    304 |        0 |        0
1439.41/1439.88	c 1439s |      26 | 36311188 | 10308852 |    82672    304 |        0 |        0
1441.40/1441.89	c 1441s |      26 | 36330480 | 10319952 |    82672    304 |        0 |        0
1443.40/1443.89	c 1443s |      26 | 36398449 | 10331752 |    82672    304 |        0 |        0
1445.40/1445.89	c 1445s |      26 | 36432603 | 10349752 |    82672    305 |        0 |        0
1447.50/1447.91	c 1447s |      26 | 36550598 | 10364552 |    82672    305 |        0 |        0
1449.51/1449.92	c 1449s |      26 | 36654076 | 10378152 |    82672    305 |        0 |        0
1451.50/1451.95	c 1451s |      26 | 36672933 | 10391052 |    82672    306 |        0 |        0
1453.50/1453.96	c 1453s |      26 | 36718950 | 10400152 |    82672    306 |        0 |        0
1456.11/1456.53	c 1456s |      26 | 36813612 | 10406352 |    82672    306 |        0 |        0
1458.10/1458.54	c 1458s |      26 | 36846388 | 10424852 |    82672    307 |        0 |        0
1460.10/1460.54	c 1460s |      26 | 36881637 | 10436952 |    82672    307 |        0 |        0
1462.20/1462.61	c 1462s |      26 | 36979047 | 10454852 |    82672    307 |        0 |        0
1464.20/1464.62	c 1464s |      26 | 37078580 | 10467952 |    82672    308 |        0 |        0
1466.20/1466.62	c 1466s |      26 | 37100988 | 10482352 |    82672    308 |        0 |        0
1468.20/1468.64	c 1468s |      26 | 37113754 | 10490752 |    82672    308 |        0 |        0
1470.20/1470.65	c 1470s |      26 | 37126710 | 10498952 |    82672    308 |        0 |        0
1472.20/1472.68	c 1472s |      26 | 37133832 | 10503652 |    82672    309 |        0 |        0
1474.29/1474.70	c 1474s |      26 | 37157983 | 10510352 |    82672    309 |        0 |        0
1476.29/1476.71	c 1476s |      26 | 37302731 | 10521652 |    82672    309 |        0 |        0
1478.30/1478.71	c 1478s |      26 | 37355311 | 10537552 |    82672    309 |        0 |        0
1480.31/1480.71	c 1480s |      26 | 37373905 | 10547252 |    82672    310 |        0 |        0
1482.30/1482.80	c 1482s |      26 | 37489551 | 10555552 |    82672    310 |        0 |        0
1484.40/1484.80	c 1484s |      26 | 37513148 | 10564652 |    82672    310 |        0 |        0
1486.40/1486.81	c 1486s |      26 | 37563355 | 10579452 |    82672    310 |        0 |        0
1488.40/1488.82	c 1488s |      26 | 37635352 | 10595152 |    82672    311 |        0 |        0
1490.40/1490.84	c 1490s |      26 | 37684564 | 10610552 |    82672    311 |        0 |        0
1492.40/1492.84	c 1492s |      26 | 37696856 | 10619252 |    82672    311 |        0 |        0
1494.40/1494.86	c 1494s |      26 | 37706794 | 10625752 |    82672    311 |        0 |        0
1496.40/1496.87	c 1496s |      26 | 37716738 | 10632152 |    82672    312 |        0 |        0
1498.50/1498.90	c 1498s |      26 | 37726225 | 10639252 |    82672    312 |        0 |        0
1500.49/1500.91	c 1500s |      26 | 37731961 | 10643252 |    82672    312 |        0 |        0
1502.49/1502.92	c 1502s |      26 | 37784073 | 10652052 |    82672    312 |        0 |        0
1504.59/1505.01	c 1504s |      26 | 37817228 | 10669452 |    82672    313 |        0 |        0
1506.99/1507.40	c 1507s |      26 | 37849127 | 10682452 |    82672    313 |        0 |        0
1508.99/1509.42	c 1509s |      26 | 37912295 | 10700852 |    82672    313 |        0 |        0
1511.00/1511.44	c 1511s |      26 | 37938819 | 10715552 |    82672    314 |        0 |        0
1513.09/1513.52	c 1513s |      26 | 38082423 | 10728752 |    82672    314 |        0 |        0
1515.09/1515.53	c 1515s |      26 | 38127750 | 10739352 |    82672    314 |        0 |        0
1517.19/1517.68	c 1517s |      26 | 38178355 | 10755052 |    82672    315 |        0 |        0
1519.29/1519.73	c 1519s |      26 | 38206367 | 10770252 |    82672    315 |        0 |        0
1521.29/1521.73	c 1521s |      26 | 38231367 | 10784652 |    82672    315 |        0 |        0
1523.29/1523.74	c 1523s |      26 | 38257221 | 10799052 |    82672    316 |        0 |        0
1525.30/1525.74	c 1525s |      26 | 38311781 | 10811452 |    82672    316 |        0 |        0
1527.29/1527.75	c 1527s |      26 | 38351128 | 10832252 |    82672    316 |        0 |        0
1529.29/1529.79	c 1529s |      26 | 38368237 | 10842752 |    82672    317 |        0 |        0
1531.29/1531.80	c 1531s |      26 | 38381314 | 10851752 |    82672    317 |        0 |        0
1533.39/1533.80	c 1533s |      26 | 38443811 | 10865752 |    82672    317 |        0 |        0
1535.39/1535.82	c 1535s |      26 | 38470802 | 10880552 |    82672    318 |        0 |        0
1537.40/1537.83	c 1537s |      26 | 38491891 | 10893752 |    82672    318 |        0 |        0
1539.39/1539.83	c 1539s |      26 | 38561787 | 10907552 |    82672    318 |        0 |        0
1541.59/1542.03	c 1541s |      26 | 38599700 | 10922352 |    82672    319 |        0 |        0
1543.59/1544.03	c 1543s |      26 | 38628495 | 10938952 |    82672    319 |        0 |        0
1545.69/1546.13	c 1545s |      26 | 38652311 | 10952252 |    82672    319 |        0 |        0
1547.69/1548.14	c 1547s |      26 | 38762934 | 10962952 |    82672    319 |        0 |        0
1549.69/1550.17	c 1549s |      26 | 38831324 | 10973052 |    82672    320 |        0 |        0
1551.79/1552.25	c 1551s |      26 | 38924847 | 10990352 |    82672    320 |        0 |        0
1553.78/1554.28	c 1554s |      26 | 38938730 | 10999652 |    82672    320 |        0 |        0
1555.78/1556.28	c 1556s |      26 | 38979279 | 11006852 |    82672    321 |        0 |        0
1557.78/1558.29	c 1558s |      26 | 38995932 | 11018852 |    82672    321 |        0 |        0
1559.78/1560.29	c 1560s |      26 | 39005655 | 11025952 |    82672    321 |        0 |        0
1561.88/1562.32	c 1562s |      26 | 39016121 | 11032852 |    82672    321 |        0 |        0
1563.89/1564.33	c 1564s |      26 | 39080527 | 11041852 |    82672    321 |        0 |        0
1565.88/1566.33	c 1566s |      26 | 39105375 | 11056552 |    82672    322 |        0 |        0
1567.88/1568.39	c 1568s |      26 | 39156469 | 11066352 |    82672    322 |        0 |        0
1569.88/1570.39	c 1570s |      26 | 39267490 | 11078052 |    82672    322 |        0 |        0
1572.39/1572.85	c 1572s |      26 | 39317868 | 11090052 |    82672    322 |        0 |        0
1574.39/1574.86	c 1574s |      26 | 39370837 | 11104352 |    82672    323 |        0 |        0
1576.39/1576.87	c 1576s |      26 | 39390256 | 11116452 |    82672    323 |        0 |        0
1578.39/1578.88	c 1578s |      26 | 39406308 | 11127352 |    82672    323 |        0 |        0
1580.49/1580.90	c 1580s |      26 | 39414380 | 11133052 |    82672    324 |        0 |        0
1582.49/1582.91	c 1582s |      26 | 39423040 | 11138952 |    82672    324 |        0 |        0
1584.49/1584.92	c 1584s |      26 | 39569000 | 11148152 |    82672    324 |        0 |        0
1586.68/1587.18	c 1586s |      26 | 39625950 | 11165352 |    82672    324 |        0 |        0
1588.68/1589.18	c 1588s |      26 | 39660362 | 11183952 |    82672    325 |        0 |        0
1590.68/1591.19	c 1590s |      26 | 39696303 | 11203952 |    82672    325 |        0 |        0
1592.68/1593.19	c 1592s |      26 | 39726393 | 11221052 |    82672    326 |        0 |        0
1594.69/1595.19	c 1594s |      26 | 39755729 | 11237552 |    82672    326 |        0 |        0
1596.79/1597.23	c 1596s |      26 | 39791436 | 11248952 |    82672    326 |        0 |        0
1599.38/1599.85	c 1599s |      26 | 39839414 | 11257852 |    82672    326 |        0 |        0
1601.48/1601.90	c 1601s |      26 | 39887542 | 11277852 |    82672    327 |        0 |        0
1603.58/1604.01	c 1603s |      26 | 39939201 | 11289852 |    82672    327 |        0 |        0
1605.59/1606.02	c 1605s |      26 | 40014789 | 11303852 |    82672    327 |        0 |        0
1607.58/1608.02	c 1607s |      26 | 40052525 | 11320452 |    90940    328 |        0 |        0
1609.58/1610.04	c 1609s |      26 | 40074606 | 11332252 |    90940    328 |        0 |        0
1611.58/1612.05	c 1611s |      26 | 40118798 | 11345852 |    90940    328 |        0 |        0
1613.58/1614.06	c 1613s |      26 | 40129096 | 11352952 |    90940    328 |        0 |        0
1615.59/1616.07	c 1615s |      26 | 40136751 | 11357952 |    90940    329 |        0 |        0
1617.69/1618.12	c 1617s |      26 | 40148457 | 11365552 |    90940    329 |        0 |        0
1619.68/1620.15	c 1619s |      26 | 40155323 | 11370452 |    90940    329 |        0 |        0
1621.68/1622.19	c 1621s |      26 | 40161989 | 11375052 |    90940    329 |        0 |        0
1623.78/1624.22	c 1623s |      26 | 40168215 | 11379352 |    90940    329 |        0 |        0
1625.78/1626.26	c 1626s |      26 | 40174734 | 11383952 |    90940    329 |        0 |        0
1627.78/1628.27	c 1628s |      26 | 40203032 | 11395052 |    90940    329 |        0 |        0
1628.18/1628.66	c 1628s |      27 | 40205833 | 11396733 |    90940    329 |        0 |        0
1630.27/1630.79	c 1630s |      27 | 40233524 | 11409833 |    90940    330 |        0 |        0
1632.37/1632.81	c 1632s |      27 | 40314415 | 11417133 |    90940    330 |        0 |        0
1634.37/1634.88	c 1634s |      27 | 40320721 | 11418333 |    90940    330 |        0 |        0
1636.38/1636.90	c 1636s |      27 | 40358711 | 11426333 |    90940    330 |        0 |        0
1638.47/1638.92	c 1638s |      27 | 40387139 | 11441733 |    90940    330 |        0 |        0
1640.88/1641.34	c 1641s |      27 | 40398586 | 11449333 |    90940    331 |        0 |        0
1645.38/1645.88	c 1645s |      27 | 40407951 | 11454533 |    90940    331 |        0 |        0
1647.48/1647.93	c 1647s |      27 | 40415031 | 11459833 |    90940    331 |        0 |        0
1649.48/1649.97	c 1649s |      27 | 40421969 | 11464633 |    90940    331 |        0 |        0
1651.58/1652.01	c 1651s |      27 | 40427356 | 11468433 |    90940    331 |        0 |        0
1653.57/1654.03	c 1653s |      27 | 40434445 | 11473033 |    90940    331 |        0 |        0
1655.57/1656.04	c 1655s |      27 | 40471094 | 11484233 |    90940    331 |        0 |        0
1657.57/1658.06	c 1657s |      27 | 40497075 | 11499433 |    90940    332 |        0 |        0
1659.58/1660.07	c 1659s |      27 | 40517470 | 11512133 |    90940    332 |        0 |        0
1661.68/1662.14	c 1661s |      27 | 40576398 | 11522333 |    90940    332 |        0 |        0
1663.67/1664.14	c 1663s |      27 | 40603843 | 11535633 |    90940    332 |        0 |        0
1665.67/1666.14	c 1665s |      27 | 40690271 | 11550333 |    90940    333 |        0 |        0
1667.97/1668.46	c 1668s |      27 | 40766722 | 11553633 |    90940    333 |        0 |        0
1670.17/1670.62	c 1670s |      27 | 40818916 | 11561833 |    90940    333 |        0 |        0
1672.17/1672.63	c 1672s |      27 | 40862041 | 11577833 |    90940    333 |        0 |        0
1674.17/1674.64	c 1674s |      27 | 40907678 | 11596033 |    90940    334 |        0 |        0
1676.17/1676.64	c 1676s |      27 | 40993763 | 11613533 |    90940    334 |        0 |        0
1678.17/1678.65	c 1678s |      27 | 41023171 | 11629833 |    90940    334 |        0 |        0
1680.17/1680.67	c 1680s |      27 | 41068916 | 11650333 |    90940    335 |        0 |        0
1682.27/1682.79	c 1682s |      27 | 41106674 | 11662633 |    90940    335 |        0 |        0
1684.36/1684.80	c 1684s |      27 | 41137144 | 11674833 |    90940    335 |        0 |        0
1686.36/1686.82	c 1686s |      27 | 41149267 | 11683233 |    90940    336 |        0 |        0
1688.36/1688.83	c 1688s |      27 | 41253131 | 11697733 |    90940    336 |        0 |        0
1690.46/1690.91	c 1690s |      27 | 41338554 | 11711333 |    90940    336 |        0 |        0
1692.47/1692.92	c 1692s |      27 | 41416567 | 11724533 |    90940    337 |        0 |        0
1694.46/1694.93	c 1694s |      27 | 41444098 | 11741033 |    90940    337 |        0 |        0
1696.47/1696.93	c 1696s |      27 | 41524997 | 11758733 |    90940    337 |        0 |        0
1698.47/1698.94	c 1698s |      27 | 41544906 | 11772433 |    90940    337 |        0 |        0
1700.47/1700.98	c 1700s |      27 | 41554741 | 11779333 |    90940    338 |        0 |        0
1702.57/1703.00	c 1702s |      27 | 41561267 | 11784133 |    90940    338 |        0 |        0
1704.57/1705.02	c 1704s |      27 | 41567258 | 11788233 |    90940    338 |        0 |        0
1706.56/1707.07	c 1706s |      27 | 41571914 | 11791433 |    90940    338 |        0 |        0
1708.66/1709.11	c 1708s |      27 | 41576242 | 11794533 |    90940    338 |        0 |        0
1710.66/1711.17	c 1710s |      27 | 41581207 | 11798033 |    90940    338 |        0 |        0
1712.76/1713.23	c 1712s |      27 | 41586278 | 11801833 |    90940    338 |        0 |        0
1714.76/1715.25	c 1714s |      27 | 41590766 | 11804933 |    90940    338 |        0 |        0
1716.77/1717.29	c 1717s |      27 | 41595608 | 11808033 |    90940    338 |        0 |        0
1718.87/1719.33	c 1719s |      27 | 41600805 | 11811733 |    90940    338 |        0 |        0
1720.86/1721.38	c 1721s |      27 | 41604552 | 11814333 |    90940    338 |        0 |        0
1722.96/1723.43	c 1723s |      27 | 41607436 | 11816333 |    90940    338 |        0 |        0
1724.96/1725.49	c 1725s |      27 | 41629630 | 11820333 |    90940    339 |        0 |        0
1726.96/1727.49	c 1727s |      27 | 41715337 | 11829033 |    90940    339 |        0 |        0
1729.06/1729.51	c 1729s |      27 | 41790331 | 11842333 |    90940    339 |        0 |        0
1731.07/1731.52	c 1731s |      27 | 41803908 | 11852433 |    90940    339 |        0 |        0
1733.06/1733.52	c 1733s |      27 | 41812919 | 11858933 |    90940    339 |        0 |        0
1735.06/1735.57	c 1735s |      27 | 41819406 | 11863633 |    90940    339 |        0 |        0
1737.16/1737.60	c 1737s |      27 | 41828945 | 11867633 |    90940    340 |        0 |        0
1739.16/1739.60	c 1739s |      27 | 41907756 | 11876433 |    90940    340 |        0 |        0
1741.16/1741.61	c 1741s |      27 | 41936176 | 11893233 |    90940    340 |        0 |        0
1743.16/1743.62	c 1743s |      27 | 41958271 | 11906233 |    90940    340 |        0 |        0
1745.16/1745.66	c 1745s |      27 | 41988081 | 11920033 |    90940    341 |        0 |        0
1747.26/1747.78	c 1747s |      27 | 42073697 | 11929733 |    90940    341 |        0 |        0
1749.25/1749.78	c 1749s |      27 | 42085422 | 11937633 |    90940    341 |        0 |        0
1751.35/1751.80	c 1751s |      27 | 42091048 | 11941533 |    90940    341 |        0 |        0
1753.35/1753.85	c 1753s |      27 | 42105409 | 11951133 |    90940    341 |        0 |        0
1755.45/1755.96	c 1755s |      27 | 42159268 | 11958233 |    90940    342 |        0 |        0
1757.56/1758.02	c 1757s |      27 | 42214856 | 11975033 |    90940    342 |        0 |        0
1759.57/1760.02	c 1759s |      27 | 42240839 | 11988933 |    90940    342 |        0 |        0
1761.56/1762.03	c 1761s |      27 | 42258314 | 12000633 |    90940    342 |        0 |        0
1763.56/1764.08	c 1763s |      27 | 42338860 | 12010033 |    90940    343 |        0 |        0
1765.56/1766.09	c 1765s |      27 | 42375557 | 12029633 |    90940    343 |        0 |        0
1771.45/1771.98	c 1771s |      27 | 42420842 | 12037833 |    90940    343 |        0 |        0
1773.45/1773.99	c 1773s |      27 | 42460211 | 12048933 |    90940    343 |        0 |        0
1775.45/1776.00	c 1775s |      27 | 42482783 | 12056633 |    90940    344 |        0 |        0
1777.55/1778.03	c 1777s |      27 | 42558387 | 12067433 |    90940    344 |        0 |        0
1779.55/1780.03	c 1779s |      27 | 42597934 | 12081733 |    90940    344 |        0 |        0
1781.56/1782.05	c 1781s |      27 | 42612084 | 12091433 |    90940    344 |        0 |        0
1783.55/1784.05	c 1783s |      27 | 42629516 | 12100833 |    90940    345 |        0 |        0
1785.55/1786.08	c 1785s |      27 | 42649896 | 12113933 |    90940    345 |        0 |        0
1787.65/1788.11	c 1787s |      27 | 42707503 | 12127233 |    90940    345 |        0 |        0
1789.65/1790.12	c 1789s |      27 | 42748340 | 12139933 |    90940    345 |        0 |        0
1791.65/1792.14	c 1791s |      27 | 42758522 | 12146833 |    90940    346 |        0 |        0
1793.66/1794.16	c 1793s |      27 | 42767792 | 12152933 |    90940    346 |        0 |        0
1795.65/1796.18	c 1795s |      27 | 42781285 | 12161633 |    90940    346 |        0 |        0
1797.65/1798.19	c 1797s |      27 | 42797683 | 12171833 |    90940    346 |        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-4088819-1466015934/watcher-4088819-1466015934 -o /tmp/evaluation-result-4088819-1466015934/solver-4088819-1466015934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088819-1466015934.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.19 2.07 3/179 6264
/proc/meminfo: memFree=29454316/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 2599 0 0 0 0 0 0 0 20 0 4 0 3639952 714534912 2959 33554432000 4194304 16246674 140734363771600 140734363771024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 175215 2969 441 2943 0 172109 0
[pid=6264/tid=6265] ppid=6261 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 732360704 3028 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 737603584 3046 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3639953 741797888 3062 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.18 2.19 2.07 3/179 6264
/proc/meminfo: memFree=29454316/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 26806 0 0 0 5 4 0 0 20 0 4 0 3639952 1332285440 27105 33554432000 4194304 16246674 140734363771600 140734363770912 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 325265 27119 800 2943 0 322159 0
[pid=6264/tid=6265] ppid=6261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1332285440 27130 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1332285440 27141 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1332285440 27153 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200455 s]
/proc/loadavg: 2.18 2.19 2.07 3/179 6264
/proc/meminfo: memFree=29454316/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1316420 CPUtime=0.19 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 44192 0 0 0 13 6 0 0 20 0 4 0 3639952 1348014080 44490 33554432000 4194304 16246674 140734363771600 140734363770816 6756128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 329105 44499 831 2943 0 325999 0
[pid=6264/tid=6265] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 44506 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 44512 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 44517 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1316420

[startup+0.300471 s]
/proc/loadavg: 2.18 2.19 2.07 3/179 6264
/proc/meminfo: memFree=29454316/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1316420 CPUtime=0.29 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 48583 0 0 0 22 7 0 0 20 0 4 0 3639952 1348014080 48881 33554432000 4194304 16246674 140734363771600 140734363770816 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 329105 48881 867 2943 0 325999 0
[pid=6264/tid=6265] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 48881 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 48881 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 48881 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1316420

[startup+0.700391 s]
/proc/loadavg: 2.18 2.19 2.07 3/179 6264
/proc/meminfo: memFree=29454316/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 95347 0 0 0 57 12 0 0 20 0 4 0 3639952 1348014080 95645 33554432000 4194304 16246674 140734363771600 140734363770816 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 329105 95652 869 2943 0 325999 0
[pid=6264/tid=6265] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 95658 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 95661 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 95666 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50037 s]
/proc/loadavg: 2.18 2.19 2.07 3/183 6268
/proc/meminfo: memFree=28787804/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 237008 0 0 0 118 31 0 0 20 0 4 0 3639952 1348014080 237307 33554432000 4194304 16246674 140734363771600 140734363753472 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 329105 237314 869 2943 0 325999 0
[pid=6264/tid=6265] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 237319 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 237327 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1348014080 237331 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10038 s]
/proc/loadavg: 2.18 2.19 2.07 3/183 6268
/proc/meminfo: memFree=28366204/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1323588 CPUtime=3.09 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 272075 0 0 0 272 37 0 0 20 0 4 0 3639952 1355354112 272373 33554432000 4194304 16246674 140734363771600 140734363754600 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 330897 272373 881 2943 0 327791 0
[pid=6264/tid=6265] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1323588

[startup+6.30041 s]
/proc/loadavg: 2.24 2.20 2.07 3/183 6268
/proc/meminfo: memFree=28364748/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1323588 CPUtime=6.29 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 272075 0 0 0 592 37 0 0 20 0 4 0 3639952 1355354112 272373 33554432000 4194304 16246674 140734363771600 140734363754600 6836125 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 330897 272373 881 2943 0 327791 0
[pid=6264/tid=6265] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272373 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1323588

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.07 3/183 6268
/proc/meminfo: memFree=28365340/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1323588 CPUtime=12.68 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 272076 0 0 0 1231 37 0 0 20 0 4 0 3639952 1355354112 272374 33554432000 4194304 16246674 140734363771600 140734363754600 6011548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 330897 272374 882 2943 0 327791 0
[pid=6264/tid=6265] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272374 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272374 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1355354112 272374 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1323588

[startup+25.5005 s]
/proc/loadavg: 2.17 2.19 2.07 4/183 6268
/proc/meminfo: memFree=28358096/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1330756 CPUtime=25.49 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 273868 0 0 0 2511 38 0 0 20 0 4 0 3639952 1362694144 274166 33554432000 4194304 16246674 140734363771600 140734363753472 5522986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 332689 274166 882 2943 0 329583 0
[pid=6264/tid=6265] ppid=6261 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1362694144 274166 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1362694144 274166 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1362694144 274166 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330756

[startup+51.1004 s]
/proc/loadavg: 2.18 2.19 2.07 3/183 6268
/proc/meminfo: memFree=28344568/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1342020 CPUtime=51.08 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 276684 0 0 0 5069 39 0 0 20 0 4 0 3639952 1374228480 276982 33554432000 4194304 16246674 140734363771600 140734363754600 6837353 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 335505 276982 882 2943 0 332399 0
[pid=6264/tid=6265] ppid=6261 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1374228480 276982 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1374228480 276982 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1374228480 276982 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1342020

[startup+102.3 s]
/proc/loadavg: 2.14 2.17 2.07 4/184 6272
/proc/meminfo: memFree=28333484/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1353284 CPUtime=102.28 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 279346 0 0 0 10188 40 0 0 20 0 4 0 3639952 1385762816 279644 33554432000 4194304 16246674 140734363771600 140734363753472 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 338321 279644 882 2943 0 335215 0
[pid=6264/tid=6265] ppid=6261 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1385762816 279644 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1385762816 279644 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1385762816 279644 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1353284


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

/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288251 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1387076

[startup+1362.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/184 6326
/proc/meminfo: memFree=28285348/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1361.93 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288199 0 0 0 136123 70 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363753472 5676406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1387076

[startup+1422.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 6327
/proc/meminfo: memFree=28285624/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1421.92 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288223 0 0 0 142121 71 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363754600 5663130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1387076

[startup+1482.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 6329
/proc/meminfo: memFree=28285856/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1481.9 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 148118 72 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363770776 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1387076

[startup+1542.31 s]
/proc/loadavg: 2.34 2.26 2.19 3/183 6428
/proc/meminfo: memFree=28308544/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1541.9 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 154117 73 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363770776 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1387076

[startup+1602.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 6429
/proc/meminfo: memFree=28299004/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1601.88 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 160114 74 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363754600 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1387076

[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 6430
/proc/meminfo: memFree=28298016/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1661.87 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 166112 75 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363754600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1387076

[startup+1722.3 s]
/proc/loadavg: 2.36 2.27 2.19 3/183 6431
/proc/meminfo: memFree=28287504/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1721.86 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 172110 76 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363753472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1387076

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 6433
/proc/meminfo: memFree=28287384/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1781.85 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 178108 77 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363754600 5823670 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1387076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.29 2.20 3/183 6433
/proc/meminfo: memFree=28287264/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1800.04 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 179927 77 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363770912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1387076

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.29 2.20 3/183 6433
/proc/meminfo: memFree=28287264/32872528 swapFree=1369816/1516984
[pid=6264] ppid=6261 vsize=1387076 CPUtime=1800.04 cores=0,2,4,6
/proc/6264/stat : 6264 (toysat) R 6261 6264 5822 0 -1 4202496 288225 0 0 0 179927 77 0 0 20 0 4 0 3639952 1420365824 288253 33554432000 4194304 16246674 140734363771600 140734363770912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6264/statm: 346769 288253 884 2943 0 343663 0
[pid=6264/tid=6265] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6265/stat : 6265 (toysat) S 6261 6264 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185727642864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6264/tid=6266] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6266/stat : 6266 (toysat) S 6261 6264 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185717153008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6264/tid=6267] ppid=6261 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/6264/task/6267/stat : 6267 (toysat) S 6261 6264 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3639953 1420365824 288253 33554432000 4194304 16246674 140734363771600 140185706679472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1387076

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.28
CPU system time (s): 0.778881
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1387076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.778881
maximum resident set size= 1153012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288225
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= 416
involuntary context switches= 1830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49932 second user time and 7.19191 second system time

The end

Begin job on node129 at 2016-06-15 20:38:55
IDJOB=4088819
IDBENCH=107318
IDSOLVER=2542
FILE ID=node129/4088819-1466015934
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 36dad230568f281765e6f2b6e3ee77c2
RANDOM SEED=1675933828

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:        29454316 kB
Buffers:            5284 kB
Cached:            72312 kB
SwapCached:        20184 kB
Active:          1157472 kB
Inactive:          39824 kB
Active(anon):    1101460 kB
Inactive(anon):    20104 kB
Active(file):      56012 kB
Inactive(file):    19720 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081520 kB
Dirty:             16696 kB
Writeback:             0 kB
AnonPages:       2637740 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             565936 kB
SReclaimable:      10196 kB
SUnreclaim:       555740 kB
KernelStack:        1520 kB
PageTables:         9280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2760720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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-15 21:08:55