0.00/0.00	c 2016-06-15T21:08:56+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-4088882-1466017735.opb"]
0.00/0.01	c use --random-gen="3597085598 3120457319 3286402443 3431974798 2200505888 2040978150 3580178440 3996532932 4267649480 4056215528 1072597488 794586493 3958805839 3680778277 780087535 3494329195 938631161 2451507096 2885298207 1229903388 1893705148 105152506 1020714797 4229056770 3314489896 3870624795 2648181852 2224066395 4013501096 3914843083 4054885989 91276929 675581409 3965265457 2368771418 2630982096 3545893566 514717694 3016652255 2615744704 372170781 3168848574 2037679096 3179124289 1544862530 3330182696 1919985843 1771987613 493872429 2623155982 3939125501 3928384386 1043553678 716417523 230084212 1136872905 1530168322 1964690396 1508479197 1309446586 116242927 3955098988 2071002405 3854151301 2855126237 2310197862 2702426240 1091240240 563303828 2742484285 1008496104 3824176215 2133020101 1261965971 1624070990 2019304874 2499941813 514737853 833218278 2213148281 1329919538 3283976717 1651134856 2274669102 3929776478 2025964109 1499502011 2392234846 2049902054 1514666676 2965368908 1520473697 419382855 1707947111 3855030890 3177721111 3676621174 1098446560 121572219 240353426 1685355869 4148490513 781213441 3156520776 1116013981 3361376869 2837457478 4132257422 3110582069 1061948526 999409239 2387324028 3799026779 3895575898 2630692270 39305406 610948327 22462108 3103403406 2340267581 21571388 3950785668 2326296773 188128364 4079458643 3900246030 3862863667 1499430319 3886489650 4004549075 4130795899 3300512375 1724965463 3977741664 579460962 3254988607 2041637430 3414651596 2406794607 1085273764 4212050424 2684277514 3449351357 641312866 2920557024 3464717802 1631967822 1165723766 925271534 3547268824 3560166259 3529680460 16368046 3999377181 2274207135 3490285650 2896607974 1978207503 2116162560 2880954586 3075193788 3463704660 3125214483 3051516019 138631854 1246281132 2637822165 2273062470 2276037509 3454893092 3773077240 1438969667 252120087 2387486142 995783372 2664653656 1876951314 1148748652 260097181 3340690272 556384171 1056359742 1756604433 1978645652 1920180869 2547449663 3203568681 694335629 2855712979 1780004 3797581916 2410363070 1524332627 1847135252 4119392126 1777547580 864469094 15081394 3360028274 2052796707 2289128150 236110246 818707010 2962799098 2129091982 1212416149 408490768 3273069081 3053095047 1783038514 216279199 1227064180 528033577 1442031269 1902931129 1462544708 1883413468 2133703076 423837896 1277120271 63615786 369705306 3123658484 2461834745 3911109103 1698805627 3312232083 2794132792 1660851368 2504604574 3179272662 3519286583 903290906 605616424 3997956626 630027325 1644405272 3795153621 373999493 3938874463 2942265275 3451870463 2736324141 324965034 490593239 3062762757 1235811481 3660032252 357915548 718067583 3669019085 2345488418 1984252224 1887202415 303122222 122494952 255 362436" option to reproduce the execution
0.00/0.03	c #vars 2805
0.00/0.03	c #constraints 562
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1122      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      352 |      100 |     1122      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      652 |      250 |     1235      0 |        0 |        0
0.00/0.09	c  0.0s |       3 |      988 |      475 |     1359      0 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1454 |      813 |     1495      0 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2489 |     1320 |     1645      0 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3521 |     2081 |     1992      1 |        0 |        0
0.28/0.30	c  0.2s |       7 |     5440 |     3223 |     2192      2 |        0 |        0
0.39/0.44	c  0.4s |       8 |     8174 |     4936 |     2412      3 |        0 |        0
0.49/0.58	c  0.5s |       9 |    12375 |     7506 |     2654      5 |        0 |        0
0.89/0.92	c  0.9s |      10 |    18033 |    11361 |     2920      8 |        0 |        0
1.38/1.44	c  1.4s |      11 |    26149 |    17144 |     3213     11 |        0 |        0
1.99/2.04	c  2.0s |      12 |    38202 |    25819 |     3535     16 |        0 |        0
2.88/2.99	c  2.9s |      13 |    55837 |    38832 |     3889     23 |        0 |        0
4.49/4.53	c  4.5s |      14 |    83615 |    58352 |     4278     32 |        0 |        0
6.49/6.54	c  6.5s |      14 |   113726 |    79552 |     4278     41 |        0 |        0
7.19/7.29	c  7.2s |      15 |   124081 |    87632 |     4706     45 |        0 |        0
9.19/9.29	c  9.2s |      15 |   152646 |   105732 |     4706     52 |        0 |        0
11.28/11.30	c 11.3s |      15 |   177689 |   122632 |     4706     58 |        0 |        0
12.59/12.61	c 12.6s |      16 |   189790 |   131552 |     5177     62 |        0 |        0
14.59/14.61	c 14.6s |      16 |   229557 |   155952 |     5177     71 |        0 |        0
16.60/16.62	c 16.6s |      16 |   266237 |   177652 |     5177     78 |        0 |        0
18.49/18.59	c 18.5s |      17 |   302566 |   197432 |     5695     85 |        0 |        0
20.49/20.59	c 20.5s |      17 |   352182 |   222832 |     5695     93 |        0 |        0
22.59/22.60	c 22.6s |      17 |   370988 |   237032 |     5695     97 |        0 |        0
24.59/24.62	c 24.6s |      17 |   390700 |   251232 |     5695    101 |        0 |        0
26.58/26.62	c 26.6s |      17 |   413312 |   266432 |     5695    106 |        0 |        0
28.59/28.62	c 28.6s |      17 |   440858 |   284032 |     5695    111 |        0 |        0
30.28/30.32	c 30.3s |      18 |   457660 |   296252 |     6265    115 |        0 |        0
32.28/32.33	c 32.3s |      18 |   482680 |   315452 |     6265    121 |        0 |        0
34.28/34.35	c 34.3s |      18 |   515077 |   337652 |     6265    128 |        0 |        0
36.29/36.36	c 36.3s |      18 |   557088 |   360152 |     6265    135 |        0 |        0
38.28/38.37	c 38.3s |      18 |   592766 |   380852 |     6265    141 |        0 |        0
40.28/40.37	c 40.3s |      18 |   632770 |   406552 |     6265    148 |        0 |        0
42.28/42.37	c 42.3s |      18 |   662689 |   425152 |     6265    153 |        0 |        0
44.28/44.35	c 44.3s |      19 |   690667 |   444482 |     6892    158 |        0 |        0
46.29/46.35	c 46.3s |      19 |   722778 |   467582 |     6892    165 |        0 |        0
48.28/48.36	c 48.3s |      19 |   757125 |   491982 |     6892    172 |        0 |        0
50.28/50.40	c 50.3s |      19 |   794556 |   517882 |     6892    180 |        0 |        0
52.38/52.41	c 52.4s |      19 |   821778 |   537582 |     6892    185 |        0 |        0
54.38/54.42	c 54.4s |      19 |   840013 |   550982 |     6892    189 |        0 |        0
56.38/56.43	c 56.4s |      19 |   861043 |   565982 |     6892    193 |        0 |        0
58.38/58.43	c 58.4s |      19 |   899175 |   588982 |     6892    200 |        0 |        0
60.38/60.44	c 60.4s |      19 |   923803 |   606482 |     6892    205 |        0 |        0
62.38/62.44	c 62.4s |      19 |   960907 |   628282 |     6892    211 |        0 |        0
64.38/64.45	c 64.4s |      19 |   993531 |   651282 |     6892    217 |        0 |        0
65.68/65.73	c 65.7s |      20 |  1020273 |   666827 |     7582    221 |        0 |        0
67.68/67.73	c 67.7s |      20 |  1049582 |   687327 |     7582    227 |        0 |        0
69.68/69.73	c 69.7s |      20 |  1085453 |   706227 |     7582    231 |        0 |        0
71.68/71.74	c 71.7s |      20 |  1112399 |   724027 |     7582    236 |        0 |        0
73.69/73.75	c 73.7s |      20 |  1130871 |   738527 |     7582    240 |        0 |        0
75.68/75.75	c 75.7s |      20 |  1159812 |   757027 |     7582    245 |        0 |        0
77.68/77.76	c 77.7s |      20 |  1178102 |   770627 |     7582    248 |        0 |        0
79.68/79.76	c 79.7s |      20 |  1216558 |   792427 |     7582    254 |        0 |        0
81.68/81.76	c 81.7s |      20 |  1245211 |   813227 |     7582    259 |        0 |        0
83.68/83.77	c 83.7s |      20 |  1281723 |   834627 |     7582    264 |        0 |        0
85.68/85.77	c 85.7s |      20 |  1304756 |   850227 |     7582    268 |        0 |        0
87.68/87.78	c 87.7s |      20 |  1331526 |   867727 |     7582    273 |        0 |        0
89.67/89.78	c 89.7s |      20 |  1350282 |   882627 |     7582    276 |        0 |        0
91.67/91.79	c 91.7s |      20 |  1375855 |   901127 |     7582    281 |        0 |        0
93.67/93.79	c 93.7s |      20 |  1392031 |   913927 |     7582    285 |        0 |        0
95.68/95.80	c 95.7s |      20 |  1406059 |   924927 |     7582    287 |        0 |        0
97.77/97.81	c 97.8s |      20 |  1436340 |   941927 |     7582    292 |        0 |        0
99.77/99.81	c 99.8s |      20 |  1463609 |   961227 |     7582    296 |        0 |        0
101.78/101.81	c  101s |      20 |  1496720 |   981927 |     7582    302 |        0 |        0
103.48/103.58	c  103s |      21 |  1527226 |  1000345 |     8341    306 |        0 |        0
105.48/105.58	c  105s |      21 |  1565827 |  1026145 |     8341    312 |        0 |        0
107.48/107.59	c  107s |      21 |  1604166 |  1050145 |     8341    317 |        0 |        0
109.48/109.59	c  109s |      21 |  1645640 |  1073045 |     8341    322 |        0 |        0
111.58/111.60	c  111s |      21 |  1683228 |  1095245 |     8341    328 |        0 |        0
113.58/113.61	c  113s |      21 |  1719872 |  1115545 |     8341    332 |        0 |        0
115.58/115.61	c  115s |      21 |  1746611 |  1132545 |     8341    336 |        0 |        0
117.57/117.61	c  117s |      21 |  1780226 |  1153445 |     8341    341 |        0 |        0
119.57/119.63	c  119s |      21 |  1810290 |  1171745 |     8341    346 |        0 |        0
121.57/121.63	c  121s |      21 |  1840039 |  1191245 |     8341    350 |        0 |        0
123.57/123.64	c  123s |      21 |  1873846 |  1213545 |     8341    355 |        0 |        0
125.57/125.64	c  125s |      21 |  1900707 |  1233645 |     8341    360 |        0 |        0
127.58/127.64	c  127s |      21 |  1929985 |  1254345 |     8341    365 |        0 |        0
129.57/129.65	c  129s |      21 |  1953440 |  1271145 |     8341    368 |        0 |        0
131.57/131.65	c  131s |      21 |  1972910 |  1286245 |     8341    372 |        0 |        0
133.57/133.66	c  133s |      21 |  2004579 |  1308845 |     8341    377 |        0 |        0
135.57/135.66	c  135s |      21 |  2049802 |  1329445 |     8341    382 |        0 |        0
137.57/137.66	c  137s |      21 |  2091793 |  1350845 |     8341    386 |        0 |        0
139.56/139.67	c  139s |      21 |  2110961 |  1364845 |     8341    389 |        0 |        0
141.56/141.69	c  141s |      21 |  2128698 |  1378445 |     8341    393 |        0 |        0
143.56/143.69	c  143s |      21 |  2160202 |  1397245 |     8341    397 |        0 |        0
145.66/145.70	c  145s |      21 |  2171679 |  1405845 |     8341    399 |        0 |        0
147.66/147.71	c  147s |      21 |  2184503 |  1415245 |     8341    401 |        0 |        0
149.68/149.75	c  149s |      21 |  2194910 |  1423445 |     8341    403 |        0 |        0
151.67/151.76	c  151s |      21 |  2205464 |  1431345 |     8341    404 |        0 |        0
153.67/153.77	c  153s |      21 |  2221409 |  1441545 |     8341    407 |        0 |        0
155.67/155.78	c  155s |      21 |  2233541 |  1450245 |     8341    408 |        0 |        0
157.67/157.78	c  157s |      21 |  2256736 |  1465045 |     8341    412 |        0 |        0
159.77/159.87	c  159s |      21 |  2266647 |  1472945 |     8341    414 |        0 |        0
161.77/161.88	c  161s |      21 |  2274866 |  1479545 |     8341    415 |        0 |        0
163.77/163.89	c  163s |      21 |  2287513 |  1488745 |     8341    417 |        0 |        0
165.87/165.95	c  165s |      21 |  2298710 |  1497445 |     9176    419 |        0 |        0
166.47/166.59	c  166s |      22 |  2303064 |  1500622 |     9176    419 |        0 |        0
168.57/168.60	c  168s |      22 |  2339277 |  1520222 |     9176    424 |        0 |        0
170.57/170.61	c  170s |      22 |  2359239 |  1532122 |     9176    426 |        0 |        0
172.56/172.62	c  172s |      22 |  2376346 |  1541822 |     9176    428 |        0 |        0
174.56/174.62	c  174s |      22 |  2390728 |  1553122 |     9176    430 |        0 |        0
176.56/176.63	c  176s |      22 |  2406315 |  1564622 |     9176    432 |        0 |        0
178.56/178.63	c  178s |      22 |  2432108 |  1579722 |     9176    435 |        0 |        0
180.56/180.65	c  180s |      22 |  2445445 |  1590022 |     9176    437 |        0 |        0
182.56/182.66	c  182s |      22 |  2454010 |  1595922 |     9176    438 |        0 |        0
184.56/184.66	c  184s |      22 |  2468286 |  1606622 |     9176    440 |        0 |        0
186.56/186.68	c  186s |      22 |  2490070 |  1622022 |     9176    443 |        0 |        0
188.57/188.69	c  188s |      22 |  2502631 |  1631922 |     9176    445 |        0 |        0
190.66/190.70	c  190s |      22 |  2510546 |  1638122 |     9176    446 |        0 |        0
192.66/192.70	c  192s |      22 |  2518288 |  1644122 |     9176    448 |        0 |        0
194.67/194.70	c  194s |      22 |  2531788 |  1654122 |     9176    450 |        0 |        0
196.66/196.72	c  196s |      22 |  2545475 |  1664222 |     9176    452 |        0 |        0
198.66/198.73	c  198s |      22 |  2563881 |  1678222 |     9176    454 |        0 |        0
200.66/200.75	c  200s |      22 |  2581890 |  1691822 |     9176    457 |        0 |        0
202.66/202.77	c  202s |      22 |  2595312 |  1702822 |     9176    459 |        0 |        0
204.67/204.79	c  204s |      22 |  2608388 |  1712322 |     9176    461 |        0 |        0
206.66/206.80	c  206s |      22 |  2626075 |  1724922 |     9176    464 |        0 |        0
208.66/208.80	c  208s |      22 |  2643915 |  1738422 |     9176    466 |        0 |        0
210.76/210.80	c  210s |      22 |  2659463 |  1749422 |     9176    469 |        0 |        0
212.76/212.81	c  212s |      22 |  2675966 |  1761522 |     9176    471 |        0 |        0
214.76/214.82	c  214s |      22 |  2691108 |  1772522 |     9176    473 |        0 |        0
216.77/216.82	c  216s |      22 |  2719355 |  1791922 |     9176    477 |        0 |        0
218.76/218.82	c  218s |      22 |  2743546 |  1808522 |     9176    481 |        0 |        0
220.76/220.84	c  220s |      22 |  2760196 |  1820322 |     9176    483 |        0 |        0
222.76/222.84	c  222s |      22 |  2771895 |  1829422 |     9176    485 |        0 |        0
224.76/224.86	c  224s |      22 |  2783106 |  1837922 |     9176    486 |        0 |        0
226.76/226.87	c  226s |      22 |  2796255 |  1847522 |     9176    488 |        0 |        0
228.76/228.88	c  228s |      22 |  2806986 |  1855622 |     9176    490 |        0 |        0
230.75/230.89	c  230s |      22 |  2819413 |  1865322 |     9176    492 |        0 |        0
232.85/232.96	c  232s |      22 |  2832289 |  1874722 |     9176    494 |        0 |        0
234.85/234.97	c  234s |      22 |  2850801 |  1888322 |     9176    497 |        0 |        0
236.85/236.99	c  236s |      22 |  2875905 |  1906922 |     9176    501 |        0 |        0
238.95/239.00	c  238s |      22 |  2889355 |  1917022 |     9176    503 |        0 |        0
240.86/241.00	c  240s |      22 |  2909159 |  1930322 |     9176    505 |        0 |        0
242.95/243.01	c  242s |      22 |  2921590 |  1940322 |     9176    507 |        0 |        0
244.95/245.03	c  244s |      22 |  2935459 |  1950122 |     9176    509 |        0 |        0
247.05/247.11	c  247s |      22 |  2948229 |  1959222 |     9176    511 |        0 |        0
249.05/249.13	c  249s |      22 |  2968001 |  1973822 |     9176    514 |        0 |        0
251.05/251.15	c  251s |      22 |  2980827 |  1982722 |     9176    516 |        0 |        0
253.06/253.15	c  253s |      22 |  2995421 |  1993622 |     9176    518 |        0 |        0
255.05/255.16	c  255s |      22 |  3012923 |  2006722 |     9176    521 |        0 |        0
257.05/257.16	c  257s |      22 |  3029295 |  2020122 |     9176    524 |        0 |        0
259.05/259.17	c  259s |      22 |  3040672 |  2029022 |     9176    526 |        0 |        0
261.15/261.24	c  261s |      22 |  3058806 |  2042122 |     9176    528 |        0 |        0
263.15/263.24	c  263s |      22 |  3072200 |  2052122 |     9176    530 |        0 |        0
265.16/265.27	c  265s |      22 |  3085644 |  2062722 |     9176    532 |        0 |        0
267.15/267.27	c  267s |      22 |  3111211 |  2079922 |     9176    536 |        0 |        0
269.15/269.29	c  269s |      22 |  3132079 |  2095722 |     9176    539 |        0 |        0
271.15/271.29	c  271s |      22 |  3148720 |  2107922 |     9176    542 |        0 |        0
273.25/273.30	c  273s |      22 |  3172798 |  2124122 |     9176    545 |        0 |        0
275.25/275.31	c  275s |      22 |  3205313 |  2141922 |     9176    548 |        0 |        0
277.26/277.32	c  277s |      22 |  3222022 |  2153522 |     9176    551 |        0 |        0
279.25/279.32	c  279s |      22 |  3243115 |  2169222 |     9176    554 |        0 |        0
281.25/281.33	c  281s |      22 |  3267405 |  2187422 |     9176    558 |        0 |        0
283.25/283.33	c  283s |      22 |  3296200 |  2206022 |     9176    561 |        0 |        0
285.25/285.33	c  285s |      22 |  3318884 |  2221622 |     9176    565 |        0 |        0
287.24/287.35	c  287s |      22 |  3336320 |  2234922 |     9176    567 |        0 |        0
289.25/289.37	c  289s |      22 |  3345785 |  2242122 |    10094    568 |        0 |        0
291.24/291.38	c  291s |      22 |  3353861 |  2248122 |    10094    570 |        0 |        0
292.04/292.17	c  292s |      23 |  3357846 |  2251038 |    10094    570 |        0 |        0
294.04/294.18	c  294s |      23 |  3381048 |  2266938 |    10094    573 |        0 |        0
296.04/296.18	c  296s |      23 |  3402447 |  2282738 |    10094    576 |        0 |        0
298.05/298.19	c  298s |      23 |  3435153 |  2301938 |    10094    580 |        0 |        0
300.04/300.19	c  300s |      23 |  3459271 |  2319638 |    10094    584 |        0 |        0
302.14/302.20	c  302s |      23 |  3477201 |  2332538 |    10094    586 |        0 |        0
304.14/304.20	c  304s |      23 |  3497599 |  2346838 |    10094    589 |        0 |        0
306.14/306.20	c  306s |      23 |  3518813 |  2361938 |    10094    592 |        0 |        0
308.15/308.25	c  308s |      23 |  3544281 |  2381138 |    10094    596 |        0 |        0
310.15/310.26	c  310s |      23 |  3584964 |  2402538 |    10094    600 |        0 |        0
312.15/312.28	c  312s |      23 |  3595125 |  2410338 |    10094    601 |        0 |        0
314.15/314.29	c  314s |      23 |  3608750 |  2420738 |    10094    603 |        0 |        0
316.15/316.29	c  316s |      23 |  3620024 |  2429338 |    10094    604 |        0 |        0
318.14/318.29	c  318s |      23 |  3628869 |  2435938 |    10094    606 |        0 |        0
320.24/320.30	c  320s |      23 |  3656602 |  2451038 |    10094    609 |        0 |        0
322.25/322.30	c  322s |      23 |  3689361 |  2469438 |    10094    612 |        0 |        0
324.24/324.32	c  324s |      23 |  3710481 |  2485338 |    10094    615 |        0 |        0
326.24/326.32	c  326s |      23 |  3738158 |  2503438 |    10094    618 |        0 |        0
328.24/328.32	c  328s |      23 |  3764224 |  2520038 |    10094    621 |        0 |        0
330.24/330.33	c  330s |      23 |  3782800 |  2530738 |    10094    624 |        0 |        0
332.44/332.54	c  332s |      23 |  3789709 |  2536538 |    10094    625 |        0 |        0
334.44/334.55	c  334s |      23 |  3804822 |  2548038 |    10094    627 |        0 |        0
336.54/336.65	c  336s |      23 |  3816603 |  2556838 |    10094    629 |        0 |        0
338.74/338.81	c  338s |      23 |  3829185 |  2565838 |    10094    630 |        0 |        0
340.73/340.82	c  340s |      23 |  3840568 |  2574138 |    10094    632 |        0 |        0
342.73/342.84	c  342s |      23 |  3851669 |  2582238 |    10094    633 |        0 |        0
344.73/344.84	c  344s |      23 |  3865848 |  2592338 |    10094    635 |        0 |        0
346.74/346.84	c  346s |      23 |  3879644 |  2602138 |    10094    637 |        0 |        0
348.75/348.84	c  348s |      23 |  3894332 |  2613138 |    10094    639 |        0 |        0
350.74/350.85	c  350s |      23 |  3910591 |  2624738 |    10094    642 |        0 |        0
352.74/352.87	c  352s |      23 |  3924114 |  2634738 |    10094    644 |        0 |        0
354.74/354.89	c  354s |      23 |  3936408 |  2643938 |    10094    645 |        0 |        0
356.84/356.91	c  356s |      23 |  3948900 |  2653938 |    10094    647 |        0 |        0
358.84/358.92	c  358s |      23 |  3961707 |  2664238 |    10094    649 |        0 |        0
360.84/360.98	c  360s |      23 |  3971294 |  2671738 |    10094    651 |        0 |        0
362.83/362.99	c  362s |      23 |  3987688 |  2683738 |    10094    653 |        0 |        0
364.93/365.00	c  364s |      23 |  4001853 |  2693838 |    10094    655 |        0 |        0
366.93/367.02	c  366s |      23 |  4015324 |  2704238 |    10094    657 |        0 |        0
368.93/369.03	c  368s |      23 |  4031358 |  2715638 |    10094    659 |        0 |        0
370.93/371.03	c  370s |      23 |  4047611 |  2727438 |    10094    661 |        0 |        0
372.94/373.06	c  373s |      23 |  4061578 |  2737938 |    10094    664 |        0 |        0
374.93/375.07	c  375s |      23 |  4081977 |  2753138 |    10094    666 |        0 |        0
376.93/377.07	c  377s |      23 |  4108130 |  2768238 |    10094    669 |        0 |        0
378.93/379.07	c  379s |      23 |  4124949 |  2781338 |    10094    672 |        0 |        0
380.93/381.08	c  381s |      23 |  4156441 |  2799338 |    10094    675 |        0 |        0
382.93/383.08	c  383s |      23 |  4183788 |  2818438 |    10094    679 |        0 |        0
384.93/385.09	c  385s |      23 |  4204105 |  2833038 |    10094    682 |        0 |        0
386.94/387.09	c  387s |      23 |  4228372 |  2849738 |    10094    685 |        0 |        0
389.03/389.10	c  389s |      23 |  4255703 |  2868938 |    10094    688 |        0 |        0
391.03/391.10	c  391s |      23 |  4278269 |  2885238 |    10094    691 |        0 |        0
393.03/393.12	c  393s |      23 |  4299585 |  2901438 |    10094    695 |        0 |        0
395.03/395.13	c  395s |      23 |  4336020 |  2922038 |    10094    698 |        0 |        0
397.04/397.14	c  397s |      23 |  4358975 |  2937838 |    10094    701 |        0 |        0
399.03/399.15	c  399s |      23 |  4375679 |  2949638 |    10094    704 |        0 |        0
401.03/401.16	c  401s |      23 |  4395651 |  2964538 |    10094    707 |        0 |        0
403.03/403.17	c  403s |      23 |  4416026 |  2979438 |    10094    710 |        0 |        0
405.03/405.20	c  405s |      23 |  4430660 |  2990638 |    10094    712 |        0 |        0
407.13/407.21	c  407s |      23 |  4446417 |  3002138 |    10094    714 |        0 |        0
409.14/409.23	c  409s |      23 |  4464770 |  3015838 |    10094    717 |        0 |        0
411.13/411.23	c  411s |      23 |  4480886 |  3027438 |    10094    719 |        0 |        0
413.13/413.26	c  413s |      23 |  4494192 |  3037638 |    10094    721 |        0 |        0
415.23/415.30	c  415s |      23 |  4513690 |  3051838 |    10094    724 |        0 |        0
417.23/417.31	c  417s |      23 |  4537629 |  3067138 |    10094    726 |        0 |        0
419.23/419.32	c  419s |      23 |  4550879 |  3076938 |    10094    728 |        0 |        0
421.23/421.32	c  421s |      23 |  4563756 |  3086438 |    10094    730 |        0 |        0
423.23/423.32	c  423s |      23 |  4582675 |  3100138 |    10094    733 |        0 |        0
425.22/425.33	c  425s |      23 |  4604037 |  3115938 |    10094    736 |        0 |        0
427.22/427.33	c  427s |      23 |  4618783 |  3126438 |    10094    738 |        0 |        0
429.22/429.34	c  429s |      23 |  4640101 |  3141638 |    10094    741 |        0 |        0
431.23/431.35	c  431s |      23 |  4651946 |  3150438 |    10094    742 |        0 |        0
433.22/433.35	c  433s |      23 |  4661235 |  3158238 |    10094    744 |        0 |        0
435.22/435.35	c  435s |      23 |  4671455 |  3166538 |    10094    746 |        0 |        0
437.22/437.37	c  437s |      23 |  4684741 |  3176438 |    10094    747 |        0 |        0
439.22/439.37	c  439s |      23 |  4698200 |  3187038 |    10094    750 |        0 |        0
441.23/441.37	c  441s |      23 |  4711991 |  3197338 |    10094    752 |        0 |        0
443.23/443.37	c  443s |      23 |  4724319 |  3206538 |    10094    753 |        0 |        0
445.23/445.38	c  445s |      23 |  4734807 |  3214238 |    10094    755 |        0 |        0
447.23/447.38	c  447s |      23 |  4751809 |  3226538 |    10094    757 |        0 |        0
449.23/449.39	c  449s |      23 |  4773551 |  3241738 |    10094    760 |        0 |        0
451.22/451.39	c  451s |      23 |  4789377 |  3252338 |    10094    762 |        0 |        0
453.32/453.40	c  453s |      23 |  4806089 |  3263538 |    10094    764 |        0 |        0
455.33/455.46	c  455s |      23 |  4828457 |  3279938 |    10094    768 |        0 |        0
457.32/457.46	c  457s |      23 |  4849649 |  3295938 |    10094    771 |        0 |        0
459.32/459.48	c  459s |      23 |  4866287 |  3309238 |    10094    773 |        0 |        0
461.42/461.50	c  461s |      23 |  4874277 |  3315838 |    10094    774 |        0 |        0
463.42/463.53	c  463s |      23 |  4882389 |  3322138 |    10094    776 |        0 |        0
465.42/465.55	c  465s |      23 |  4890305 |  3328238 |    10094    777 |        0 |        0
467.43/467.57	c  467s |      23 |  4898605 |  3334738 |    10094    778 |        0 |        0
469.42/469.58	c  469s |      23 |  4908100 |  3342038 |    10094    779 |        0 |        0
471.52/471.62	c  471s |      23 |  4921597 |  3352438 |    10094    782 |        0 |        0
473.52/473.62	c  473s |      23 |  4934999 |  3363238 |    11104    783 |        0 |        0
475.51/475.63	c  475s |      23 |  4944798 |  3370938 |    11104    785 |        0 |        0
476.91/477.02	c  476s |      24 |  4952003 |  3376662 |    11104    786 |        0 |        0
478.91/479.03	c  478s |      24 |  4977820 |  3396862 |    11104    789 |        0 |        0
480.91/481.03	c  480s |      24 |  5004086 |  3416062 |    11104    793 |        0 |        0
482.92/483.04	c  482s |      24 |  5019733 |  3428062 |    11104    795 |        0 |        0
484.91/485.05	c  484s |      24 |  5036538 |  3440462 |    11104    797 |        0 |        0
486.91/487.06	c  487s |      24 |  5050418 |  3451262 |    11104    799 |        0 |        0
488.92/489.06	c  489s |      24 |  5071850 |  3466062 |    11104    802 |        0 |        0
490.92/491.06	c  491s |      24 |  5113963 |  3485662 |    11104    805 |        0 |        0
492.92/493.06	c  493s |      24 |  5143776 |  3508262 |    11104    809 |        0 |        0
494.93/495.06	c  495s |      24 |  5189611 |  3527662 |    11104    812 |        0 |        0
496.92/497.07	c  497s |      24 |  5222676 |  3552062 |    11104    816 |        0 |        0
498.92/499.08	c  499s |      24 |  5249722 |  3571362 |    11104    820 |        0 |        0
500.92/501.08	c  501s |      24 |  5277816 |  3590862 |    11104    823 |        0 |        0
502.92/503.08	c  503s |      24 |  5306413 |  3610462 |    11104    827 |        0 |        0
504.92/505.09	c  505s |      24 |  5340907 |  3631262 |    11104    830 |        0 |        0
506.92/507.10	c  507s |      24 |  5374159 |  3653262 |    11104    834 |        0 |        0
509.01/509.10	c  509s |      24 |  5406388 |  3672062 |    11104    838 |        0 |        0
511.01/511.10	c  511s |      24 |  5430246 |  3689562 |    11104    841 |        0 |        0
513.01/513.12	c  513s |      24 |  5453083 |  3704762 |    11104    843 |        0 |        0
515.11/515.26	c  515s |      24 |  5463210 |  3712762 |    11104    845 |        0 |        0
517.11/517.29	c  517s |      24 |  5474513 |  3720462 |    11104    846 |        0 |        0
519.12/519.29	c  519s |      24 |  5490079 |  3731662 |    11104    848 |        0 |        0
521.11/521.29	c  521s |      24 |  5526520 |  3752662 |    11104    852 |        0 |        0
523.21/523.30	c  523s |      24 |  5546884 |  3767562 |    11104    854 |        0 |        0
525.21/525.31	c  525s |      24 |  5560405 |  3777062 |    11104    856 |        0 |        0
527.21/527.32	c  527s |      24 |  5569413 |  3783862 |    11104    857 |        0 |        0
529.21/529.34	c  529s |      24 |  5586182 |  3796762 |    11104    859 |        0 |        0
531.21/531.35	c  531s |      24 |  5605865 |  3811462 |    11104    862 |        0 |        0
533.20/533.38	c  533s |      24 |  5634924 |  3828362 |    11104    865 |        0 |        0
535.20/535.38	c  535s |      24 |  5664097 |  3848262 |    11104    868 |        0 |        0
537.20/537.39	c  537s |      24 |  5692611 |  3867062 |    11104    871 |        0 |        0
539.31/539.40	c  539s |      24 |  5718794 |  3884362 |    11104    874 |        0 |        0
541.31/541.40	c  541s |      24 |  5733239 |  3895262 |    11104    876 |        0 |        0
543.32/543.40	c  543s |      24 |  5747031 |  3905962 |    11104    878 |        0 |        0
545.31/545.42	c  545s |      24 |  5758198 |  3914162 |    11104    879 |        0 |        0
547.31/547.45	c  547s |      24 |  5772247 |  3925162 |    11104    881 |        0 |        0
549.31/549.45	c  549s |      24 |  5784969 |  3934462 |    11104    883 |        0 |        0
551.31/551.45	c  551s |      24 |  5797793 |  3944162 |    11104    884 |        0 |        0
553.32/553.46	c  553s |      24 |  5809351 |  3952762 |    11104    886 |        0 |        0
555.41/555.51	c  555s |      24 |  5818238 |  3959462 |    11104    887 |        0 |        0
557.41/557.51	c  557s |      24 |  5840259 |  3975762 |    11104    890 |        0 |        0
559.41/559.54	c  559s |      24 |  5852232 |  3984762 |    11104    891 |        0 |        0
561.51/561.63	c  561s |      24 |  5862690 |  3992462 |    11104    893 |        0 |        0
563.51/563.63	c  563s |      24 |  5887117 |  4008862 |    11104    895 |        0 |        0
565.51/565.64	c  565s |      24 |  5902505 |  4019862 |    11104    897 |        0 |        0
567.51/567.64	c  567s |      24 |  5921104 |  4031962 |    11104    899 |        0 |        0
569.50/569.65	c  569s |      24 |  5937189 |  4043762 |    11104    901 |        0 |        0
571.50/571.66	c  571s |      24 |  5955740 |  4057362 |    11104    903 |        0 |        0
573.50/573.66	c  573s |      24 |  5973307 |  4069462 |    11104    905 |        0 |        0
575.50/575.66	c  575s |      24 |  5993926 |  4083162 |    11104    908 |        0 |        0
577.51/577.67	c  577s |      24 |  6013866 |  4097762 |    11104    910 |        0 |        0
579.50/579.67	c  579s |      24 |  6039579 |  4115162 |    11104    913 |        0 |        0
581.50/581.68	c  581s |      24 |  6069674 |  4134962 |    11104    917 |        0 |        0
583.50/583.68	c  583s |      24 |  6103549 |  4156062 |    11104    920 |        0 |        0
585.50/585.69	c  585s |      24 |  6128734 |  4175162 |    11104    924 |        0 |        0
587.50/587.69	c  587s |      24 |  6167004 |  4193962 |    11104    927 |        0 |        0
589.50/589.70	c  589s |      24 |  6181856 |  4204462 |    11104    929 |        0 |        0
591.60/591.70	c  591s |      24 |  6192222 |  4211862 |    11104    930 |        0 |        0
593.59/593.70	c  593s |      24 |  6227872 |  4232762 |    11104    933 |        0 |        0
595.59/595.72	c  595s |      24 |  6257239 |  4251562 |    11104    937 |        0 |        0
597.60/597.72	c  597s |      24 |  6290155 |  4273562 |    11104    940 |        0 |        0
599.60/599.73	c  599s |      24 |  6321524 |  4290962 |    11104    943 |        0 |        0
601.61/601.74	c  601s |      24 |  6345226 |  4306462 |    11104    946 |        0 |        0
603.70/603.83	c  603s |      24 |  6367172 |  4322362 |    11104    949 |        0 |        0
605.70/605.84	c  605s |      24 |  6389591 |  4339862 |    11104    951 |        0 |        0
607.70/607.85	c  607s |      24 |  6425552 |  4357662 |    11104    955 |        0 |        0
609.70/609.86	c  609s |      24 |  6436817 |  4365862 |    11104    956 |        0 |        0
611.70/611.88	c  611s |      24 |  6448402 |  4374562 |    11104    957 |        0 |        0
613.70/613.88	c  613s |      24 |  6470197 |  4391362 |    11104    960 |        0 |        0
615.70/615.88	c  615s |      24 |  6499629 |  4412362 |    11104    964 |        0 |        0
617.69/617.89	c  617s |      24 |  6524728 |  4429862 |    11104    967 |        0 |        0
619.69/619.89	c  619s |      24 |  6543566 |  4444462 |    11104    969 |        0 |        0
621.79/621.91	c  621s |      24 |  6565484 |  4458262 |    11104    972 |        0 |        0
623.79/623.91	c  623s |      24 |  6580740 |  4469262 |    11104    974 |        0 |        0
625.90/626.02	c  625s |      24 |  6589242 |  4475662 |    11104    975 |        0 |        0
627.89/628.02	c  627s |      24 |  6597567 |  4480962 |    11104    976 |        0 |        0
629.89/630.02	c  629s |      24 |  6604481 |  4486262 |    11104    977 |        0 |        0
631.89/632.03	c  631s |      24 |  6623132 |  4500062 |    11104    979 |        0 |        0
633.89/634.04	c  633s |      24 |  6643845 |  4513562 |    11104    981 |        0 |        0
635.89/636.05	c  635s |      24 |  6655201 |  4521462 |    11104    983 |        0 |        0
637.90/638.05	c  638s |      24 |  6671267 |  4532462 |    11104    984 |        0 |        0
639.90/640.05	c  640s |      24 |  6695285 |  4550462 |    11104    988 |        0 |        0
641.90/642.06	c  642s |      24 |  6726508 |  4565462 |    11104    990 |        0 |        0
643.90/644.06	c  644s |      24 |  6737370 |  4573662 |    11104    991 |        0 |        0
645.89/646.07	c  646s |      24 |  6747273 |  4581262 |    11104    993 |        0 |        0
647.90/648.07	c  648s |      24 |  6764037 |  4593662 |    11104    995 |        0 |        0
649.89/650.08	c  650s |      24 |  6775762 |  4602462 |    11104    996 |        0 |        0
651.89/652.08	c  652s |      24 |  6791734 |  4613262 |    11104    998 |        0 |        0
653.99/654.10	c  654s |      24 |  6804398 |  4622962 |    11104   1000 |        0 |        0
655.99/656.10	c  656s |      24 |  6818200 |  4632962 |    11104   1002 |        0 |        0
657.99/658.10	c  658s |      24 |  6836761 |  4646362 |    11104   1004 |        0 |        0
660.00/660.11	c  660s |      24 |  6862850 |  4661862 |    11104   1006 |        0 |        0
661.99/662.11	c  662s |      24 |  6880531 |  4673762 |    11104   1008 |        0 |        0
663.99/664.12	c  664s |      24 |  6897952 |  4685662 |    11104   1010 |        0 |        0
665.99/666.13	c  666s |      24 |  6909370 |  4694062 |    11104   1012 |        0 |        0
667.99/668.15	c  668s |      24 |  6919967 |  4701662 |    11104   1013 |        0 |        0
669.99/670.16	c  670s |      24 |  6927479 |  4707462 |    11104   1014 |        0 |        0
671.99/672.19	c  672s |      24 |  6934199 |  4712762 |    11104   1015 |        0 |        0
674.19/674.31	c  674s |      24 |  6945773 |  4719962 |    11104   1016 |        0 |        0
676.18/676.32	c  676s |      24 |  6961704 |  4731062 |    11104   1018 |        0 |        0
678.18/678.33	c  678s |      24 |  6980855 |  4744062 |    11104   1020 |        0 |        0
680.18/680.33	c  680s |      24 |  7005499 |  4760762 |    11104   1023 |        0 |        0
682.18/682.34	c  682s |      24 |  7034174 |  4780462 |    11104   1026 |        0 |        0
684.20/684.35	c  684s |      24 |  7049560 |  4792062 |    11104   1028 |        0 |        0
686.19/686.35	c  686s |      24 |  7076385 |  4804562 |    11104   1030 |        0 |        0
688.19/688.36	c  688s |      24 |  7094485 |  4816762 |    11104   1032 |        0 |        0
690.19/690.37	c  690s |      24 |  7108424 |  4826962 |    11104   1034 |        0 |        0
692.19/692.38	c  692s |      24 |  7121885 |  4836362 |    11104   1035 |        0 |        0
694.19/694.38	c  694s |      24 |  7133860 |  4845362 |    11104   1037 |        0 |        0
696.19/696.39	c  696s |      24 |  7147170 |  4855062 |    11104   1038 |        0 |        0
698.28/698.40	c  698s |      24 |  7156062 |  4861662 |    11104   1039 |        0 |        0
700.28/700.43	c  700s |      24 |  7166223 |  4868962 |    11104   1040 |        0 |        0
702.28/702.44	c  702s |      24 |  7176773 |  4875862 |    11104   1042 |        0 |        0
704.28/704.47	c  704s |      24 |  7186799 |  4882362 |    11104   1043 |        0 |        0
706.28/706.47	c  706s |      24 |  7197032 |  4889262 |    11104   1044 |        0 |        0
708.39/708.51	c  708s |      24 |  7205061 |  4894762 |    11104   1045 |        0 |        0
710.38/710.53	c  710s |      24 |  7214418 |  4901362 |    11104   1046 |        0 |        0
712.38/712.54	c  712s |      24 |  7221671 |  4906562 |    11104   1047 |        0 |        0
714.38/714.55	c  714s |      24 |  7234175 |  4915162 |    11104   1048 |        0 |        0
716.38/716.55	c  716s |      24 |  7252987 |  4929162 |    11104   1050 |        0 |        0
718.38/718.56	c  718s |      24 |  7280011 |  4945662 |    11104   1053 |        0 |        0
720.68/720.80	c  720s |      24 |  7292514 |  4954962 |    11104   1055 |        0 |        0
722.78/722.93	c  722s |      24 |  7298570 |  4960162 |    11104   1056 |        0 |        0
724.78/724.93	c  724s |      24 |  7309444 |  4968162 |    11104   1057 |        0 |        0
726.78/726.94	c  726s |      24 |  7320617 |  4976562 |    11104   1058 |        0 |        0
728.78/728.97	c  728s |      24 |  7344543 |  4988962 |    11104   1060 |        0 |        0
730.78/730.99	c  730s |      24 |  7372457 |  5009862 |    11104   1064 |        0 |        0
732.88/733.00	c  732s |      24 |  7405892 |  5028562 |    11104   1067 |        0 |        0
734.88/735.03	c  734s |      24 |  7421954 |  5039562 |    12215   1069 |        0 |        0
736.88/737.03	c  736s |      24 |  7442951 |  5054462 |    12215   1071 |        0 |        0
738.28/738.46	c  738s |      25 |  7458718 |  5065098 |    12215   1072 |        0 |        0
740.28/740.46	c  740s |      25 |  7478459 |  5079398 |    12215   1075 |        0 |        0
742.27/742.47	c  742s |      25 |  7486779 |  5085798 |    12215   1076 |        0 |        0
744.27/744.49	c  744s |      25 |  7498644 |  5095198 |    12215   1077 |        0 |        0
746.27/746.49	c  746s |      25 |  7515413 |  5108098 |    12215   1079 |        0 |        0
748.38/748.50	c  748s |      25 |  7533690 |  5121198 |    12215   1082 |        0 |        0
750.38/750.50	c  750s |      25 |  7551928 |  5134298 |    12215   1084 |        0 |        0
752.38/752.51	c  752s |      25 |  7579988 |  5154098 |    12215   1087 |        0 |        0
754.38/754.51	c  754s |      25 |  7604795 |  5170198 |    12215   1089 |        0 |        0
756.38/756.52	c  756s |      25 |  7627656 |  5184498 |    12215   1092 |        0 |        0
758.37/758.54	c  758s |      25 |  7648382 |  5198898 |    12215   1094 |        0 |        0
760.37/760.55	c  760s |      25 |  7671752 |  5211598 |    12215   1096 |        0 |        0
762.37/762.55	c  762s |      25 |  7690809 |  5224498 |    12215   1098 |        0 |        0
764.38/764.55	c  764s |      25 |  7715578 |  5240898 |    12215   1101 |        0 |        0
766.37/766.58	c  766s |      25 |  7729907 |  5250898 |    12215   1102 |        0 |        0
768.47/768.63	c  768s |      25 |  7741705 |  5259898 |    12215   1104 |        0 |        0
770.47/770.63	c  770s |      25 |  7756360 |  5270698 |    12215   1105 |        0 |        0
772.48/772.65	c  772s |      25 |  7765726 |  5277898 |    12215   1106 |        0 |        0
774.48/774.66	c  774s |      25 |  7773513 |  5284098 |    12215   1107 |        0 |        0
776.48/776.69	c  776s |      25 |  7782568 |  5290598 |    12215   1108 |        0 |        0
778.57/778.71	c  778s |      25 |  7793978 |  5299598 |    12215   1110 |        0 |        0
780.57/780.72	c  780s |      25 |  7808398 |  5309798 |    12215   1111 |        0 |        0
782.57/782.73	c  782s |      25 |  7828358 |  5323898 |    12215   1114 |        0 |        0
784.57/784.74	c  784s |      25 |  7856330 |  5342898 |    12215   1117 |        0 |        0
786.57/786.74	c  786s |      25 |  7885863 |  5365598 |    12215   1120 |        0 |        0
788.58/788.74	c  788s |      25 |  7913364 |  5384098 |    12215   1123 |        0 |        0
790.57/790.74	c  790s |      25 |  7927537 |  5394198 |    12215   1125 |        0 |        0
792.57/792.79	c  792s |      25 |  7936835 |  5400898 |    12215   1126 |        0 |        0
794.67/794.81	c  794s |      25 |  7953503 |  5413298 |    12215   1128 |        0 |        0
796.77/796.96	c  796s |      25 |  7962733 |  5420698 |    12215   1129 |        0 |        0
799.77/799.91	c  799s |      25 |  7977096 |  5431098 |    12215   1131 |        0 |        0
801.78/801.92	c  801s |      25 |  7990850 |  5440898 |    12215   1132 |        0 |        0
803.77/803.92	c  803s |      25 |  8003388 |  5450198 |    12215   1134 |        0 |        0
805.77/805.94	c  805s |      25 |  8016923 |  5460398 |    12215   1135 |        0 |        0
807.77/807.97	c  807s |      25 |  8027794 |  5468198 |    12215   1137 |        0 |        0
809.77/809.99	c  809s |      25 |  8037895 |  5475798 |    12215   1138 |        0 |        0
811.86/812.01	c  811s |      25 |  8047042 |  5482698 |    12215   1139 |        0 |        0
813.87/814.06	c  814s |      25 |  8055775 |  5489398 |    12215   1140 |        0 |        0
815.86/816.07	c  816s |      25 |  8074941 |  5501398 |    12215   1142 |        0 |        0
817.86/818.07	c  818s |      25 |  8101502 |  5520498 |    12215   1145 |        0 |        0
819.86/820.07	c  820s |      25 |  8127683 |  5537498 |    12215   1148 |        0 |        0
821.86/822.07	c  822s |      25 |  8159411 |  5561298 |    12215   1151 |        0 |        0
823.87/824.08	c  824s |      25 |  8191090 |  5581098 |    12215   1155 |        0 |        0
825.86/826.08	c  826s |      25 |  8217211 |  5597998 |    12215   1157 |        0 |        0
827.86/828.09	c  828s |      25 |  8234997 |  5610398 |    12215   1159 |        0 |        0
829.96/830.10	c  830s |      25 |  8245626 |  5617698 |    12215   1160 |        0 |        0
832.16/832.35	c  832s |      25 |  8255570 |  5624898 |    12215   1162 |        0 |        0
834.17/834.36	c  834s |      25 |  8279916 |  5637798 |    12215   1164 |        0 |        0
836.27/836.46	c  836s |      25 |  8290113 |  5645698 |    12215   1165 |        0 |        0
838.27/838.47	c  838s |      25 |  8307275 |  5659098 |    12215   1167 |        0 |        0
840.27/840.49	c  840s |      25 |  8317879 |  5667198 |    12215   1168 |        0 |        0
842.37/842.57	c  842s |      25 |  8338088 |  5682798 |    12215   1171 |        0 |        0
844.37/844.59	c  844s |      25 |  8353660 |  5694098 |    12215   1173 |        0 |        0
846.47/846.60	c  846s |      25 |  8367801 |  5704998 |    12215   1174 |        0 |        0
848.47/848.62	c  848s |      25 |  8385728 |  5718098 |    12215   1177 |        0 |        0
850.46/850.63	c  850s |      25 |  8401695 |  5729398 |    12215   1178 |        0 |        0
852.47/852.64	c  852s |      25 |  8412014 |  5737298 |    12215   1180 |        0 |        0
854.46/854.64	c  854s |      25 |  8420542 |  5743698 |    12215   1181 |        0 |        0
856.56/856.77	c  856s |      25 |  8429760 |  5750798 |    12215   1182 |        0 |        0
858.56/858.79	c  858s |      25 |  8441269 |  5759598 |    12215   1183 |        0 |        0
860.66/860.81	c  860s |      25 |  8450812 |  5766798 |    12215   1184 |        0 |        0
862.66/862.83	c  862s |      25 |  8461929 |  5775098 |    12215   1186 |        0 |        0
864.66/864.84	c  864s |      25 |  8470721 |  5781798 |    12215   1187 |        0 |        0
866.76/866.91	c  866s |      25 |  8477948 |  5787098 |    12215   1188 |        0 |        0
868.76/868.91	c  868s |      25 |  8492664 |  5795398 |    12215   1189 |        0 |        0
870.76/870.91	c  870s |      25 |  8521433 |  5815998 |    12215   1192 |        0 |        0
872.76/872.92	c  872s |      25 |  8538045 |  5828198 |    12215   1194 |        0 |        0
874.75/874.92	c  874s |      25 |  8554975 |  5840698 |    12215   1196 |        0 |        0
876.75/876.93	c  876s |      25 |  8566145 |  5849298 |    12215   1198 |        0 |        0
878.76/878.93	c  878s |      25 |  8594333 |  5860998 |    12215   1200 |        0 |        0
880.75/880.93	c  880s |      25 |  8619240 |  5876498 |    12215   1202 |        0 |        0
882.75/882.93	c  882s |      25 |  8641861 |  5892298 |    12215   1204 |        0 |        0
884.75/884.94	c  884s |      25 |  8664806 |  5907498 |    12215   1207 |        0 |        0
886.75/886.96	c  886s |      25 |  8679981 |  5918798 |    12215   1209 |        0 |        0
888.76/888.97	c  888s |      25 |  8693389 |  5928898 |    12215   1210 |        0 |        0
890.75/891.00	c  890s |      25 |  8702344 |  5936198 |    12215   1211 |        0 |        0
892.86/893.01	c  892s |      25 |  8711305 |  5942098 |    12215   1212 |        0 |        0
894.86/895.02	c  894s |      25 |  8722828 |  5951398 |    12215   1214 |        0 |        0
896.86/897.02	c  896s |      25 |  8746292 |  5965998 |    12215   1216 |        0 |        0
898.85/899.02	c  898s |      25 |  8772648 |  5985298 |    12215   1219 |        0 |        0
900.86/901.03	c  900s |      25 |  8796551 |  6001698 |    12215   1222 |        0 |        0
902.85/903.04	c  902s |      25 |  8805896 |  6009098 |    12215   1223 |        0 |        0
904.85/905.04	c  904s |      25 |  8814841 |  6016198 |    12215   1224 |        0 |        0
906.85/907.05	c  907s |      25 |  8841120 |  6033598 |    12215   1227 |        0 |        0
908.85/909.06	c  909s |      25 |  8853755 |  6043698 |    12215   1229 |        0 |        0
910.95/911.10	c  911s |      25 |  8881716 |  6061498 |    12215   1232 |        0 |        0
912.96/913.12	c  913s |      25 |  8905299 |  6078298 |    12215   1234 |        0 |        0
914.95/915.13	c  915s |      25 |  8925885 |  6092998 |    12215   1237 |        0 |        0
916.95/917.13	c  917s |      25 |  8940428 |  6103298 |    12215   1238 |        0 |        0
918.95/919.16	c  919s |      25 |  8953025 |  6112498 |    12215   1240 |        0 |        0
920.95/921.17	c  921s |      25 |  8973252 |  6126898 |    12215   1242 |        0 |        0
922.95/923.18	c  923s |      25 |  8988416 |  6137898 |    12215   1244 |        0 |        0
924.96/925.19	c  925s |      25 |  8997389 |  6144398 |    12215   1245 |        0 |        0
926.95/927.19	c  927s |      25 |  9005424 |  6151098 |    12215   1246 |        0 |        0
929.05/929.20	c  929s |      25 |  9012064 |  6156598 |    12215   1247 |        0 |        0
931.05/931.21	c  931s |      25 |  9019205 |  6161998 |    12215   1248 |        0 |        0
933.05/933.23	c  933s |      25 |  9028363 |  6168898 |    12215   1249 |        0 |        0
935.05/935.24	c  935s |      25 |  9036232 |  6175398 |    12215   1250 |        0 |        0
937.05/937.24	c  937s |      25 |  9044509 |  6181698 |    12215   1251 |        0 |        0
939.05/939.24	c  939s |      25 |  9057971 |  6191098 |    12215   1252 |        0 |        0
941.04/941.25	c  941s |      25 |  9077141 |  6204898 |    12215   1255 |        0 |        0
943.04/943.27	c  943s |      25 |  9086673 |  6212198 |    12215   1256 |        0 |        0
945.04/945.29	c  945s |      25 |  9094644 |  6218298 |    12215   1257 |        0 |        0
947.05/947.29	c  947s |      25 |  9102672 |  6224198 |    12215   1258 |        0 |        0
949.05/949.30	c  949s |      25 |  9117639 |  6234198 |    12215   1259 |        0 |        0
951.15/951.30	c  951s |      25 |  9127486 |  6240998 |    12215   1260 |        0 |        0
953.14/953.32	c  953s |      25 |  9135133 |  6246298 |    12215   1261 |        0 |        0
955.14/955.33	c  955s |      25 |  9144401 |  6252698 |    12215   1262 |        0 |        0
957.24/957.46	c  957s |      25 |  9154972 |  6260398 |    12215   1264 |        0 |        0
959.24/959.46	c  959s |      25 |  9170057 |  6271698 |    12215   1265 |        0 |        0
961.25/961.49	c  961s |      25 |  9194153 |  6284098 |    12215   1267 |        0 |        0
963.35/963.50	c  963s |      25 |  9223621 |  6299198 |    12215   1270 |        0 |        0
965.35/965.50	c  965s |      25 |  9236056 |  6308798 |    12215   1271 |        0 |        0
967.35/967.51	c  967s |      25 |  9247551 |  6317398 |    12215   1273 |        0 |        0
969.34/969.52	c  969s |      25 |  9264284 |  6328798 |    12215   1275 |        0 |        0
971.34/971.53	c  971s |      25 |  9287970 |  6342198 |    12215   1277 |        0 |        0
973.35/973.54	c  973s |      25 |  9312261 |  6360698 |    12215   1280 |        0 |        0
975.34/975.54	c  975s |      25 |  9340458 |  6379898 |    12215   1283 |        0 |        0
977.34/977.58	c  977s |      25 |  9358045 |  6392198 |    12215   1285 |        0 |        0
979.44/979.60	c  979s |      25 |  9385869 |  6411298 |    12215   1288 |        0 |        0
981.44/981.61	c  981s |      25 |  9410121 |  6428498 |    12215   1290 |        0 |        0
983.44/983.62	c  983s |      25 |  9432905 |  6445998 |    12215   1293 |        0 |        0
985.74/985.95	c  985s |      25 |  9459446 |  6461898 |    12215   1296 |        0 |        0
987.84/988.00	c  987s |      25 |  9475823 |  6474098 |    12215   1297 |        0 |        0
989.74/990.00	c  989s |      25 |  9495129 |  6488598 |    12215   1300 |        0 |        0
991.84/992.01	c  991s |      25 |  9520990 |  6505998 |    12215   1303 |        0 |        0
993.84/994.04	c  993s |      25 |  9534228 |  6516198 |    12215   1304 |        0 |        0
995.83/996.06	c  996s |      25 |  9543508 |  6523398 |    12215   1305 |        0 |        0
997.83/998.07	c  998s |      25 |  9552820 |  6529998 |    12215   1306 |        0 |        0
999.84/1000.08	c 1000s |      25 |  9581827 |  6543898 |    12215   1309 |        0 |        0
1001.83/1002.09	c 1002s |      25 |  9603668 |  6560698 |    12215   1311 |        0 |        0
1003.93/1004.11	c 1004s |      25 |  9624399 |  6572998 |    12215   1313 |        0 |        0
1005.93/1006.12	c 1006s |      25 |  9643727 |  6587198 |    12215   1316 |        0 |        0
1007.93/1008.15	c 1008s |      25 |  9658447 |  6597998 |    12215   1317 |        0 |        0
1009.94/1010.17	c 1010s |      25 |  9667492 |  6604698 |    12215   1318 |        0 |        0
1011.95/1012.18	c 1012s |      25 |  9683016 |  6616498 |    12215   1320 |        0 |        0
1014.04/1014.21	c 1014s |      25 |  9696437 |  6626598 |    12215   1322 |        0 |        0
1016.04/1016.23	c 1016s |      25 |  9711269 |  6636798 |    12215   1323 |        0 |        0
1018.04/1018.24	c 1018s |      25 |  9732448 |  6652698 |    12215   1326 |        0 |        0
1020.04/1020.25	c 1020s |      25 |  9757073 |  6668698 |    12215   1328 |        0 |        0
1022.04/1022.26	c 1022s |      25 |  9772268 |  6680198 |    12215   1330 |        0 |        0
1024.04/1024.27	c 1024s |      25 |  9781908 |  6687598 |    12215   1331 |        0 |        0
1026.04/1026.28	c 1026s |      25 |  9795820 |  6697798 |    12215   1333 |        0 |        0
1028.03/1028.28	c 1028s |      25 |  9823371 |  6717398 |    12215   1336 |        0 |        0
1030.03/1030.29	c 1030s |      25 |  9837926 |  6728598 |    12215   1338 |        0 |        0
1032.13/1032.30	c 1032s |      25 |  9847423 |  6735598 |    12215   1339 |        0 |        0
1034.13/1034.30	c 1034s |      25 |  9868955 |  6748998 |    12215   1341 |        0 |        0
1036.14/1036.31	c 1036s |      25 |  9889774 |  6764698 |    12215   1344 |        0 |        0
1038.13/1038.31	c 1038s |      25 |  9902490 |  6774898 |    12215   1345 |        0 |        0
1040.13/1040.37	c 1040s |      25 |  9911276 |  6781698 |    12215   1347 |        0 |        0
1042.13/1042.39	c 1042s |      25 |  9921544 |  6789198 |    12215   1348 |        0 |        0
1044.23/1044.40	c 1044s |      25 |  9932617 |  6797198 |    12215   1349 |        0 |        0
1046.23/1046.42	c 1046s |      25 |  9942752 |  6804698 |    12215   1350 |        0 |        0
1048.23/1048.42	c 1048s |      25 |  9953716 |  6812698 |    12215   1352 |        0 |        0
1050.23/1050.43	c 1050s |      25 |  9965880 |  6821398 |    12215   1353 |        0 |        0
1052.23/1052.49	c 1052s |      25 |  9977505 |  6830598 |    12215   1355 |        0 |        0
1054.32/1054.51	c 1054s |      25 |  9990683 |  6840298 |    12215   1356 |        0 |        0
1056.32/1056.52	c 1056s |      25 | 10012641 |  6852598 |    12215   1358 |        0 |        0
1058.33/1058.52	c 1058s |      25 | 10034712 |  6868298 |    12215   1361 |        0 |        0
1060.34/1060.53	c 1060s |      25 | 10054876 |  6883798 |    12215   1363 |        0 |        0
1062.33/1062.53	c 1062s |      25 | 10081500 |  6902898 |    12215   1366 |        0 |        0
1064.33/1064.54	c 1064s |      25 | 10109628 |  6922298 |    12215   1369 |        0 |        0
1066.43/1066.64	c 1066s |      25 | 10140664 |  6943198 |    12215   1373 |        0 |        0
1068.43/1068.64	c 1068s |      25 | 10170304 |  6964898 |    12215   1376 |        0 |        0
1070.43/1070.64	c 1070s |      25 | 10198915 |  6986398 |    12215   1380 |        0 |        0
1072.43/1072.64	c 1072s |      25 | 10225715 |  7006098 |    12215   1383 |        0 |        0
1074.43/1074.64	c 1074s |      25 | 10262536 |  7025798 |    12215   1386 |        0 |        0
1076.42/1076.65	c 1076s |      25 | 10291372 |  7047898 |    12215   1390 |        0 |        0
1078.42/1078.66	c 1078s |      25 | 10318377 |  7066598 |    12215   1393 |        0 |        0
1080.42/1080.68	c 1080s |      25 | 10339732 |  7082198 |    12215   1395 |        0 |        0
1082.53/1082.77	c 1082s |      25 | 10359717 |  7096198 |    12215   1397 |        0 |        0
1084.54/1084.77	c 1084s |      25 | 10375796 |  7108298 |    12215   1399 |        0 |        0
1086.53/1086.78	c 1086s |      25 | 10400808 |  7122098 |    12215   1401 |        0 |        0
1088.53/1088.78	c 1088s |      25 | 10425563 |  7137098 |    12215   1404 |        0 |        0
1090.53/1090.79	c 1090s |      25 | 10462195 |  7156198 |    12215   1407 |        0 |        0
1092.53/1092.79	c 1092s |      25 | 10488373 |  7174398 |    12215   1410 |        0 |        0
1094.63/1094.80	c 1094s |      25 | 10511330 |  7191798 |    12215   1413 |        0 |        0
1096.53/1096.80	c 1096s |      25 | 10541512 |  7210698 |    12215   1416 |        0 |        0
1098.63/1098.81	c 1098s |      25 | 10572722 |  7233298 |    12215   1419 |        0 |        0
1100.62/1100.82	c 1100s |      25 | 10595111 |  7246798 |    12215   1422 |        0 |        0
1102.62/1102.84	c 1102s |      25 | 10608084 |  7256498 |    12215   1423 |        0 |        0
1104.62/1104.85	c 1104s |      25 | 10626525 |  7269798 |    12215   1425 |        0 |        0
1106.62/1106.85	c 1106s |      25 | 10642113 |  7280898 |    12215   1427 |        0 |        0
1108.63/1108.87	c 1108s |      25 | 10650720 |  7286998 |    12215   1428 |        0 |        0
1110.62/1110.87	c 1110s |      25 | 10662016 |  7295098 |    12215   1429 |        0 |        0
1112.72/1112.95	c 1112s |      25 | 10681924 |  7310598 |    12215   1432 |        0 |        0
1114.82/1115.06	c 1115s |      25 | 10706197 |  7327498 |    12215   1434 |        0 |        0
1116.82/1117.06	c 1117s |      25 | 10742286 |  7350598 |    12215   1438 |        0 |        0
1118.82/1119.06	c 1119s |      25 | 10769417 |  7368998 |    12215   1441 |        0 |        0
1120.83/1121.06	c 1121s |      25 | 10792429 |  7387398 |    12215   1444 |        0 |        0
1122.82/1123.07	c 1123s |      25 | 10821437 |  7405798 |    12215   1447 |        0 |        0
1124.82/1125.07	c 1125s |      25 | 10841739 |  7420098 |    12215   1449 |        0 |        0
1126.82/1127.08	c 1127s |      25 | 10872252 |  7442598 |    12215   1453 |        0 |        0
1128.82/1129.09	c 1129s |      25 | 10911855 |  7461298 |    12215   1456 |        0 |        0
1130.82/1131.09	c 1131s |      25 | 10932543 |  7476298 |    12215   1458 |        0 |        0
1132.92/1133.11	c 1133s |      25 | 10943751 |  7484398 |    12215   1460 |        0 |        0
1134.91/1135.13	c 1135s |      25 | 10956090 |  7493098 |    12215   1461 |        0 |        0
1136.91/1137.13	c 1137s |      25 | 10971062 |  7504698 |    12215   1463 |        0 |        0
1138.91/1139.13	c 1139s |      25 | 10992228 |  7521198 |    12215   1466 |        0 |        0
1140.91/1141.14	c 1141s |      25 | 11025223 |  7534598 |    12215   1467 |        0 |        0
1142.91/1143.16	c 1143s |      25 | 11036552 |  7543298 |    12215   1469 |        0 |        0
1144.92/1145.17	c 1145s |      25 | 11046616 |  7550698 |    13437   1470 |        0 |        0
1147.31/1147.56	c 1147s |      25 | 11056632 |  7557998 |    13437   1471 |        0 |        0
1149.32/1149.58	c 1149s |      25 | 11065878 |  7564998 |    13437   1472 |        0 |        0
1151.31/1151.58	c 1151s |      25 | 11089026 |  7581498 |    13437   1474 |        0 |        0
1152.81/1153.08	c 1153s |      26 | 11121276 |  7597752 |    13437   1476 |        0 |        0
1154.82/1155.09	c 1155s |      26 | 11137814 |  7609852 |    13437   1478 |        0 |        0
1156.91/1157.15	c 1157s |      26 | 11155949 |  7623352 |    13437   1480 |        0 |        0
1158.91/1159.16	c 1159s |      26 | 11183324 |  7640552 |    13437   1483 |        0 |        0
1160.91/1161.17	c 1161s |      26 | 11203816 |  7654352 |    13437   1485 |        0 |        0
1163.01/1163.21	c 1163s |      26 | 11227766 |  7672852 |    13437   1488 |        0 |        0
1165.01/1165.21	c 1165s |      26 | 11256494 |  7693552 |    13437   1491 |        0 |        0
1167.01/1167.22	c 1167s |      26 | 11284009 |  7710852 |    13437   1493 |        0 |        0
1169.01/1169.22	c 1169s |      26 | 11302888 |  7724252 |    13437   1495 |        0 |        0
1171.01/1171.24	c 1171s |      26 | 11328901 |  7740952 |    13437   1497 |        0 |        0
1173.01/1173.25	c 1173s |      26 | 11344253 |  7753352 |    13437   1499 |        0 |        0
1175.02/1175.27	c 1175s |      26 | 11362280 |  7767152 |    13437   1501 |        0 |        0
1177.02/1177.29	c 1177s |      26 | 11387793 |  7781352 |    13437   1503 |        0 |        0
1179.02/1179.29	c 1179s |      26 | 11406572 |  7795552 |    13437   1505 |        0 |        0
1181.01/1181.29	c 1181s |      26 | 11433558 |  7814052 |    13437   1508 |        0 |        0
1183.01/1183.29	c 1183s |      26 | 11465957 |  7835952 |    13437   1511 |        0 |        0
1185.11/1185.30	c 1185s |      26 | 11495935 |  7857952 |    13437   1514 |        0 |        0
1187.11/1187.32	c 1187s |      26 | 11517168 |  7873452 |    13437   1517 |        0 |        0
1189.11/1189.33	c 1189s |      26 | 11537266 |  7888752 |    13437   1519 |        0 |        0
1191.12/1191.33	c 1191s |      26 | 11565785 |  7904852 |    13437   1521 |        0 |        0
1193.11/1193.34	c 1193s |      26 | 11604912 |  7926452 |    13437   1524 |        0 |        0
1195.11/1195.34	c 1195s |      26 | 11637862 |  7949952 |    13437   1528 |        0 |        0
1197.11/1197.35	c 1197s |      26 | 11670119 |  7971052 |    13437   1531 |        0 |        0
1199.21/1199.46	c 1199s |      26 | 11708497 |  7990952 |    13437   1534 |        0 |        0
1201.21/1201.47	c 1201s |      26 | 11738927 |  8010152 |    13437   1537 |        0 |        0
1203.21/1203.48	c 1203s |      26 | 11764149 |  8029752 |    13437   1540 |        0 |        0
1205.20/1205.48	c 1205s |      26 | 11798449 |  8050152 |    13437   1543 |        0 |        0
1207.20/1207.48	c 1207s |      26 | 11835481 |  8072652 |    13437   1546 |        0 |        0
1209.20/1209.49	c 1209s |      26 | 11864380 |  8090152 |    13437   1548 |        0 |        0
1211.20/1211.49	c 1211s |      26 | 11898864 |  8110652 |    13437   1551 |        0 |        0
1213.30/1213.50	c 1213s |      26 | 11924595 |  8130352 |    13437   1554 |        0 |        0
1215.31/1215.50	c 1215s |      26 | 11947937 |  8148152 |    13437   1557 |        0 |        0
1217.30/1217.51	c 1217s |      26 | 11981426 |  8172152 |    13437   1560 |        0 |        0
1219.30/1219.52	c 1219s |      26 | 12014450 |  8192552 |    13437   1563 |        0 |        0
1221.31/1221.52	c 1221s |      26 | 12028888 |  8204052 |    13437   1565 |        0 |        0
1223.31/1223.54	c 1223s |      26 | 12038127 |  8211252 |    13437   1566 |        0 |        0
1225.51/1225.75	c 1225s |      26 | 12045049 |  8216952 |    13437   1567 |        0 |        0
1227.51/1227.76	c 1227s |      26 | 12074938 |  8237852 |    13437   1570 |        0 |        0
1229.51/1229.79	c 1229s |      26 | 12095079 |  8252952 |    13437   1572 |        0 |        0
1231.61/1231.81	c 1231s |      26 | 12104743 |  8260952 |    13437   1573 |        0 |        0
1233.61/1233.81	c 1233s |      26 | 12113184 |  8267552 |    13437   1574 |        0 |        0
1235.61/1235.84	c 1235s |      26 | 12121892 |  8274252 |    13437   1575 |        0 |        0
1237.60/1237.84	c 1237s |      26 | 12144129 |  8290452 |    13437   1577 |        0 |        0
1239.61/1239.85	c 1239s |      26 | 12160477 |  8303352 |    13437   1579 |        0 |        0
1241.60/1241.86	c 1241s |      26 | 12172450 |  8311752 |    13437   1580 |        0 |        0
1243.60/1243.87	c 1243s |      26 | 12188082 |  8322552 |    13437   1582 |        0 |        0
1245.60/1245.89	c 1245s |      26 | 12217485 |  8340152 |    13437   1585 |        0 |        0
1247.60/1247.89	c 1247s |      26 | 12227081 |  8347752 |    13437   1586 |        0 |        0
1249.70/1249.92	c 1249s |      26 | 12235906 |  8354352 |    13437   1587 |        0 |        0
1251.71/1251.96	c 1251s |      26 | 12258627 |  8367652 |    13437   1589 |        0 |        0
1253.70/1253.97	c 1253s |      26 | 12283031 |  8385452 |    13437   1591 |        0 |        0
1255.70/1255.98	c 1255s |      26 | 12317071 |  8408452 |    13437   1595 |        0 |        0
1257.70/1257.99	c 1257s |      26 | 12350361 |  8431552 |    13437   1598 |        0 |        0
1259.70/1259.99	c 1259s |      26 | 12377158 |  8450052 |    13437   1601 |        0 |        0
1261.70/1261.99	c 1261s |      26 | 12405481 |  8470252 |    13437   1604 |        0 |        0
1263.70/1264.00	c 1263s |      26 | 12428740 |  8488352 |    13437   1606 |        0 |        0
1265.79/1266.01	c 1265s |      26 | 12462526 |  8510952 |    13437   1610 |        0 |        0
1267.79/1268.01	c 1267s |      26 | 12492622 |  8533252 |    13437   1613 |        0 |        0
1269.79/1270.01	c 1269s |      26 | 12520274 |  8551552 |    13437   1616 |        0 |        0
1271.89/1272.19	c 1272s |      26 | 12531531 |  8560452 |    13437   1617 |        0 |        0
1273.89/1274.19	c 1274s |      26 | 12559735 |  8571152 |    13437   1618 |        0 |        0
1275.99/1276.20	c 1276s |      26 | 12578078 |  8584452 |    13437   1620 |        0 |        0
1278.00/1278.20	c 1278s |      26 | 12591074 |  8593852 |    13437   1622 |        0 |        0
1279.99/1280.21	c 1280s |      26 | 12602536 |  8600952 |    13437   1623 |        0 |        0
1281.99/1282.21	c 1282s |      26 | 12611470 |  8606652 |    13437   1623 |        0 |        0
1283.99/1284.22	c 1284s |      26 | 12622600 |  8613852 |    13437   1624 |        0 |        0
1286.00/1286.23	c 1286s |      26 | 12634056 |  8621452 |    13437   1625 |        0 |        0
1288.00/1288.25	c 1288s |      26 | 12645397 |  8629052 |    13437   1626 |        0 |        0
1290.00/1290.27	c 1290s |      26 | 12657780 |  8636152 |    13437   1627 |        0 |        0
1291.99/1292.27	c 1292s |      26 | 12668704 |  8643152 |    13437   1628 |        0 |        0
1294.09/1294.32	c 1294s |      26 | 12678034 |  8649952 |    13437   1629 |        0 |        0
1296.09/1296.32	c 1296s |      26 | 12689410 |  8657852 |    13437   1631 |        0 |        0
1298.09/1298.33	c 1298s |      26 | 12721399 |  8671452 |    13437   1633 |        0 |        0
1300.10/1300.35	c 1300s |      26 | 12741969 |  8686152 |    13437   1635 |        0 |        0
1302.09/1302.35	c 1302s |      26 | 12754689 |  8695852 |    13437   1636 |        0 |        0
1304.09/1304.35	c 1304s |      26 | 12769251 |  8706552 |    13437   1638 |        0 |        0
1306.09/1306.37	c 1306s |      26 | 12780392 |  8714852 |    13437   1639 |        0 |        0
1308.09/1308.38	c 1308s |      26 | 12790733 |  8722552 |    13437   1640 |        0 |        0
1310.19/1310.40	c 1310s |      26 | 12799194 |  8728852 |    13437   1641 |        0 |        0
1312.20/1312.42	c 1312s |      26 | 12811390 |  8737552 |    13437   1642 |        0 |        0
1314.19/1314.42	c 1314s |      26 | 12821124 |  8745152 |    13437   1643 |        0 |        0
1316.19/1316.44	c 1316s |      26 | 12831149 |  8752452 |    13437   1645 |        0 |        0
1318.19/1318.46	c 1318s |      26 | 12840644 |  8759152 |    13437   1646 |        0 |        0
1320.19/1320.47	c 1320s |      26 | 12850038 |  8766052 |    13437   1647 |        0 |        0
1322.19/1322.48	c 1322s |      26 | 12860524 |  8774152 |    13437   1648 |        0 |        0
1324.19/1324.49	c 1324s |      26 | 12870067 |  8780952 |    13437   1649 |        0 |        0
1326.28/1326.51	c 1326s |      26 | 12879833 |  8788252 |    13437   1650 |        0 |        0
1328.28/1328.51	c 1328s |      26 | 12889151 |  8795252 |    13437   1651 |        0 |        0
1330.28/1330.53	c 1330s |      26 | 12898074 |  8801952 |    13437   1652 |        0 |        0
1332.48/1332.72	c 1332s |      26 | 12904380 |  8806552 |    13437   1653 |        0 |        0
1334.48/1334.73	c 1334s |      26 | 12913699 |  8813252 |    13437   1654 |        0 |        0
1336.58/1336.80	c 1336s |      26 | 12923032 |  8819952 |    13437   1655 |        0 |        0
1338.59/1338.81	c 1338s |      26 | 12931763 |  8826652 |    13437   1656 |        0 |        0
1340.58/1340.88	c 1340s |      26 | 12941170 |  8833452 |    13437   1657 |        0 |        0
1342.68/1342.91	c 1342s |      26 | 12950317 |  8839852 |    13437   1657 |        0 |        0
1344.68/1344.91	c 1344s |      26 | 12958472 |  8845352 |    13437   1658 |        0 |        0
1346.69/1346.92	c 1346s |      26 | 12968436 |  8852752 |    13437   1659 |        0 |        0
1348.69/1348.92	c 1348s |      26 | 12985498 |  8865352 |    13437   1661 |        0 |        0
1350.79/1351.06	c 1351s |      26 | 13005664 |  8878752 |    13437   1663 |        0 |        0
1352.79/1353.06	c 1353s |      26 | 13034401 |  8899052 |    13437   1666 |        0 |        0
1354.79/1355.07	c 1355s |      26 | 13066034 |  8916852 |    13437   1669 |        0 |        0
1356.79/1357.08	c 1357s |      26 | 13093180 |  8935152 |    13437   1671 |        0 |        0
1358.79/1359.09	c 1359s |      26 | 13110118 |  8948152 |    13437   1673 |        0 |        0
1360.89/1361.10	c 1361s |      26 | 13134652 |  8964652 |    13437   1676 |        0 |        0
1362.88/1363.10	c 1363s |      26 | 13150419 |  8976352 |    13437   1677 |        0 |        0
1364.89/1365.12	c 1365s |      26 | 13167537 |  8988852 |    13437   1679 |        0 |        0
1366.98/1367.29	c 1367s |      26 | 13187916 |  8999452 |    13437   1681 |        0 |        0
1368.98/1369.29	c 1369s |      26 | 13213699 |  9018352 |    13437   1684 |        0 |        0
1371.08/1371.30	c 1371s |      26 | 13226034 |  9029352 |    13437   1685 |        0 |        0
1373.08/1373.31	c 1373s |      26 | 13240557 |  9040352 |    13437   1687 |        0 |        0
1375.08/1375.32	c 1375s |      26 | 13265047 |  9059852 |    13437   1690 |        0 |        0
1377.08/1377.32	c 1377s |      26 | 13299033 |  9082052 |    13437   1693 |        0 |        0
1379.08/1379.32	c 1379s |      26 | 13317171 |  9094352 |    13437   1695 |        0 |        0
1381.08/1381.34	c 1381s |      26 | 13337224 |  9106752 |    13437   1696 |        0 |        0
1383.08/1383.35	c 1383s |      26 | 13347342 |  9114352 |    13437   1698 |        0 |        0
1385.08/1385.38	c 1385s |      26 | 13357005 |  9121352 |    13437   1699 |        0 |        0
1387.07/1387.38	c 1387s |      26 | 13374959 |  9132852 |    13437   1700 |        0 |        0
1389.08/1389.40	c 1389s |      26 | 13399183 |  9149152 |    13437   1703 |        0 |        0
1391.17/1391.41	c 1391s |      26 | 13413672 |  9160252 |    13437   1704 |        0 |        0
1393.18/1393.43	c 1393s |      26 | 13427430 |  9170052 |    13437   1706 |        0 |        0
1395.18/1395.43	c 1395s |      26 | 13451694 |  9182952 |    13437   1708 |        0 |        0
1397.28/1397.51	c 1397s |      26 | 13460534 |  9189752 |    13437   1709 |        0 |        0
1399.28/1399.52	c 1399s |      26 | 13470817 |  9198152 |    13437   1710 |        0 |        0
1401.68/1401.97	c 1401s |      26 | 13489862 |  9211252 |    13437   1712 |        0 |        0
1403.68/1403.97	c 1403s |      26 | 13506628 |  9224252 |    13437   1714 |        0 |        0
1405.68/1405.98	c 1405s |      26 | 13532941 |  9242952 |    13437   1716 |        0 |        0
1407.68/1407.98	c 1407s |      26 | 13557097 |  9261852 |    13437   1719 |        0 |        0
1409.68/1409.98	c 1409s |      26 | 13587000 |  9280952 |    13437   1722 |        0 |        0
1411.67/1411.99	c 1411s |      26 | 13619696 |  9300952 |    13437   1725 |        0 |        0
1413.77/1414.00	c 1413s |      26 | 13654273 |  9324052 |    13437   1728 |        0 |        0
1415.77/1416.01	c 1415s |      26 | 13684419 |  9346652 |    13437   1731 |        0 |        0
1417.78/1418.01	c 1417s |      26 | 13707081 |  9361852 |    13437   1734 |        0 |        0
1419.77/1420.02	c 1419s |      26 | 13737090 |  9380752 |    13437   1736 |        0 |        0
1421.77/1422.02	c 1421s |      26 | 13753199 |  9393152 |    13437   1738 |        0 |        0
1423.77/1424.03	c 1423s |      26 | 13777006 |  9410452 |    13437   1741 |        0 |        0
1425.77/1426.03	c 1425s |      26 | 13801218 |  9426752 |    13437   1743 |        0 |        0
1427.77/1428.03	c 1427s |      26 | 13826468 |  9445652 |    13437   1746 |        0 |        0
1429.78/1430.04	c 1429s |      26 | 13854309 |  9463252 |    13437   1748 |        0 |        0
1431.87/1432.13	c 1432s |      26 | 13872252 |  9477552 |    13437   1751 |        0 |        0
1433.87/1434.16	c 1434s |      26 | 13892326 |  9490152 |    13437   1752 |        0 |        0
1435.87/1436.16	c 1436s |      26 | 13922778 |  9510252 |    13437   1755 |        0 |        0
1437.87/1438.17	c 1438s |      26 | 13950390 |  9531252 |    13437   1758 |        0 |        0
1439.87/1440.19	c 1440s |      26 | 13971652 |  9543852 |    13437   1760 |        0 |        0
1441.87/1442.20	c 1442s |      26 | 13982482 |  9551752 |    13437   1761 |        0 |        0
1444.08/1444.38	c 1444s |      26 | 13998813 |  9563252 |    13437   1763 |        0 |        0
1446.07/1446.39	c 1446s |      26 | 14033091 |  9585352 |    13437   1766 |        0 |        0
1448.17/1448.40	c 1448s |      26 | 14054014 |  9600552 |    13437   1768 |        0 |        0
1450.17/1450.43	c 1450s |      26 | 14069758 |  9612952 |    13437   1770 |        0 |        0
1452.17/1452.44	c 1452s |      26 | 14092321 |  9629652 |    13437   1773 |        0 |        0
1454.17/1454.44	c 1454s |      26 | 14114325 |  9642552 |    13437   1775 |        0 |        0
1456.18/1456.44	c 1456s |      26 | 14138814 |  9659752 |    13437   1777 |        0 |        0
1458.17/1458.45	c 1458s |      26 | 14160981 |  9676252 |    13437   1779 |        0 |        0
1460.37/1460.68	c 1460s |      26 | 14184484 |  9691252 |    13437   1782 |        0 |        0
1462.37/1462.69	c 1462s |      26 | 14216720 |  9713152 |    13437   1785 |        0 |        0
1464.47/1464.70	c 1464s |      26 | 14242229 |  9731252 |    13437   1787 |        0 |        0
1466.47/1466.73	c 1466s |      26 | 14258882 |  9743952 |    13437   1789 |        0 |        0
1468.47/1468.73	c 1468s |      26 | 14272810 |  9755052 |    13437   1791 |        0 |        0
1470.48/1470.74	c 1470s |      26 | 14284458 |  9764252 |    13437   1792 |        0 |        0
1472.47/1472.76	c 1472s |      26 | 14294077 |  9771652 |    13437   1793 |        0 |        0
1474.57/1474.82	c 1474s |      26 | 14302527 |  9778152 |    13437   1794 |        0 |        0
1476.57/1476.83	c 1476s |      26 | 14312187 |  9785352 |    13437   1795 |        0 |        0
1478.57/1478.84	c 1478s |      26 | 14322626 |  9793052 |    13437   1796 |        0 |        0
1480.57/1480.86	c 1480s |      26 | 14336541 |  9803752 |    13437   1798 |        0 |        0
1482.57/1482.86	c 1482s |      26 | 14355732 |  9818152 |    13437   1800 |        0 |        0
1484.56/1484.86	c 1484s |      26 | 14381526 |  9837552 |    13437   1803 |        0 |        0
1486.56/1486.86	c 1486s |      26 | 14404662 |  9853852 |    13437   1805 |        0 |        0
1488.56/1488.88	c 1488s |      26 | 14440096 |  9872152 |    13437   1808 |        0 |        0
1490.56/1490.88	c 1490s |      26 | 14465839 |  9885952 |    13437   1810 |        0 |        0
1492.66/1492.90	c 1492s |      26 | 14482596 |  9897852 |    13437   1811 |        0 |        0
1494.67/1494.92	c 1494s |      26 | 14491484 |  9904352 |    13437   1812 |        0 |        0
1496.66/1496.94	c 1496s |      26 | 14504119 |  9912452 |    13437   1813 |        0 |        0
1498.66/1498.95	c 1498s |      26 | 14531480 |  9928452 |    13437   1816 |        0 |        0
1500.66/1500.96	c 1500s |      26 | 14543558 |  9937352 |    13437   1817 |        0 |        0
1502.67/1502.97	c 1502s |      26 | 14560262 |  9947652 |    13437   1818 |        0 |        0
1504.67/1504.98	c 1504s |      26 | 14578367 |  9959852 |    13437   1820 |        0 |        0
1506.67/1506.99	c 1506s |      26 | 14593328 |  9970152 |    13437   1821 |        0 |        0
1508.76/1509.01	c 1508s |      26 | 14606986 |  9980052 |    13437   1823 |        0 |        0
1510.86/1511.10	c 1511s |      26 | 14619722 |  9989952 |    13437   1824 |        0 |        0
1512.86/1513.12	c 1513s |      26 | 14635785 | 10001752 |    13437   1826 |        0 |        0
1514.86/1515.12	c 1515s |      26 | 14651045 | 10013252 |    13437   1827 |        0 |        0
1516.86/1517.12	c 1517s |      26 | 14671952 | 10028652 |    13437   1829 |        0 |        0
1518.87/1519.12	c 1519s |      26 | 14689968 | 10042252 |    13437   1831 |        0 |        0
1520.86/1521.13	c 1521s |      26 | 14713334 | 10056352 |    13437   1833 |        0 |        0
1522.86/1523.14	c 1523s |      26 | 14726858 | 10066052 |    13437   1834 |        0 |        0
1524.86/1525.15	c 1525s |      26 | 14737565 | 10074352 |    13437   1836 |        0 |        0
1526.86/1527.17	c 1527s |      26 | 14749652 | 10082652 |    13437   1837 |        0 |        0
1528.86/1529.18	c 1529s |      26 | 14767120 | 10095652 |    13437   1839 |        0 |        0
1530.86/1531.19	c 1531s |      26 | 14780680 | 10105452 |    13437   1840 |        0 |        0
1532.86/1533.19	c 1533s |      26 | 14795078 | 10116552 |    13437   1841 |        0 |        0
1534.96/1535.20	c 1535s |      26 | 14808333 | 10126352 |    13437   1843 |        0 |        0
1536.96/1537.23	c 1537s |      26 | 14820251 | 10135452 |    13437   1844 |        0 |        0
1538.95/1539.24	c 1539s |      26 | 14836380 | 10146152 |    13437   1846 |        0 |        0
1540.96/1541.25	c 1541s |      26 | 14862358 | 10162452 |    13437   1848 |        0 |        0
1542.95/1543.25	c 1543s |      26 | 14882476 | 10175552 |    13437   1850 |        0 |        0
1544.95/1545.26	c 1545s |      26 | 14910555 | 10195952 |    13437   1853 |        0 |        0
1546.95/1547.26	c 1547s |      26 | 14935629 | 10211552 |    13437   1855 |        0 |        0
1548.96/1549.27	c 1549s |      26 | 14963163 | 10227652 |    13437   1857 |        0 |        0
1550.96/1551.27	c 1551s |      26 | 14990983 | 10248552 |    13437   1860 |        0 |        0
1552.96/1553.28	c 1553s |      26 | 15024813 | 10268452 |    13437   1863 |        0 |        0
1555.05/1555.30	c 1555s |      26 | 15056736 | 10286952 |    13437   1865 |        0 |        0
1557.05/1557.30	c 1557s |      26 | 15087507 | 10306552 |    13437   1868 |        0 |        0
1559.05/1559.31	c 1559s |      26 | 15111532 | 10324952 |    13437   1871 |        0 |        0
1561.05/1561.39	c 1561s |      26 | 15146417 | 10346352 |    13437   1874 |        0 |        0
1563.05/1563.39	c 1563s |      26 | 15165166 | 10359552 |    13437   1875 |        0 |        0
1565.05/1565.40	c 1565s |      26 | 15180760 | 10370952 |    13437   1877 |        0 |        0
1567.14/1567.42	c 1567s |      26 | 15199954 | 10384852 |    13437   1879 |        0 |        0
1569.14/1569.44	c 1569s |      26 | 15212876 | 10393452 |    13437   1880 |        0 |        0
1571.14/1571.46	c 1571s |      26 | 15225555 | 10401852 |    13437   1881 |        0 |        0
1573.24/1573.52	c 1573s |      26 | 15236940 | 10409952 |    13437   1882 |        0 |        0
1575.55/1575.86	c 1575s |      26 | 15247438 | 10417952 |    13437   1883 |        0 |        0
1577.55/1577.89	c 1577s |      26 | 15256302 | 10424452 |    13437   1884 |        0 |        0
1579.64/1579.96	c 1579s |      26 | 15263856 | 10430252 |    13437   1885 |        0 |        0
1581.65/1581.98	c 1581s |      26 | 15277771 | 10439752 |    13437   1886 |        0 |        0
1583.64/1584.00	c 1583s |      26 | 15291145 | 10448652 |    13437   1887 |        0 |        0
1585.74/1586.00	c 1585s |      26 | 15299818 | 10454952 |    13437   1888 |        0 |        0
1587.83/1588.11	c 1588s |      26 | 15307542 | 10461052 |    13437   1889 |        0 |        0
1589.83/1590.11	c 1590s |      26 | 15327690 | 10474952 |    13437   1891 |        0 |        0
1591.83/1592.12	c 1592s |      26 | 15349305 | 10488952 |    13437   1893 |        0 |        0
1593.92/1594.26	c 1594s |      26 | 15371573 | 10504252 |    13437   1895 |        0 |        0
1595.93/1596.28	c 1596s |      26 | 15394848 | 10520952 |    13437   1897 |        0 |        0
1597.92/1598.28	c 1598s |      26 | 15420953 | 10537752 |    13437   1899 |        0 |        0
1599.92/1600.28	c 1600s |      26 | 15441819 | 10551852 |    13437   1901 |        0 |        0
1601.92/1602.29	c 1602s |      26 | 15456592 | 10563852 |    13437   1903 |        0 |        0
1604.03/1604.30	c 1604s |      26 | 15481450 | 10580552 |    13437   1905 |        0 |        0
1606.03/1606.32	c 1606s |      26 | 15493257 | 10589452 |    13437   1906 |        0 |        0
1608.03/1608.33	c 1608s |      26 | 15501692 | 10595452 |    13437   1907 |        0 |        0
1610.03/1610.35	c 1610s |      26 | 15508809 | 10600652 |    13437   1908 |        0 |        0
1612.03/1612.35	c 1612s |      26 | 15517658 | 10606852 |    13437   1909 |        0 |        0
1614.02/1614.36	c 1614s |      26 | 15525313 | 10612352 |    13437   1909 |        0 |        0
1616.02/1616.38	c 1616s |      26 | 15532573 | 10617352 |    13437   1910 |        0 |        0
1618.12/1618.41	c 1618s |      26 | 15543875 | 10625152 |    13437   1911 |        0 |        0
1620.13/1620.42	c 1620s |      26 | 15556082 | 10633452 |    13437   1912 |        0 |        0
1622.12/1622.45	c 1622s |      26 | 15569617 | 10642552 |    13437   1913 |        0 |        0
1624.12/1624.48	c 1624s |      26 | 15579861 | 10650052 |    13437   1914 |        0 |        0
1626.21/1626.52	c 1626s |      26 | 15590100 | 10657652 |    13437   1916 |        0 |        0
1628.21/1628.54	c 1628s |      26 | 15597149 | 10662852 |    13437   1916 |        0 |        0
1630.21/1630.55	c 1630s |      26 | 15602652 | 10667052 |    13437   1917 |        0 |        0
1632.22/1632.56	c 1632s |      26 | 15609479 | 10672152 |    13437   1917 |        0 |        0
1634.21/1634.58	c 1634s |      26 | 15617513 | 10678052 |    13437   1918 |        0 |        0
1636.31/1636.61	c 1636s |      26 | 15628140 | 10685752 |    13437   1919 |        0 |        0
1638.31/1638.61	c 1638s |      26 | 15637685 | 10692652 |    13437   1920 |        0 |        0
1640.31/1640.63	c 1640s |      26 | 15650849 | 10701952 |    13437   1922 |        0 |        0
1642.31/1642.64	c 1642s |      26 | 15667525 | 10712352 |    13437   1923 |        0 |        0
1644.31/1644.66	c 1644s |      26 | 15687988 | 10724852 |    13437   1925 |        0 |        0
1646.30/1646.70	c 1646s |      26 | 15697402 | 10731452 |    13437   1926 |        0 |        0
1648.40/1648.73	c 1648s |      26 | 15704519 | 10736652 |    13437   1926 |        0 |        0
1650.40/1650.74	c 1650s |      26 | 15710295 | 10740752 |    13437   1927 |        0 |        0
1652.40/1652.77	c 1652s |      26 | 15716876 | 10745852 |    13437   1927 |        0 |        0
1654.40/1654.79	c 1654s |      26 | 15723251 | 10750252 |    13437   1928 |        0 |        0
1656.50/1656.87	c 1656s |      26 | 15740799 | 10760552 |    13437   1930 |        0 |        0
1658.50/1658.87	c 1658s |      26 | 15773109 | 10779252 |    13437   1932 |        0 |        0
1660.50/1660.87	c 1660s |      26 | 15800053 | 10797552 |    13437   1935 |        0 |        0
1662.50/1662.88	c 1662s |      26 | 15828413 | 10814852 |    13437   1937 |        0 |        0
1664.49/1664.89	c 1664s |      26 | 15851912 | 10831152 |    13437   1939 |        0 |        0
1666.59/1666.90	c 1666s |      26 | 15865402 | 10840552 |    13437   1941 |        0 |        0
1668.79/1669.11	c 1669s |      26 | 15878903 | 10850052 |    13437   1942 |        0 |        0
1670.89/1671.21	c 1671s |      26 | 15895526 | 10861652 |    13437   1944 |        0 |        0
1672.89/1673.22	c 1673s |      26 | 15911046 | 10871452 |    13437   1945 |        0 |        0
1674.88/1675.27	c 1675s |      26 | 15938953 | 10890652 |    13437   1948 |        0 |        0
1676.88/1677.27	c 1677s |      26 | 15971504 | 10911752 |    13437   1950 |        0 |        0
1679.58/1679.96	c 1679s |      26 | 15996596 | 10928952 |    13437   1953 |        0 |        0
1681.59/1681.98	c 1681s |      26 | 16014960 | 10942152 |    13437   1955 |        0 |        0
1683.58/1683.98	c 1683s |      26 | 16022801 | 10948252 |    13437   1956 |        0 |        0
1685.58/1685.98	c 1685s |      26 | 16037448 | 10959552 |    13437   1957 |        0 |        0
1687.58/1687.99	c 1687s |      26 | 16059384 | 10976252 |    13437   1959 |        0 |        0
1689.68/1690.00	c 1689s |      26 | 16072125 | 10985452 |    13437   1961 |        0 |        0
1691.68/1692.01	c 1691s |      26 | 16082852 | 10993352 |    13437   1962 |        0 |        0
1693.68/1694.02	c 1693s |      26 | 16097919 | 11004752 |    13437   1963 |        0 |        0
1695.67/1696.03	c 1695s |      26 | 16121161 | 11018552 |    13437   1965 |        0 |        0
1697.67/1698.05	c 1697s |      26 | 16140209 | 11032452 |    13437   1967 |        0 |        0
1699.67/1700.05	c 1700s |      26 | 16158048 | 11045652 |    13437   1969 |        0 |        0
1701.67/1702.07	c 1702s |      26 | 16175195 | 11057752 |    13437   1971 |        0 |        0
1703.67/1704.08	c 1704s |      26 | 16185885 | 11065552 |    13437   1972 |        0 |        0
1705.77/1706.10	c 1706s |      26 | 16192896 | 11070052 |    13437   1972 |        0 |        0
1707.76/1708.15	c 1708s |      26 | 16199683 | 11075452 |    13437   1973 |        0 |        0
1709.76/1710.18	c 1710s |      26 | 16205298 | 11079852 |    13437   1974 |        0 |        0
1711.86/1712.24	c 1712s |      26 | 16210493 | 11083752 |    13437   1974 |        0 |        0
1713.86/1714.28	c 1714s |      26 | 16216251 | 11087452 |    13437   1975 |        0 |        0
1715.87/1716.28	c 1716s |      26 | 16235659 | 11101352 |    13437   1977 |        0 |        0
1717.87/1718.29	c 1718s |      26 | 16258643 | 11113952 |    13437   1979 |        0 |        0
1719.87/1720.29	c 1720s |      26 | 16291957 | 11134352 |    13437   1981 |        0 |        0
1721.97/1722.30	c 1722s |      26 | 16318724 | 11152352 |    13437   1984 |        0 |        0
1723.97/1724.31	c 1724s |      26 | 16345444 | 11171152 |    13437   1986 |        0 |        0
1725.96/1726.31	c 1726s |      26 | 16362508 | 11184452 |    13437   1988 |        0 |        0
1727.96/1728.34	c 1728s |      26 | 16377148 | 11194552 |    13437   1990 |        0 |        0
1729.97/1730.35	c 1730s |      26 | 16396642 | 11208552 |    13437   1992 |        0 |        0
1731.96/1732.35	c 1732s |      26 | 16425334 | 11230452 |    13437   1995 |        0 |        0
1733.96/1734.37	c 1734s |      26 | 16453262 | 11249352 |    13437   1997 |        0 |        0
1735.96/1736.39	c 1736s |      26 | 16463538 | 11257152 |    13437   1998 |        0 |        0
1738.05/1738.41	c 1738s |      26 | 16476340 | 11266352 |    13437   1999 |        0 |        0
1740.05/1740.42	c 1740s |      26 | 16485640 | 11273452 |    13437   2000 |        0 |        0
1742.06/1742.42	c 1742s |      26 | 16494147 | 11279252 |    13437   2001 |        0 |        0
1744.05/1744.47	c 1744s |      26 | 16502270 | 11284852 |    13437   2002 |        0 |        0
1746.25/1746.61	c 1746s |      26 | 16514156 | 11291452 |    13437   2003 |        0 |        0
1748.25/1748.61	c 1748s |      26 | 16538617 | 11305652 |    13437   2005 |        0 |        0
1750.25/1750.61	c 1750s |      26 | 16559832 | 11320952 |    14781   2007 |        0 |        0
1752.24/1752.62	c 1752s |      26 | 16574802 | 11332152 |    14781   2008 |        0 |        0
1754.25/1754.63	c 1754s |      26 | 16599008 | 11347252 |    14781   2010 |        0 |        0
1756.24/1756.64	c 1756s |      26 | 16614883 | 11359652 |    14781   2011 |        0 |        0
1758.24/1758.65	c 1758s |      26 | 16628259 | 11369952 |    14781   2013 |        0 |        0
1760.24/1760.66	c 1760s |      26 | 16649119 | 11383152 |    14781   2014 |        0 |        0
1762.24/1762.66	c 1762s |      26 | 16660355 | 11392052 |    14781   2015 |        0 |        0
1764.24/1764.68	c 1764s |      26 | 16666204 | 11396652 |    14781   2016 |        0 |        0
1764.34/1764.72	c 1764s |      27 | 16666283 | 11396733 |    14781   2016 |        0 |        0
1766.34/1766.73	c 1766s |      27 | 16688643 | 11411933 |    14781   2018 |        0 |        0
1768.34/1768.73	c 1768s |      27 | 16718414 | 11433433 |    14781   2021 |        0 |        0
1770.33/1770.74	c 1770s |      27 | 16742569 | 11449633 |    14781   2023 |        0 |        0
1772.33/1772.75	c 1772s |      27 | 16765834 | 11466833 |    14781   2025 |        0 |        0
1774.33/1774.76	c 1774s |      27 | 16782329 | 11477833 |    14781   2027 |        0 |        0
1776.34/1776.76	c 1776s |      27 | 16798103 | 11489433 |    14781   2028 |        0 |        0
1778.44/1778.82	c 1778s |      27 | 16814158 | 11500533 |    14781   2029 |        0 |        0
1780.44/1780.83	c 1780s |      27 | 16835677 | 11515833 |    14781   2031 |        0 |        0
1782.44/1782.87	c 1782s |      27 | 16857653 | 11530833 |    14781   2034 |        0 |        0
1784.43/1784.87	c 1784s |      27 | 16883830 | 11549033 |    14781   2036 |        0 |        0
1786.53/1786.90	c 1786s |      27 | 16909521 | 11568033 |    14781   2039 |        0 |        0
1788.53/1788.91	c 1788s |      27 | 16936862 | 11588933 |    14781   2041 |        0 |        0
1790.63/1791.01	c 1790s |      27 | 16958353 | 11604933 |    14781   2043 |        0 |        0
1792.63/1793.02	c 1792s |      27 | 16983143 | 11623033 |    14781   2046 |        0 |        0
1794.63/1795.02	c 1794s |      27 | 17012294 | 11644633 |    14781   2049 |        0 |        0
1796.63/1797.03	c 1796s |      27 | 17043135 | 11667633 |    14781   2052 |        0 |        0
1798.63/1799.05	c 1798s |      27 | 17078628 | 11687533 |    14781   2055 |        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-4088882-1466017735/watcher-4088882-1466017735 -o /tmp/evaluation-result-4088882-1466017735/solver-4088882-1466017735 -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-4088882-1466017735.opb 

pid=6475
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.36 2.29 2.20 3/179 6478
/proc/meminfo: memFree=29440080/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 2477 0 0 0 0 0 0 0 20 0 4 0 3820048 684126208 3350 33554432000 4194304 16246674 140735108676992 140735108676416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 167535 3358 441 2943 0 164429 0
[pid=6478/tid=6479] ppid=6475 vsize=684476 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 700903424 3417 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 706146304 3433 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 709292032 3449 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.36 2.29 2.20 3/179 6478
/proc/meminfo: memFree=29440080/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 24285 0 0 0 6 3 0 0 20 0 4 0 3820048 1247350784 25146 33554432000 4194304 16246674 140735108676992 140735108676416 12477891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 304529 25153 713 2943 0 301423 0
[pid=6478/tid=6479] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 25159 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 25167 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 25172 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200496 s]
/proc/loadavg: 2.36 2.29 2.20 3/179 6478
/proc/meminfo: memFree=29440080/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 43159 0 0 0 13 6 0 0 20 0 4 0 3820048 1247350784 44021 33554432000 4194304 16246674 140735108676992 140735108676416 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 304529 44033 720 2943 0 301423 0
[pid=6478/tid=6479] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 44040 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 44040 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 44046 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.36 2.29 2.20 3/179 6478
/proc/meminfo: memFree=29440080/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 61331 0 0 0 20 8 0 0 20 0 4 0 3820048 1247350784 62192 33554432000 4194304 16246674 140735108676992 140735108659992 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 304529 62201 720 2943 0 301423 0
[pid=6478/tid=6479] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 62206 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 62212 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1247350784 62217 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700389 s]
/proc/loadavg: 2.36 2.29 2.20 3/179 6478
/proc/meminfo: memFree=29440080/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1223236 CPUtime=0.69 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 82137 0 0 0 58 11 0 0 20 0 4 0 3820048 1252593664 82978 33554432000 4194304 16246674 140735108676992 140735108676304 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 305809 82990 788 2943 0 302703 0
[pid=6478/tid=6479] ppid=6475 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1252593664 82998 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1252593664 83004 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1252593664 83013 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1223236

[startup+1.50039 s]
/proc/loadavg: 2.36 2.29 2.20 3/183 6482
/proc/meminfo: memFree=28798988/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1300036 CPUtime=1.48 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 202422 0 0 0 119 29 0 0 20 0 4 0 3820048 1331236864 203263 33554432000 4194304 16246674 140735108676992 140735108658880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 325009 203263 788 2943 0 321903 0
[pid=6478/tid=6479] ppid=6475 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1331236864 203263 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1331236864 203263 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1331236864 203263 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.33 2.28 2.20 3/183 6482
/proc/meminfo: memFree=28619064/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1309252 CPUtime=3.08 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 213290 0 0 0 277 31 0 0 20 0 4 0 3820048 1340674048 214131 33554432000 4194304 16246674 140735108676992 140735108658880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 327313 214131 790 2943 0 324207 0
[pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1340674048 214131 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1340674048 214131 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1340674048 214131 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1309252

[startup+6.30037 s]
/proc/loadavg: 2.33 2.28 2.20 3/183 6482
/proc/meminfo: memFree=28577468/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 249658 0 0 0 591 38 0 0 20 0 4 0 3820048 1346965504 250499 33554432000 4194304 16246674 140735108676992 140735108659992 12477756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 328849 250499 790 2943 0 325743 0
[pid=6478/tid=6479] ppid=6475 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1346965504 250499 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1346965504 250499 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1346965504 250499 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.30 2.28 2.20 3/183 6482
/proc/meminfo: memFree=28352300/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 271152 0 0 0 1228 41 0 0 20 0 4 0 3820048 1352208384 271993 33554432000 4194304 16246674 140735108676992 140735108658880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 330129 271993 790 2943 0 327023 0
[pid=6478/tid=6479] ppid=6475 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1352208384 271993 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1352208384 271993 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1352208384 271993 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 6482
/proc/meminfo: memFree=28338092/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1334852 CPUtime=25.49 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 274736 0 0 0 2508 41 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140735108659992 6021268 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 333713 275577 790 2943 0 330607 0
[pid=6478/tid=6479] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1334852

[startup+51.1005 s]
/proc/loadavg: 2.28 2.27 2.20 3/183 6482
/proc/meminfo: memFree=28338220/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1334852 CPUtime=51.08 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 274736 0 0 0 5067 41 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140735108659992 5827897 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 333713 275577 790 2943 0 330607 0
[pid=6478/tid=6479] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1366888448 275577 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1334852

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 6486
/proc/meminfo: memFree=28306440/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 275761 0 0 0 10185 43 0 0 20 0 4 0 3820048 1371082752 276602 33554432000 4194304 16246674 140735108676992 140735108658880 12479203 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 334737 276602 791 2943 0 331631 0
[pid=6478/tid=6479] ppid=6475 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1371082752 276602 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1371082752 276602 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1371082752 276602 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1367620

[startup+1302.3 s]
/proc/loadavg: 2.28 2.28 2.24 4/184 6516
/proc/meminfo: memFree=27341436/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1302.09 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282929 0 0 0 130140 69 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140735108658880 6020887 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283770 791 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1367620

[startup+1362.3 s]
/proc/loadavg: 2.37 2.31 2.25 3/183 6517
/proc/meminfo: memFree=27341472/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1362.09 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282929 0 0 0 136139 70 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140735108658880 12460414 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283770 791 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1367620

[startup+1422.3 s]
/proc/loadavg: 2.32 2.31 2.25 4/183 6518
/proc/meminfo: memFree=27341748/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1422.08 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282929 0 0 0 142137 71 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140735108674816 5808488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283770 791 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1367620

[startup+1482.3 s]
/proc/loadavg: 2.16 2.26 2.24 4/183 6519
/proc/meminfo: memFree=27341652/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1482.06 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282929 0 0 0 148134 72 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140735108658880 12470504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283770 791 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283770 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1367620

[startup+1542.31 s]
/proc/loadavg: 2.23 2.26 2.24 3/183 6570
/proc/meminfo: memFree=28342568/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1542.06 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282930 0 0 0 154133 73 0 0 20 0 4 0 3820048 1400442880 283771 33554432000 4194304 16246674 140735108676992 140735108676168 4220978 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283771 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283771 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283771 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283771 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1367620

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.23 3/183 6571
/proc/meminfo: memFree=28341988/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1602.02 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 282958 0 0 0 160127 75 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140735108674816 12482488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283774 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1367620

[startup+1662.3 s]
/proc/loadavg: 2.29 2.27 2.24 4/183 6572
/proc/meminfo: memFree=28342120/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1662 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 283001 0 0 0 166124 76 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140735108659992 5598492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283774 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1367620

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/183 6573
/proc/meminfo: memFree=28340152/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1721.97 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 283039 0 0 0 172119 78 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140735108659992 5823230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283774 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1367620

[startup+1782.3 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 6574
/proc/meminfo: memFree=28339024/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1781.94 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 283073 0 0 0 178115 79 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140735108658880 5675204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283774 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1367620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.26 2.23 4/183 6575
/proc/meminfo: memFree=28339176/32872528 swapFree=1369816/1516984
[pid=6478] ppid=6475 vsize=1367620 CPUtime=1800.02 cores=0,2,4,6
/proc/6478/stat : 6478 (toysat) R 6475 6478 5822 0 -1 4202496 283078 0 0 0 179923 79 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140735108659992 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6478/statm: 341905 283774 792 2943 0 338799 0
[pid=6478/tid=6479] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119208078576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6478/tid=6480] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119197588720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6478/tid=6481] ppid=6475 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3820048 1400442880 283774 33554432000 4194304 16246674 140735108676992 140119080168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1367620

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.08
CPU user time (s): 1799.24
CPU system time (s): 0.834873
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 1367620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.834873
maximum resident set size= 1135096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283078
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= 161
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70828 second user time and 6.84496 second system time

The end

Begin job on node129 at 2016-06-15 21:08:56
IDJOB=4088882
IDBENCH=107327
IDSOLVER=2542
FILE ID=node129/4088882-1466017735
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-sumineqArity5pyramidP0032.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088882-1466017735/watcher-4088882-1466017735 -o /tmp/evaluation-result-4088882-1466017735/solver-4088882-1466017735 -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-4088882-1466017735.opb

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

MD5SUM BENCH= 083d94aebb25e5f3da4fc19029c475f0
RANDOM SEED=2100031459

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:        29440624 kB
Buffers:            8252 kB
Cached:            74016 kB
SwapCached:        20176 kB
Active:          1171220 kB
Inactive:          42792 kB
Active(anon):    1113784 kB
Inactive(anon):    20104 kB
Active(file):      57436 kB
Inactive(file):    22688 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2584352 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             566096 kB
SReclaimable:      10340 kB
SUnreclaim:       555756 kB
KernelStack:        1520 kB
PageTables:         8976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2773008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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:38:56