0.00/0.00	c 2016-06-16T20:59:12+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-4096162-1466103552.opb"]
0.00/0.01	c use --random-gen="1904483380 153942381 2972258984 4098169631 3839820386 678134939 445641784 2804545051 3876253078 2122676154 3073861685 3891337461 1447142318 3631030788 3574627655 1104666589 2053506981 366136249 1525257284 3776609457 4090752747 4118849651 1010284033 413335453 1361053238 3805765185 2168336182 1145032631 2593381083 3194070325 1571902680 521297267 1956018923 2707732577 2733583459 2387658408 1577076930 4056641780 4244896905 3365264237 2309803765 3677311838 2429552493 626993632 603530278 3823201502 37677829 2101218262 4049929358 3272204524 1340084298 3344051986 3500120710 3502846962 4120683061 873412278 3595654126 1539714960 2079020229 3831805322 2337664222 3512112219 1356582643 812885534 2213085129 758982729 3258046425 974915556 1740745613 2832862598 3969411608 3628184200 4251059420 1709714998 2291674158 2733726960 171104761 2913549665 1500185505 110011775 3212667378 1239848855 2885128733 4133821517 1649430132 2233021527 2764246918 699428190 2482810318 2805410493 2299528564 1576742713 2182692568 2215315828 4099771298 2044652798 1248584877 3503085079 2305058816 1637314433 4030800352 3195985648 1230590050 805572453 851977282 532565279 2937926157 2914441928 2301067515 3201612569 1992136833 3738288447 3868227321 3569702339 2255015788 1533484815 1528514878 3664960437 3515781091 3079415962 2008477027 2196448550 2714546830 4233445558 1298289615 1239358455 1791006655 3244688170 2240207850 3315017696 2425937328 3228036311 1146566689 1540616651 4176071479 1811035566 2423186862 2309924089 1912007641 462759991 3625289096 2236989598 4185552421 1801257898 225260719 1493390544 757540838 3813494741 3183439275 382926996 1476164871 1022311424 3814924975 295335769 1560438783 878338379 3934412152 4223793236 1528336786 23678472 3816445817 3363588249 2741894442 1584782240 3835945991 2137882842 152846800 1496127346 2582959100 3101481350 490390035 2881287130 3366421611 3460949250 771086336 2392828798 985151963 221557878 35823996 3053795415 3740433641 4041503682 1230231634 329174378 1922647838 1752878479 2644123211 1232677095 3575543468 2818165310 2785685977 2249599726 74435508 3872716202 1926606310 3105399937 1081218065 3069216016 2580346933 291166457 1228054850 4276596926 933968482 732681337 1141383136 3056009133 2468193894 2904110077 2531427168 3117106952 3914567631 1056094642 1780177218 1997140347 731427610 3159209979 1685047360 1689973350 560184589 4104635885 3511151059 3258613398 3675355470 1319595789 3463104804 353609195 2706722319 1543525533 2717765398 1979043684 982450769 3448896422 2477023826 218728755 687138920 2286198683 3119213435 110551707 1279771441 1351259540 3074692585 4063621517 875187725 32359081 658278496 2179780848 828686880 4216059763 1550862148 909461195 381212628 3291221838 1842301737 657966137 1357256315 3352153622 255 362436" option to reproduce the execution
0.00/0.01	c #vars 221
0.00/0.01	c #constraints 110
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      147      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      179 |      100 |      147      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      420 |      250 |      162      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |      839 |      475 |      179      2 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1435 |      813 |      197      4 |        0 |        0
0.19/0.23	c  0.2s |       5 |     2108 |     1320 |      217      7 |        0 |        0
0.29/0.36	c  0.3s |       6 |     3593 |     2081 |      263     12 |        0 |        0
0.49/0.57	c  0.6s |       7 |     5385 |     3223 |      290     18 |        0 |        0
0.89/0.92	c  0.9s |       8 |     7565 |     4936 |      319     27 |        0 |        0
1.29/1.31	c  1.3s |       9 |    11391 |     7506 |      351     40 |        0 |        0
1.89/1.94	c  1.9s |      10 |    16859 |    11361 |      387     58 |        0 |        0
2.79/2.82	c  2.8s |      11 |    24550 |    17144 |      426     82 |        0 |        0
4.09/4.16	c  4.1s |      12 |    36514 |    25819 |      469    117 |        0 |        0
6.09/6.17	c  6.2s |      12 |    52512 |    38719 |      516    162 |        0 |        0
6.09/6.19	c  6.2s |      13 |    52646 |    38832 |      516    162 |        0 |        0
8.19/8.20	c  8.2s |      13 |    69296 |    51332 |      516    204 |        0 |        0
9.29/9.30	c  9.3s |      14 |    78102 |    58352 |      568    227 |        0 |        0
11.29/11.32	c 11.3s |      14 |    94634 |    71152 |      568    267 |        0 |        0
13.30/13.32	c 13.3s |      14 |   113158 |    85152 |      568    309 |        0 |        0
13.59/13.68	c 13.7s |      15 |   116591 |    87632 |      625    317 |        0 |        0
15.59/15.69	c 15.7s |      15 |   132477 |   100832 |      625    353 |        0 |        0
17.59/17.69	c 17.7s |      15 |   148953 |   114532 |      625    392 |        0 |        0
19.69/19.70	c 19.7s |      15 |   164965 |   128032 |      625    429 |        0 |        0
20.19/20.24	c 20.2s |      16 |   169219 |   131552 |      688    439 |        0 |        0
22.19/22.25	c 22.2s |      16 |   185651 |   143952 |      688    471 |        0 |        0
24.19/24.26	c 24.2s |      16 |   201450 |   155852 |      688    503 |        0 |        0
26.19/26.27	c 26.3s |      16 |   215099 |   166652 |      688    532 |        0 |        0
28.19/28.27	c 28.3s |      16 |   229164 |   177952 |      688    562 |        0 |        0
30.19/30.28	c 30.3s |      16 |   243229 |   189452 |      688    592 |        0 |        0
31.59/31.68	c 31.7s |      17 |   253604 |   197432 |      757    613 |        0 |        0
33.58/33.69	c 33.7s |      17 |   268085 |   209632 |      757    642 |        0 |        0
35.68/35.70	c 35.7s |      17 |   281577 |   221432 |      757    670 |        0 |        0
37.68/37.71	c 37.7s |      17 |   295404 |   233232 |      757    698 |        0 |        0
39.69/39.72	c 39.7s |      17 |   308533 |   244632 |      757    725 |        0 |        0
41.68/41.73	c 41.7s |      17 |   322518 |   256332 |      757    753 |        0 |        0
43.68/43.75	c 43.7s |      17 |   337658 |   268232 |      757    781 |        0 |        0
45.68/45.76	c 45.7s |      17 |   351513 |   279732 |      757    808 |        0 |        0
47.68/47.77	c 47.8s |      17 |   365365 |   291432 |      757    836 |        0 |        0
48.58/48.65	c 48.6s |      18 |   370832 |   296252 |      833    847 |        0 |        0
50.59/50.66	c 50.7s |      18 |   383840 |   306652 |      833    870 |        0 |        0
52.58/52.67	c 52.7s |      18 |   396408 |   316452 |      833    891 |        0 |        0
54.58/54.69	c 54.7s |      18 |   408349 |   326252 |      833    912 |        0 |        0
56.68/56.70	c 56.7s |      18 |   420207 |   336152 |      833    934 |        0 |        0
58.68/58.71	c 58.7s |      18 |   432160 |   346252 |      833    956 |        0 |        0
60.68/60.72	c 60.7s |      18 |   444087 |   356452 |      833    978 |        0 |        0
62.68/62.72	c 62.7s |      18 |   455631 |   366152 |      833    999 |        0 |        0
64.68/64.72	c 64.7s |      18 |   468930 |   376452 |      833   1022 |        0 |        0
66.68/66.73	c 66.7s |      18 |   481631 |   386552 |      833   1044 |        0 |        0
68.68/68.75	c 68.7s |      18 |   493957 |   396552 |      833   1066 |        0 |        0
70.68/70.76	c 70.7s |      18 |   505447 |   406052 |      833   1086 |        0 |        0
72.69/72.77	c 72.8s |      18 |   518599 |   416052 |      833   1108 |        0 |        0
74.68/74.77	c 74.8s |      18 |   531171 |   425752 |      833   1130 |        0 |        0
76.68/76.78	c 76.8s |      18 |   542437 |   435552 |      833   1151 |        0 |        0
78.48/78.56	c 78.5s |      19 |   552539 |   444482 |      917   1170 |        0 |        0
80.48/80.58	c 80.6s |      19 |   568145 |   456482 |      917   1194 |        0 |        0
82.49/82.58	c 82.6s |      19 |   582128 |   467982 |      917   1217 |        0 |        0
84.48/84.59	c 84.6s |      19 |   595813 |   479282 |      917   1239 |        0 |        0
86.48/86.59	c 86.6s |      19 |   608904 |   490382 |      917   1262 |        0 |        0
88.58/88.60	c 88.6s |      19 |   622333 |   501382 |      917   1284 |        0 |        0
90.58/90.62	c 90.6s |      19 |   634860 |   512182 |      917   1305 |        0 |        0
92.57/92.62	c 92.6s |      19 |   648912 |   523282 |      917   1328 |        0 |        0
94.58/94.63	c 94.6s |      19 |   663459 |   534682 |      917   1351 |        0 |        0
96.57/96.64	c 96.6s |      19 |   677862 |   545882 |      917   1373 |        0 |        0
98.57/98.64	c 98.6s |      19 |   691656 |   557082 |      917   1396 |        0 |        0
100.57/100.65	c  100s |      19 |   706202 |   568682 |      917   1419 |        0 |        0
102.57/102.65	c  102s |      19 |   721328 |   580382 |      917   1442 |        0 |        0
104.58/104.66	c  104s |      19 |   733979 |   590582 |      917   1462 |        0 |        0
106.57/106.66	c  106s |      19 |   747508 |   601582 |      917   1484 |        0 |        0
108.57/108.67	c  108s |      19 |   762028 |   612782 |      917   1507 |        0 |        0
110.57/110.67	c  110s |      19 |   776348 |   623782 |      917   1529 |        0 |        0
112.57/112.67	c  112s |      19 |   791420 |   634782 |      917   1551 |        0 |        0
114.57/114.67	c  114s |      19 |   805945 |   645882 |      917   1574 |        0 |        0
116.58/116.67	c  116s |      19 |   818620 |   656482 |      917   1595 |        0 |        0
118.57/118.64	c  118s |      20 |   830875 |   666827 |     1009   1615 |        0 |        0
120.57/120.65	c  120s |      20 |   845545 |   678127 |     1009   1635 |        0 |        0
122.57/122.66	c  122s |      20 |   860046 |   689427 |     1009   1656 |        0 |        0
124.57/124.67	c  124s |      20 |   872313 |   699827 |     1009   1676 |        0 |        0
126.57/126.68	c  126s |      20 |   888049 |   710927 |     1009   1696 |        0 |        0
128.57/128.68	c  128s |      20 |   900337 |   721127 |     1009   1715 |        0 |        0
130.57/130.68	c  130s |      20 |   913564 |   731727 |     1009   1734 |        0 |        0
132.67/132.70	c  132s |      20 |   925989 |   742027 |     1009   1753 |        0 |        0
134.67/134.71	c  134s |      20 |   939701 |   753327 |     1009   1774 |        0 |        0
136.67/136.73	c  136s |      20 |   952768 |   764427 |     1009   1794 |        0 |        0
138.67/138.74	c  138s |      20 |   965884 |   775027 |     1009   1814 |        0 |        0
140.66/140.76	c  140s |      20 |   979526 |   785627 |     1009   1833 |        0 |        0
142.66/142.77	c  142s |      20 |   993211 |   796727 |     1009   1853 |        0 |        0
144.66/144.77	c  144s |      20 |  1005674 |   807227 |     1009   1873 |        0 |        0
146.66/146.78	c  146s |      20 |  1018819 |   817927 |     1009   1892 |        0 |        0
148.66/148.80	c  148s |      20 |  1031691 |   828427 |     1009   1912 |        0 |        0
150.77/150.81	c  150s |      20 |  1044997 |   838827 |     1009   1931 |        0 |        0
152.77/152.82	c  152s |      20 |  1059061 |   849827 |     1009   1951 |        0 |        0
154.77/154.82	c  154s |      20 |  1072684 |   860627 |     1009   1971 |        0 |        0
156.77/156.83	c  156s |      20 |  1086720 |   871927 |     1009   1992 |        0 |        0
158.77/158.84	c  158s |      20 |  1100949 |   883227 |     1009   2013 |        0 |        0
160.77/160.86	c  160s |      20 |  1113847 |   893627 |     1009   2032 |        0 |        0
162.78/162.86	c  162s |      20 |  1125617 |   903527 |     1009   2050 |        0 |        0
164.77/164.88	c  164s |      20 |  1137849 |   913827 |     1009   2069 |        0 |        0
166.87/166.90	c  166s |      20 |  1149297 |   923827 |     1009   2087 |        0 |        0
168.87/168.91	c  168s |      20 |  1160399 |   933727 |     1009   2105 |        0 |        0
170.87/170.92	c  170s |      20 |  1171367 |   943427 |     1009   2123 |        0 |        0
172.86/172.92	c  172s |      20 |  1182657 |   953427 |     1009   2141 |        0 |        0
174.87/174.93	c  174s |      20 |  1194027 |   963227 |     1009   2160 |        0 |        0
176.86/176.94	c  176s |      20 |  1205977 |   973227 |     1009   2178 |        0 |        0
178.86/178.94	c  178s |      20 |  1217344 |   982927 |     1009   2196 |        0 |        0
180.86/180.95	c  180s |      20 |  1229004 |   992827 |     1009   2214 |        0 |        0
182.46/182.52	c  182s |      21 |  1237844 |  1000345 |     1110   2226 |        0 |        0
184.46/184.52	c  184s |      21 |  1251672 |  1011045 |     1110   2244 |        0 |        0
186.46/186.53	c  186s |      21 |  1263936 |  1021045 |     1110   2261 |        0 |        0
188.46/188.55	c  188s |      21 |  1276564 |  1030945 |     1110   2277 |        0 |        0
190.46/190.56	c  190s |      21 |  1292649 |  1042245 |     1110   2296 |        0 |        0
192.47/192.58	c  192s |      21 |  1306952 |  1052945 |     1110   2314 |        0 |        0
194.46/194.58	c  194s |      21 |  1321722 |  1064145 |     1110   2333 |        0 |        0
196.46/196.59	c  196s |      21 |  1335623 |  1075145 |     1110   2351 |        0 |        0
198.56/198.60	c  198s |      21 |  1347747 |  1085145 |     1110   2368 |        0 |        0
200.56/200.60	c  200s |      21 |  1360640 |  1095245 |     1110   2385 |        0 |        0
202.56/202.61	c  202s |      21 |  1373884 |  1105845 |     1110   2403 |        0 |        0
204.57/204.61	c  204s |      21 |  1386712 |  1116245 |     1110   2421 |        0 |        0
206.56/206.63	c  206s |      21 |  1398811 |  1126545 |     1110   2438 |        0 |        0
208.56/208.64	c  208s |      21 |  1411159 |  1136845 |     1110   2455 |        0 |        0
210.56/210.64	c  210s |      21 |  1424872 |  1147545 |     1110   2473 |        0 |        0
212.56/212.66	c  212s |      21 |  1438803 |  1158345 |     1110   2491 |        0 |        0
214.56/214.66	c  214s |      21 |  1450766 |  1168245 |     1110   2508 |        0 |        0
216.56/216.66	c  216s |      21 |  1463945 |  1178545 |     1110   2525 |        0 |        0
218.56/218.68	c  218s |      21 |  1480366 |  1190245 |     1110   2544 |        0 |        0
220.56/220.69	c  220s |      21 |  1493798 |  1200845 |     1110   2562 |        0 |        0
222.55/222.70	c  222s |      21 |  1507166 |  1211845 |     1110   2580 |        0 |        0
224.65/224.71	c  224s |      21 |  1520759 |  1223045 |     1110   2598 |        0 |        0
226.66/226.72	c  226s |      21 |  1535120 |  1234545 |     1110   2617 |        0 |        0
228.65/228.73	c  228s |      21 |  1548650 |  1245545 |     1110   2635 |        0 |        0
230.65/230.75	c  230s |      21 |  1560712 |  1255645 |     1110   2652 |        0 |        0
232.65/232.75	c  232s |      21 |  1575730 |  1267145 |     1110   2671 |        0 |        0
234.65/234.76	c  234s |      21 |  1589142 |  1278045 |     1110   2689 |        0 |        0
236.65/236.76	c  236s |      21 |  1605214 |  1290145 |     1110   2710 |        0 |        0
238.66/238.77	c  238s |      21 |  1618456 |  1301145 |     1110   2728 |        0 |        0
240.65/240.78	c  240s |      21 |  1633562 |  1312745 |     1110   2747 |        0 |        0
242.65/242.79	c  242s |      21 |  1645995 |  1322945 |     1110   2764 |        0 |        0
244.75/244.80	c  244s |      21 |  1659322 |  1333345 |     1110   2782 |        0 |        0
246.75/246.80	c  246s |      21 |  1673744 |  1344345 |     1110   2800 |        0 |        0
248.74/248.81	c  248s |      21 |  1687380 |  1355445 |     1110   2819 |        0 |        0
250.76/250.82	c  250s |      21 |  1700397 |  1366045 |     1110   2836 |        0 |        0
252.75/252.83	c  252s |      21 |  1713602 |  1376845 |     1110   2854 |        0 |        0
254.75/254.85	c  254s |      21 |  1728756 |  1388345 |     1110   2874 |        0 |        0
256.75/256.87	c  256s |      21 |  1742892 |  1399345 |     1110   2892 |        0 |        0
258.75/258.88	c  258s |      21 |  1753608 |  1408945 |     1110   2908 |        0 |        0
260.76/260.89	c  260s |      21 |  1766142 |  1419045 |     1110   2925 |        0 |        0
262.86/262.91	c  262s |      21 |  1778577 |  1429145 |     1110   2942 |        0 |        0
264.85/264.91	c  264s |      21 |  1791700 |  1439545 |     1110   2959 |        0 |        0
266.85/266.92	c  266s |      21 |  1806280 |  1450145 |     1110   2977 |        0 |        0
268.84/268.92	c  268s |      21 |  1821137 |  1461145 |     1110   2995 |        0 |        0
270.84/270.93	c  270s |      21 |  1834305 |  1471445 |     1110   3012 |        0 |        0
272.85/272.94	c  272s |      21 |  1846958 |  1481545 |     1110   3029 |        0 |        0
274.84/274.95	c  274s |      21 |  1861399 |  1492245 |     1221   3047 |        0 |        0
276.64/276.70	c  276s |      22 |  1871144 |  1500622 |     1221   3059 |        0 |        0
278.63/278.70	c  278s |      22 |  1882453 |  1510322 |     1221   3074 |        0 |        0
280.63/280.71	c  280s |      22 |  1894571 |  1520722 |     1221   3090 |        0 |        0
282.64/282.72	c  282s |      22 |  1906110 |  1530822 |     1221   3105 |        0 |        0
284.63/284.74	c  284s |      22 |  1917893 |  1541122 |     1221   3121 |        0 |        0
286.63/286.76	c  286s |      22 |  1930696 |  1551522 |     1221   3138 |        0 |        0
288.63/288.76	c  288s |      22 |  1944411 |  1562622 |     1221   3155 |        0 |        0
290.63/290.77	c  290s |      22 |  1957614 |  1573222 |     1221   3172 |        0 |        0
292.64/292.77	c  292s |      22 |  1969466 |  1583422 |     1221   3187 |        0 |        0
294.63/294.79	c  294s |      22 |  1982551 |  1594322 |     1221   3205 |        0 |        0
296.63/296.79	c  296s |      22 |  1994924 |  1604822 |     1221   3221 |        0 |        0
298.62/298.79	c  298s |      22 |  2007011 |  1615422 |     1221   3238 |        0 |        0
300.72/300.81	c  300s |      22 |  2019061 |  1626222 |     1221   3255 |        0 |        0
302.72/302.82	c  302s |      22 |  2030272 |  1636222 |     1221   3270 |        0 |        0
304.73/304.83	c  304s |      22 |  2042119 |  1646422 |     1221   3286 |        0 |        0
306.72/306.84	c  306s |      22 |  2054265 |  1656622 |     1221   3302 |        0 |        0
308.73/308.85	c  308s |      22 |  2067260 |  1667322 |     1221   3319 |        0 |        0
310.73/310.85	c  310s |      22 |  2078308 |  1677122 |     1221   3334 |        0 |        0
312.73/312.87	c  312s |      22 |  2089241 |  1686622 |     1221   3349 |        0 |        0
314.73/314.89	c  314s |      22 |  2099600 |  1695722 |     1221   3363 |        0 |        0
316.83/316.91	c  316s |      22 |  2110411 |  1705222 |     1221   3378 |        0 |        0
318.82/318.92	c  318s |      22 |  2121811 |  1715422 |     1221   3394 |        0 |        0
320.82/320.93	c  320s |      22 |  2134147 |  1726122 |     1221   3410 |        0 |        0
322.82/322.93	c  322s |      22 |  2145095 |  1736022 |     1221   3426 |        0 |        0
324.82/324.93	c  324s |      22 |  2155852 |  1745722 |     1221   3441 |        0 |        0
326.82/326.94	c  326s |      22 |  2167343 |  1756022 |     1221   3457 |        0 |        0
328.82/328.95	c  328s |      22 |  2178524 |  1766022 |     1221   3473 |        0 |        0
330.81/330.96	c  330s |      22 |  2189962 |  1776222 |     1221   3489 |        0 |        0
332.81/332.96	c  332s |      22 |  2202185 |  1787022 |     1221   3506 |        0 |        0
334.81/334.97	c  334s |      22 |  2216021 |  1798422 |     1221   3524 |        0 |        0
336.81/336.99	c  336s |      22 |  2229724 |  1809622 |     1221   3541 |        0 |        0
338.91/339.00	c  338s |      22 |  2242708 |  1820622 |     1221   3559 |        0 |        0
340.91/341.00	c  340s |      22 |  2255601 |  1831722 |     1221   3576 |        0 |        0
342.90/343.02	c  343s |      22 |  2268701 |  1843022 |     1221   3594 |        0 |        0
344.90/345.04	c  345s |      22 |  2281978 |  1854322 |     1221   3612 |        0 |        0
346.90/347.04	c  347s |      22 |  2294802 |  1865022 |     1221   3628 |        0 |        0
348.90/349.06	c  349s |      22 |  2307190 |  1875722 |     1221   3645 |        0 |        0
350.91/351.07	c  351s |      22 |  2320314 |  1886722 |     1221   3662 |        0 |        0
352.90/353.08	c  353s |      22 |  2332587 |  1897422 |     1221   3679 |        0 |        0
354.90/355.09	c  355s |      22 |  2345196 |  1908122 |     1221   3696 |        0 |        0
357.00/357.11	c  357s |      22 |  2357538 |  1918922 |     1221   3713 |        0 |        0
359.00/359.12	c  359s |      22 |  2370972 |  1929922 |     1221   3730 |        0 |        0
361.00/361.14	c  361s |      22 |  2383098 |  1940322 |     1221   3747 |        0 |        0
363.00/363.16	c  363s |      22 |  2394934 |  1950522 |     1221   3763 |        0 |        0
365.00/365.17	c  365s |      22 |  2405737 |  1960222 |     1221   3778 |        0 |        0
367.00/367.18	c  367s |      22 |  2416517 |  1969922 |     1221   3793 |        0 |        0
368.99/369.19	c  369s |      22 |  2429043 |  1980722 |     1221   3810 |        0 |        0
371.09/371.21	c  371s |      22 |  2440384 |  1990722 |     1221   3825 |        0 |        0
373.09/373.21	c  373s |      22 |  2453076 |  2001522 |     1221   3842 |        0 |        0
375.10/375.21	c  375s |      22 |  2466046 |  2012622 |     1221   3860 |        0 |        0
377.09/377.23	c  377s |      22 |  2479200 |  2023722 |     1221   3877 |        0 |        0
379.09/379.24	c  379s |      22 |  2491268 |  2034122 |     1221   3894 |        0 |        0
381.09/381.26	c  381s |      22 |  2502596 |  2044222 |     1221   3909 |        0 |        0
383.09/383.26	c  383s |      22 |  2514120 |  2054322 |     1221   3925 |        0 |        0
385.09/385.28	c  385s |      22 |  2526855 |  2064922 |     1221   3942 |        0 |        0
387.09/387.30	c  387s |      22 |  2538926 |  2075222 |     1221   3958 |        0 |        0
389.18/389.30	c  389s |      22 |  2551682 |  2085822 |     1221   3975 |        0 |        0
391.18/391.30	c  391s |      22 |  2564275 |  2096522 |     1221   3992 |        0 |        0
393.18/393.31	c  393s |      22 |  2576580 |  2107022 |     1221   4008 |        0 |        0
395.18/395.32	c  395s |      22 |  2589429 |  2117722 |     1221   4025 |        0 |        0
397.18/397.34	c  397s |      22 |  2601415 |  2128022 |     1221   4041 |        0 |        0
399.19/399.35	c  399s |      22 |  2614264 |  2138622 |     1221   4058 |        0 |        0
401.19/401.36	c  401s |      22 |  2627137 |  2149322 |     1221   4075 |        0 |        0
403.19/403.38	c  403s |      22 |  2639663 |  2159822 |     1221   4092 |        0 |        0
405.19/405.39	c  405s |      22 |  2651615 |  2169922 |     1221   4107 |        0 |        0
407.19/407.39	c  407s |      22 |  2662504 |  2179422 |     1221   4122 |        0 |        0
409.28/409.40	c  409s |      22 |  2675713 |  2189722 |     1221   4138 |        0 |        0
411.29/411.41	c  411s |      22 |  2688384 |  2200022 |     1221   4155 |        0 |        0
413.28/413.42	c  413s |      22 |  2700661 |  2210522 |     1221   4171 |        0 |        0
415.28/415.44	c  415s |      22 |  2715316 |  2221822 |     1221   4189 |        0 |        0
417.28/417.44	c  417s |      22 |  2729352 |  2233022 |     1221   4207 |        0 |        0
419.28/419.46	c  419s |      22 |  2741921 |  2243922 |     1344   4222 |        0 |        0
420.58/420.73	c  420s |      23 |  2750689 |  2251038 |     1344   4232 |        0 |        0
422.58/422.73	c  422s |      23 |  2765472 |  2261338 |     1344   4247 |        0 |        0
424.58/424.74	c  424s |      23 |  2779982 |  2271538 |     1344   4261 |        0 |        0
426.57/426.75	c  426s |      23 |  2797903 |  2282538 |     1344   4277 |        0 |        0
428.57/428.76	c  428s |      23 |  2814565 |  2293138 |     1344   4292 |        0 |        0
430.57/430.77	c  430s |      23 |  2827887 |  2303738 |     1344   4307 |        0 |        0
432.57/432.77	c  432s |      23 |  2840304 |  2313838 |     1344   4321 |        0 |        0
434.57/434.79	c  434s |      23 |  2852717 |  2323738 |     1344   4335 |        0 |        0
436.57/436.79	c  436s |      23 |  2865111 |  2333538 |     1344   4349 |        0 |        0
438.66/438.81	c  438s |      23 |  2877725 |  2343038 |     1344   4363 |        0 |        0
440.66/440.83	c  440s |      23 |  2892666 |  2353338 |     1344   4377 |        0 |        0
442.66/442.84	c  442s |      23 |  2906684 |  2363138 |     1344   4391 |        0 |        0
444.66/444.86	c  444s |      23 |  2922019 |  2372838 |     1344   4405 |        0 |        0
446.66/446.87	c  446s |      23 |  2934687 |  2382938 |     1344   4419 |        0 |        0
448.66/448.88	c  448s |      23 |  2948449 |  2392838 |     1344   4433 |        0 |        0
450.65/450.88	c  450s |      23 |  2965144 |  2403338 |     1344   4448 |        0 |        0
452.65/452.89	c  452s |      23 |  2979896 |  2413438 |     1344   4462 |        0 |        0
454.65/454.89	c  454s |      23 |  2991754 |  2422838 |     1344   4475 |        0 |        0
456.75/456.91	c  456s |      23 |  3006438 |  2433238 |     1344   4490 |        0 |        0
458.75/458.91	c  458s |      23 |  3020158 |  2443238 |     1344   4504 |        0 |        0
460.76/460.93	c  460s |      23 |  3033625 |  2452938 |     1344   4518 |        0 |        0
462.75/462.94	c  462s |      23 |  3048522 |  2463138 |     1344   4532 |        0 |        0
464.75/464.95	c  464s |      23 |  3062600 |  2472738 |     1344   4546 |        0 |        0
466.75/466.96	c  466s |      23 |  3076299 |  2482938 |     1344   4561 |        0 |        0
468.75/468.97	c  468s |      23 |  3089940 |  2492738 |     1344   4575 |        0 |        0
470.75/470.98	c  470s |      23 |  3101368 |  2501738 |     1344   4587 |        0 |        0
472.75/473.00	c  472s |      23 |  3112131 |  2511038 |     1344   4600 |        0 |        0
474.85/475.01	c  474s |      23 |  3123572 |  2520738 |     1344   4614 |        0 |        0
476.85/477.02	c  477s |      23 |  3134943 |  2530638 |     1344   4628 |        0 |        0
478.84/479.03	c  479s |      23 |  3146403 |  2540538 |     1344   4642 |        0 |        0
480.84/481.03	c  481s |      23 |  3156752 |  2549738 |     1344   4655 |        0 |        0
482.85/483.04	c  483s |      23 |  3168491 |  2559638 |     1344   4669 |        0 |        0
484.84/485.04	c  485s |      23 |  3178905 |  2568838 |     1344   4681 |        0 |        0
486.84/487.05	c  487s |      23 |  3190100 |  2578238 |     1344   4695 |        0 |        0
488.84/489.07	c  489s |      23 |  3201756 |  2587938 |     1344   4708 |        0 |        0
490.84/491.08	c  491s |      23 |  3212702 |  2597138 |     1344   4721 |        0 |        0
492.84/493.10	c  493s |      23 |  3224289 |  2607038 |     1344   4735 |        0 |        0
494.84/495.10	c  495s |      23 |  3235670 |  2616638 |     1344   4749 |        0 |        0
496.93/497.12	c  497s |      23 |  3246905 |  2626238 |     1344   4762 |        0 |        0
498.93/499.13	c  499s |      23 |  3257663 |  2635638 |     1344   4776 |        0 |        0
500.94/501.13	c  501s |      23 |  3268639 |  2644938 |     1344   4789 |        0 |        0
502.94/503.16	c  503s |      23 |  3279461 |  2654138 |     1344   4802 |        0 |        0
504.94/505.17	c  505s |      23 |  3291462 |  2664138 |     1344   4816 |        0 |        0
506.94/507.19	c  507s |      23 |  3303281 |  2673838 |     1344   4829 |        0 |        0
508.93/509.19	c  509s |      23 |  3315050 |  2683938 |     1344   4844 |        0 |        0
511.03/511.21	c  511s |      23 |  3326742 |  2693938 |     1344   4858 |        0 |        0
513.03/513.21	c  513s |      23 |  3338361 |  2703738 |     1344   4872 |        0 |        0
515.03/515.22	c  515s |      23 |  3350163 |  2713738 |     1344   4886 |        0 |        0
517.03/517.22	c  517s |      23 |  3362060 |  2723638 |     1344   4900 |        0 |        0
519.03/519.24	c  519s |      23 |  3374401 |  2733938 |     1344   4914 |        0 |        0
521.02/521.25	c  521s |      23 |  3386449 |  2743938 |     1344   4928 |        0 |        0
523.02/523.25	c  523s |      23 |  3397780 |  2753638 |     1344   4942 |        0 |        0
525.02/525.25	c  525s |      23 |  3409326 |  2763338 |     1344   4956 |        0 |        0
527.02/527.27	c  527s |      23 |  3420713 |  2773138 |     1344   4970 |        0 |        0
529.03/529.27	c  529s |      23 |  3432210 |  2782838 |     1344   4983 |        0 |        0
531.02/531.28	c  531s |      23 |  3443614 |  2792438 |     1344   4997 |        0 |        0
533.02/533.29	c  533s |      23 |  3455824 |  2802638 |     1344   5012 |        0 |        0
535.12/535.30	c  535s |      23 |  3468347 |  2812738 |     1344   5026 |        0 |        0
537.12/537.32	c  537s |      23 |  3480339 |  2822538 |     1344   5040 |        0 |        0
539.11/539.33	c  539s |      23 |  3493120 |  2832538 |     1344   5054 |        0 |        0
541.12/541.34	c  541s |      23 |  3506699 |  2843038 |     1344   5069 |        0 |        0
543.11/543.35	c  543s |      23 |  3518747 |  2852838 |     1344   5083 |        0 |        0
545.11/545.36	c  545s |      23 |  3531534 |  2862838 |     1344   5097 |        0 |        0
547.11/547.36	c  547s |      23 |  3544951 |  2873038 |     1344   5111 |        0 |        0
549.10/549.37	c  549s |      23 |  3558909 |  2883138 |     1344   5126 |        0 |        0
551.10/551.37	c  551s |      23 |  3574293 |  2894338 |     1344   5142 |        0 |        0
553.11/553.38	c  553s |      23 |  3587699 |  2904538 |     1344   5156 |        0 |        0
555.20/555.40	c  555s |      23 |  3601392 |  2914738 |     1344   5171 |        0 |        0
557.20/557.41	c  557s |      23 |  3615371 |  2925038 |     1344   5185 |        0 |        0
559.20/559.42	c  559s |      23 |  3629779 |  2935038 |     1344   5199 |        0 |        0
561.20/561.43	c  561s |      23 |  3644100 |  2945138 |     1344   5214 |        0 |        0
563.20/563.43	c  563s |      23 |  3657418 |  2954538 |     1344   5227 |        0 |        0
565.21/565.44	c  565s |      23 |  3670067 |  2964038 |     1344   5241 |        0 |        0
567.20/567.45	c  567s |      23 |  3681972 |  2973538 |     1344   5254 |        0 |        0
569.19/569.47	c  569s |      23 |  3693784 |  2983138 |     1344   5268 |        0 |        0
571.19/571.48	c  571s |      23 |  3706116 |  2992738 |     1344   5281 |        0 |        0
573.19/573.49	c  573s |      23 |  3718553 |  3002638 |     1344   5295 |        0 |        0
575.20/575.49	c  575s |      23 |  3730583 |  3012438 |     1344   5309 |        0 |        0
577.19/577.49	c  577s |      23 |  3743493 |  3022938 |     1344   5324 |        0 |        0
579.29/579.50	c  579s |      23 |  3756030 |  3033038 |     1344   5338 |        0 |        0
581.28/581.50	c  581s |      23 |  3768969 |  3043238 |     1344   5353 |        0 |        0
583.28/583.51	c  583s |      23 |  3780613 |  3052738 |     1344   5366 |        0 |        0
585.28/585.53	c  585s |      23 |  3791790 |  3062138 |     1344   5380 |        0 |        0
587.29/587.53	c  587s |      23 |  3802523 |  3071438 |     1344   5393 |        0 |        0
589.28/589.55	c  589s |      23 |  3815179 |  3081138 |     1344   5406 |        0 |        0
591.28/591.57	c  591s |      23 |  3829169 |  3091038 |     1344   5420 |        0 |        0
593.28/593.58	c  593s |      23 |  3841766 |  3101038 |     1344   5435 |        0 |        0
595.28/595.59	c  595s |      23 |  3856117 |  3111438 |     1344   5449 |        0 |        0
597.38/597.61	c  597s |      23 |  3869250 |  3121438 |     1344   5464 |        0 |        0
599.38/599.64	c  599s |      23 |  3880965 |  3131138 |     1344   5478 |        0 |        0
601.37/601.65	c  601s |      23 |  3892991 |  3141038 |     1344   5491 |        0 |        0
603.37/603.67	c  603s |      23 |  3903455 |  3150338 |     1344   5505 |        0 |        0
605.37/605.68	c  605s |      23 |  3914743 |  3159838 |     1344   5518 |        0 |        0
607.37/607.69	c  607s |      23 |  3926600 |  3169638 |     1344   5532 |        0 |        0
609.37/609.69	c  609s |      23 |  3937671 |  3178738 |     1344   5545 |        0 |        0
611.38/611.70	c  611s |      23 |  3948634 |  3187838 |     1344   5557 |        0 |        0
613.47/613.71	c  613s |      23 |  3960162 |  3197138 |     1344   5571 |        0 |        0
615.47/615.72	c  615s |      23 |  3971132 |  3206138 |     1344   5583 |        0 |        0
617.47/617.74	c  617s |      23 |  3981517 |  3214738 |     1344   5595 |        0 |        0
619.47/619.76	c  619s |      23 |  3991551 |  3223438 |     1344   5608 |        0 |        0
621.47/621.76	c  621s |      23 |  4002498 |  3232838 |     1344   5621 |        0 |        0
623.47/623.76	c  623s |      23 |  4013276 |  3242138 |     1344   5634 |        0 |        0
625.47/625.77	c  625s |      23 |  4024870 |  3251738 |     1344   5647 |        0 |        0
627.47/627.77	c  627s |      23 |  4035714 |  3261138 |     1344   5661 |        0 |        0
629.46/629.77	c  629s |      23 |  4046817 |  3270638 |     1344   5674 |        0 |        0
631.46/631.79	c  631s |      23 |  4057510 |  3280038 |     1344   5687 |        0 |        0
633.47/633.79	c  633s |      23 |  4068113 |  3289038 |     1344   5700 |        0 |        0
635.57/635.81	c  635s |      23 |  4078815 |  3297938 |     1344   5712 |        0 |        0
637.56/637.83	c  637s |      23 |  4089157 |  3306638 |     1344   5724 |        0 |        0
639.55/639.84	c  639s |      23 |  4100561 |  3315938 |     1344   5738 |        0 |        0
641.55/641.84	c  641s |      23 |  4111385 |  3325238 |     1344   5751 |        0 |        0
643.55/643.85	c  643s |      23 |  4122297 |  3334138 |     1344   5763 |        0 |        0
645.56/645.86	c  645s |      23 |  4132772 |  3342838 |     1344   5775 |        0 |        0
647.55/647.86	c  647s |      23 |  4143281 |  3351538 |     1344   5788 |        0 |        0
649.55/649.87	c  649s |      23 |  4154855 |  3360938 |     1479   5800 |        0 |        0
651.55/651.89	c  651s |      23 |  4167010 |  3370738 |     1479   5812 |        0 |        0
652.85/653.16	c  653s |      24 |  4174816 |  3376662 |     1479   5820 |        0 |        0
654.85/655.17	c  655s |      24 |  4186526 |  3386362 |     1479   5833 |        0 |        0
656.85/657.17	c  657s |      24 |  4197413 |  3395462 |     1479   5844 |        0 |        0
658.84/659.18	c  659s |      24 |  4208229 |  3404362 |     1479   5856 |        0 |        0
660.85/661.18	c  661s |      24 |  4219816 |  3413462 |     1479   5867 |        0 |        0
662.84/663.19	c  663s |      24 |  4232821 |  3423162 |     1479   5880 |        0 |        0
664.94/665.20	c  665s |      24 |  4244404 |  3432762 |     1479   5892 |        0 |        0
666.94/667.21	c  667s |      24 |  4255749 |  3442162 |     1479   5905 |        0 |        0
668.94/669.22	c  669s |      24 |  4267416 |  3451362 |     1479   5917 |        0 |        0
670.94/671.24	c  671s |      24 |  4278274 |  3460062 |     1479   5928 |        0 |        0
672.94/673.26	c  673s |      24 |  4288233 |  3468762 |     1479   5939 |        0 |        0
674.94/675.28	c  675s |      24 |  4297280 |  3476962 |     1479   5950 |        0 |        0
676.94/677.29	c  677s |      24 |  4307885 |  3485662 |     1479   5961 |        0 |        0
679.03/679.30	c  679s |      24 |  4318228 |  3494262 |     1479   5972 |        0 |        0
681.04/681.30	c  681s |      24 |  4328167 |  3502662 |     1479   5983 |        0 |        0
683.04/683.30	c  683s |      24 |  4337690 |  3510962 |     1479   5994 |        0 |        0
685.04/685.31	c  685s |      24 |  4347896 |  3519562 |     1479   6005 |        0 |        0
687.04/687.32	c  687s |      24 |  4359348 |  3528862 |     1479   6017 |        0 |        0
689.03/689.32	c  689s |      24 |  4372040 |  3538262 |     1479   6029 |        0 |        0
691.03/691.35	c  691s |      24 |  4383664 |  3547362 |     1479   6041 |        0 |        0
693.03/693.36	c  693s |      24 |  4395440 |  3556362 |     1479   6052 |        0 |        0
695.04/695.37	c  695s |      24 |  4407487 |  3565762 |     1479   6064 |        0 |        0
697.03/697.38	c  697s |      24 |  4419343 |  3575262 |     1479   6077 |        0 |        0
699.13/699.40	c  699s |      24 |  4431479 |  3584362 |     1479   6088 |        0 |        0
701.13/701.40	c  701s |      24 |  4444295 |  3593862 |     1479   6101 |        0 |        0
703.13/703.41	c  703s |      24 |  4455521 |  3602662 |     1479   6112 |        0 |        0
705.12/705.42	c  705s |      24 |  4466006 |  3610962 |     1479   6123 |        0 |        0
707.13/707.43	c  707s |      24 |  4477479 |  3619762 |     1479   6134 |        0 |        0
709.12/709.43	c  709s |      24 |  4488942 |  3628662 |     1479   6145 |        0 |        0
711.12/711.43	c  711s |      24 |  4499216 |  3637262 |     1479   6156 |        0 |        0
713.12/713.45	c  713s |      24 |  4511950 |  3647262 |     1479   6169 |        0 |        0
715.12/715.45	c  715s |      24 |  4524396 |  3657262 |     1479   6182 |        0 |        0
717.12/717.46	c  717s |      24 |  4536407 |  3667062 |     1479   6195 |        0 |        0
719.12/719.47	c  719s |      24 |  4548584 |  3676562 |     1479   6207 |        0 |        0
721.11/721.48	c  721s |      24 |  4560522 |  3685562 |     1479   6219 |        0 |        0
723.21/723.50	c  723s |      24 |  4572900 |  3695562 |     1479   6232 |        0 |        0
725.21/725.51	c  725s |      24 |  4584770 |  3705262 |     1479   6244 |        0 |        0
727.21/727.52	c  727s |      24 |  4595847 |  3714362 |     1479   6256 |        0 |        0
729.21/729.54	c  729s |      24 |  4606410 |  3723462 |     1479   6267 |        0 |        0
731.21/731.56	c  731s |      24 |  4616558 |  3732062 |     1479   6278 |        0 |        0
733.20/733.57	c  733s |      24 |  4627664 |  3741262 |     1479   6290 |        0 |        0
735.20/735.58	c  735s |      24 |  4638332 |  3750062 |     1479   6302 |        0 |        0
737.20/737.58	c  737s |      24 |  4648332 |  3758862 |     1479   6313 |        0 |        0
739.20/739.59	c  739s |      24 |  4659051 |  3767762 |     1479   6325 |        0 |        0
741.21/741.59	c  741s |      24 |  4668331 |  3775762 |     1479   6335 |        0 |        0
743.21/743.60	c  743s |      24 |  4676843 |  3783362 |     1479   6345 |        0 |        0
745.31/745.62	c  745s |      24 |  4685048 |  3790762 |     1479   6355 |        0 |        0
747.31/747.62	c  747s |      24 |  4695294 |  3799262 |     1479   6366 |        0 |        0
749.30/749.63	c  749s |      24 |  4705452 |  3808262 |     1479   6377 |        0 |        0
751.30/751.63	c  751s |      24 |  4715602 |  3817062 |     1479   6388 |        0 |        0
753.31/753.64	c  753s |      24 |  4725759 |  3825862 |     1479   6399 |        0 |        0
755.30/755.65	c  755s |      24 |  4736757 |  3834862 |     1479   6411 |        0 |        0
757.30/757.66	c  757s |      24 |  4748394 |  3844262 |     1479   6423 |        0 |        0
759.29/759.67	c  759s |      24 |  4758177 |  3852762 |     1479   6434 |        0 |        0
761.29/761.70	c  761s |      24 |  4768207 |  3861462 |     1479   6445 |        0 |        0
763.39/763.70	c  763s |      24 |  4777141 |  3869362 |     1479   6455 |        0 |        0
765.40/765.72	c  765s |      24 |  4785578 |  3876862 |     1479   6465 |        0 |        0
767.39/767.72	c  767s |      24 |  4793684 |  3884262 |     1479   6474 |        0 |        0
769.39/769.74	c  769s |      24 |  4802170 |  3892062 |     1479   6485 |        0 |        0
771.39/771.74	c  771s |      24 |  4811794 |  3900562 |     1479   6495 |        0 |        0
773.39/773.76	c  773s |      24 |  4821969 |  3909462 |     1479   6507 |        0 |        0
775.39/775.76	c  775s |      24 |  4833489 |  3919062 |     1479   6519 |        0 |        0
777.39/777.77	c  777s |      24 |  4843833 |  3927862 |     1479   6531 |        0 |        0
779.38/779.77	c  779s |      24 |  4855204 |  3937162 |     1479   6543 |        0 |        0
781.38/781.78	c  781s |      24 |  4866106 |  3946062 |     1479   6554 |        0 |        0
783.48/783.80	c  783s |      24 |  4877555 |  3955462 |     1479   6566 |        0 |        0
785.48/785.80	c  785s |      24 |  4888115 |  3964562 |     1479   6578 |        0 |        0
787.48/787.80	c  787s |      24 |  4898539 |  3973462 |     1479   6590 |        0 |        0
789.48/789.82	c  789s |      24 |  4909542 |  3982362 |     1479   6601 |        0 |        0
791.47/791.84	c  791s |      24 |  4920197 |  3991162 |     1479   6612 |        0 |        0
793.47/793.85	c  793s |      24 |  4930081 |  3999762 |     1479   6624 |        0 |        0
795.47/795.85	c  795s |      24 |  4941845 |  4009062 |     1479   6636 |        0 |        0
797.47/797.88	c  797s |      24 |  4953806 |  4018262 |     1479   6648 |        0 |        0
799.47/799.89	c  799s |      24 |  4964834 |  4027662 |     1479   6660 |        0 |        0
801.57/801.91	c  801s |      24 |  4977097 |  4037162 |     1479   6672 |        0 |        0
803.57/803.91	c  803s |      24 |  4989086 |  4046362 |     1479   6684 |        0 |        0
805.56/805.91	c  805s |      24 |  5001959 |  4056162 |     1479   6697 |        0 |        0
807.56/807.92	c  807s |      24 |  5013746 |  4065762 |     1479   6709 |        0 |        0
809.56/809.94	c  809s |      24 |  5025270 |  4074962 |     1479   6721 |        0 |        0
811.56/811.96	c  811s |      24 |  5035389 |  4083462 |     1479   6732 |        0 |        0
813.56/813.97	c  813s |      24 |  5044088 |  4091362 |     1479   6742 |        0 |        0
815.56/815.99	c  815s |      24 |  5053174 |  4099462 |     1479   6753 |        0 |        0
817.65/818.00	c  817s |      24 |  5063594 |  4108162 |     1479   6764 |        0 |        0
819.66/820.01	c  819s |      24 |  5072557 |  4116162 |     1479   6775 |        0 |        0
821.66/822.03	c  822s |      24 |  5082046 |  4124562 |     1479   6786 |        0 |        0
823.67/824.05	c  824s |      24 |  5091157 |  4132762 |     1479   6796 |        0 |        0
825.66/826.08	c  826s |      24 |  5100185 |  4140862 |     1479   6807 |        0 |        0
827.66/828.09	c  828s |      24 |  5109212 |  4148862 |     1479   6817 |        0 |        0
829.65/830.09	c  830s |      24 |  5117598 |  4156362 |     1479   6827 |        0 |        0
831.75/832.12	c  832s |      24 |  5126212 |  4163962 |     1479   6837 |        0 |        0
833.75/834.13	c  834s |      24 |  5135576 |  4171962 |     1479   6847 |        0 |        0
835.76/836.13	c  836s |      24 |  5144375 |  4179862 |     1479   6858 |        0 |        0
837.75/838.13	c  838s |      24 |  5153368 |  4187762 |     1479   6868 |        0 |        0
839.75/840.15	c  840s |      24 |  5162438 |  4195762 |     1479   6878 |        0 |        0
841.75/842.15	c  842s |      24 |  5171017 |  4203562 |     1479   6888 |        0 |        0
843.75/844.18	c  844s |      24 |  5179773 |  4211462 |     1479   6899 |        0 |        0
845.75/846.19	c  846s |      24 |  5189464 |  4219762 |     1479   6909 |        0 |        0
847.75/848.20	c  848s |      24 |  5201034 |  4228862 |     1479   6921 |        0 |        0
849.84/850.21	c  850s |      24 |  5211455 |  4237462 |     1479   6932 |        0 |        0
851.84/852.21	c  852s |      24 |  5222350 |  4246162 |     1479   6944 |        0 |        0
853.84/854.22	c  854s |      24 |  5234598 |  4255562 |     1479   6956 |        0 |        0
855.84/856.23	c  856s |      24 |  5246969 |  4264862 |     1479   6968 |        0 |        0
857.84/858.23	c  858s |      24 |  5256872 |  4273262 |     1479   6979 |        0 |        0
859.84/860.25	c  860s |      24 |  5267792 |  4281862 |     1479   6990 |        0 |        0
861.84/862.27	c  862s |      24 |  5277755 |  4290362 |     1479   7001 |        0 |        0
863.83/864.29	c  864s |      24 |  5288135 |  4298862 |     1479   7012 |        0 |        0
865.83/866.29	c  866s |      24 |  5298547 |  4307262 |     1479   7023 |        0 |        0
867.93/868.30	c  868s |      24 |  5310342 |  4316062 |     1479   7035 |        0 |        0
869.93/870.31	c  870s |      24 |  5320837 |  4324962 |     1479   7046 |        0 |        0
871.94/872.32	c  872s |      24 |  5330783 |  4333362 |     1479   7057 |        0 |        0
873.93/874.33	c  874s |      24 |  5340943 |  4341662 |     1479   7068 |        0 |        0
875.93/876.34	c  876s |      24 |  5351702 |  4350462 |     1479   7079 |        0 |        0
877.93/878.36	c  878s |      24 |  5362760 |  4359562 |     1479   7091 |        0 |        0
879.93/880.37	c  880s |      24 |  5374066 |  4368862 |     1479   7103 |        0 |        0
882.02/882.40	c  882s |      24 |  5384282 |  4377662 |     1479   7115 |        0 |        0
884.03/884.42	c  884s |      24 |  5395532 |  4386462 |     1479   7126 |        0 |        0
886.02/886.43	c  886s |      24 |  5406003 |  4394762 |     1479   7137 |        0 |        0
888.02/888.43	c  888s |      24 |  5417241 |  4403662 |     1479   7148 |        0 |        0
890.02/890.46	c  890s |      24 |  5427403 |  4412162 |     1479   7160 |        0 |        0
892.02/892.46	c  892s |      24 |  5439355 |  4421162 |     1479   7171 |        0 |        0
894.02/894.48	c  894s |      24 |  5450637 |  4430262 |     1479   7183 |        0 |        0
896.02/896.50	c  896s |      24 |  5461543 |  4438962 |     1479   7194 |        0 |        0
898.12/898.50	c  898s |      24 |  5472693 |  4447462 |     1479   7205 |        0 |        0
900.12/900.51	c  900s |      24 |  5483375 |  4456062 |     1479   7216 |        0 |        0
902.12/902.52	c  902s |      24 |  5493740 |  4464762 |     1479   7228 |        0 |        0
904.12/904.52	c  904s |      24 |  5504348 |  4473462 |     1479   7239 |        0 |        0
906.12/906.54	c  906s |      24 |  5514046 |  4481662 |     1479   7249 |        0 |        0
908.12/908.54	c  908s |      24 |  5523360 |  4489762 |     1479   7260 |        0 |        0
910.11/910.54	c  910s |      24 |  5532905 |  4497962 |     1479   7271 |        0 |        0
912.11/912.55	c  912s |      24 |  5541284 |  4505462 |     1479   7280 |        0 |        0
914.11/914.55	c  914s |      24 |  5549944 |  4513162 |     1479   7290 |        0 |        0
916.11/916.55	c  916s |      24 |  5558481 |  4520862 |     1479   7300 |        0 |        0
918.12/918.56	c  918s |      24 |  5567351 |  4528662 |     1479   7310 |        0 |        0
920.11/920.57	c  920s |      24 |  5575846 |  4536262 |     1479   7320 |        0 |        0
922.11/922.58	c  922s |      24 |  5584010 |  4543662 |     1479   7330 |        0 |        0
924.21/924.60	c  924s |      24 |  5591501 |  4550562 |     1479   7338 |        0 |        0
926.22/926.61	c  926s |      24 |  5601745 |  4558962 |     1479   7349 |        0 |        0
928.22/928.63	c  928s |      24 |  5611495 |  4567262 |     1479   7360 |        0 |        0
930.22/930.63	c  930s |      24 |  5622206 |  4576262 |     1479   7371 |        0 |        0
932.22/932.65	c  932s |      24 |  5633871 |  4585462 |     1479   7383 |        0 |        0
934.22/934.65	c  934s |      24 |  5644595 |  4594062 |     1479   7394 |        0 |        0
936.22/936.65	c  936s |      24 |  5655014 |  4602962 |     1479   7406 |        0 |        0
938.22/938.67	c  938s |      24 |  5666542 |  4612262 |     1479   7418 |        0 |        0
940.22/940.68	c  940s |      24 |  5677355 |  4621062 |     1479   7429 |        0 |        0
942.22/942.69	c  942s |      24 |  5688194 |  4629562 |     1479   7440 |        0 |        0
944.22/944.69	c  944s |      24 |  5699921 |  4638362 |     1479   7451 |        0 |        0
946.31/946.71	c  946s |      24 |  5710358 |  4646862 |     1479   7462 |        0 |        0
948.31/948.71	c  948s |      24 |  5719385 |  4655062 |     1479   7473 |        0 |        0
950.31/950.72	c  950s |      24 |  5728349 |  4663062 |     1479   7483 |        0 |        0
952.32/952.72	c  952s |      24 |  5738655 |  4671862 |     1479   7494 |        0 |        0
954.31/954.72	c  954s |      24 |  5749200 |  4680862 |     1479   7506 |        0 |        0
956.31/956.73	c  956s |      24 |  5760186 |  4689962 |     1479   7518 |        0 |        0
958.31/958.74	c  958s |      24 |  5770442 |  4698362 |     1479   7528 |        0 |        0
960.31/960.74	c  960s |      24 |  5782099 |  4706962 |     1479   7540 |        0 |        0
962.31/962.77	c  962s |      24 |  5793959 |  4715862 |     1479   7551 |        0 |        0
964.32/964.77	c  964s |      24 |  5802624 |  4723962 |     1479   7562 |        0 |        0
966.31/966.79	c  966s |      24 |  5813067 |  4733062 |     1479   7573 |        0 |        0
968.41/968.81	c  968s |      24 |  5823998 |  4742262 |     1479   7585 |        0 |        0
970.41/970.82	c  970s |      24 |  5835610 |  4751762 |     1479   7598 |        0 |        0
972.41/972.83	c  972s |      24 |  5847939 |  4761262 |     1479   7610 |        0 |        0
974.41/974.83	c  974s |      24 |  5860422 |  4770662 |     1479   7622 |        0 |        0
976.41/976.84	c  976s |      24 |  5871721 |  4779962 |     1479   7634 |        0 |        0
978.41/978.87	c  978s |      24 |  5881927 |  4788462 |     1479   7645 |        0 |        0
980.41/980.87	c  980s |      24 |  5892728 |  4797362 |     1479   7657 |        0 |        0
982.41/982.88	c  982s |      24 |  5904157 |  4806562 |     1479   7668 |        0 |        0
984.41/984.89	c  984s |      24 |  5915503 |  4815662 |     1479   7680 |        0 |        0
986.41/986.89	c  986s |      24 |  5926804 |  4824562 |     1479   7692 |        0 |        0
988.51/988.90	c  988s |      24 |  5938784 |  4833462 |     1479   7703 |        0 |        0
990.50/990.93	c  990s |      24 |  5951875 |  4842962 |     1479   7716 |        0 |        0
992.50/992.94	c  992s |      24 |  5963598 |  4852062 |     1479   7727 |        0 |        0
994.50/994.95	c  994s |      24 |  5973795 |  4860662 |     1479   7738 |        0 |        0
996.50/996.95	c  996s |      24 |  5985027 |  4869662 |     1479   7750 |        0 |        0
998.51/998.96	c  998s |      24 |  5997198 |  4878562 |     1479   7762 |        0 |        0
1000.50/1000.97	c 1000s |      24 |  6008409 |  4887862 |     1479   7774 |        0 |        0
1002.50/1002.99	c 1002s |      24 |  6019678 |  4896862 |     1479   7785 |        0 |        0
1004.60/1005.00	c 1004s |      24 |  6030220 |  4905362 |     1479   7796 |        0 |        0
1006.60/1007.01	c 1006s |      24 |  6042095 |  4914462 |     1479   7808 |        0 |        0
1008.60/1009.04	c 1009s |      24 |  6052982 |  4923462 |     1479   7820 |        0 |        0
1010.61/1011.04	c 1011s |      24 |  6062750 |  4931762 |     1479   7830 |        0 |        0
1012.60/1013.04	c 1013s |      24 |  6071919 |  4939762 |     1479   7841 |        0 |        0
1014.60/1015.07	c 1015s |      24 |  6081328 |  4947662 |     1479   7851 |        0 |        0
1016.60/1017.08	c 1017s |      24 |  6090764 |  4955662 |     1479   7861 |        0 |        0
1018.60/1019.08	c 1019s |      24 |  6099989 |  4963662 |     1479   7871 |        0 |        0
1020.60/1021.09	c 1021s |      24 |  6110392 |  4971962 |     1479   7882 |        0 |        0
1022.60/1023.09	c 1023s |      24 |  6121174 |  4980262 |     1479   7893 |        0 |        0
1024.70/1025.10	c 1025s |      24 |  6132291 |  4988862 |     1479   7904 |        0 |        0
1026.70/1027.11	c 1027s |      24 |  6141980 |  4997062 |     1479   7914 |        0 |        0
1028.70/1029.12	c 1029s |      24 |  6151251 |  5005362 |     1479   7925 |        0 |        0
1030.70/1031.13	c 1031s |      24 |  6161573 |  5014062 |     1479   7937 |        0 |        0
1032.70/1033.15	c 1033s |      24 |  6172149 |  5022962 |     1479   7948 |        0 |        0
1034.70/1035.17	c 1035s |      24 |  6182895 |  5031962 |     1627   7959 |        0 |        0
1036.70/1037.18	c 1037s |      24 |  6193386 |  5040962 |     1627   7970 |        0 |        0
1038.70/1039.19	c 1039s |      24 |  6202571 |  5049462 |     1627   7980 |        0 |        0
1040.79/1041.21	c 1041s |      24 |  6212272 |  5057862 |     1627   7990 |        0 |        0
1042.59/1043.02	c 1043s |      25 |  6220300 |  5065098 |     1627   7999 |        0 |        0
1044.60/1045.03	c 1045s |      25 |  6234446 |  5073998 |     1627   8009 |        0 |        0
1046.59/1047.03	c 1047s |      25 |  6245189 |  5082798 |     1627   8019 |        0 |        0
1048.59/1049.05	c 1049s |      25 |  6256816 |  5091898 |     1627   8030 |        0 |        0
1050.59/1051.06	c 1051s |      25 |  6268205 |  5100998 |     1627   8041 |        0 |        0
1052.59/1053.07	c 1053s |      25 |  6281430 |  5110498 |     1627   8052 |        0 |        0
1054.60/1055.07	c 1055s |      25 |  6293294 |  5119298 |     1627   8062 |        0 |        0
1056.59/1057.08	c 1057s |      25 |  6305787 |  5128498 |     1627   8073 |        0 |        0
1058.59/1059.10	c 1059s |      25 |  6318590 |  5137898 |     1627   8084 |        0 |        0
1060.69/1061.10	c 1061s |      25 |  6333923 |  5147598 |     1627   8096 |        0 |        0
1062.69/1063.11	c 1063s |      25 |  6348255 |  5156998 |     1627   8107 |        0 |        0
1064.69/1065.12	c 1065s |      25 |  6363092 |  5166398 |     1627   8118 |        0 |        0
1066.70/1067.13	c 1067s |      25 |  6378003 |  5176098 |     1627   8129 |        0 |        0
1068.70/1069.16	c 1069s |      25 |  6390920 |  5185098 |     1627   8140 |        0 |        0
1070.70/1071.16	c 1071s |      25 |  6403020 |  5194098 |     1627   8150 |        0 |        0
1072.69/1073.17	c 1073s |      25 |  6417111 |  5203398 |     1627   8161 |        0 |        0
1074.69/1075.18	c 1075s |      25 |  6429133 |  5211898 |     1627   8171 |        0 |        0
1076.69/1077.18	c 1077s |      25 |  6441423 |  5220698 |     1627   8181 |        0 |        0
1078.70/1079.20	c 1079s |      25 |  6455389 |  5229898 |     1627   8192 |        0 |        0
1080.79/1081.21	c 1081s |      25 |  6468706 |  5239298 |     1627   8203 |        0 |        0
1082.79/1083.22	c 1083s |      25 |  6481004 |  5248198 |     1627   8214 |        0 |        0
1084.79/1085.23	c 1085s |      25 |  6493913 |  5256898 |     1627   8224 |        0 |        0
1086.79/1087.23	c 1087s |      25 |  6507661 |  5265998 |     1627   8235 |        0 |        0
1088.79/1089.24	c 1089s |      25 |  6519188 |  5274298 |     1627   8244 |        0 |        0
1090.80/1091.25	c 1091s |      25 |  6531334 |  5282498 |     1627   8254 |        0 |        0
1092.79/1093.27	c 1093s |      25 |  6543857 |  5290898 |     1627   8264 |        0 |        0
1094.89/1095.30	c 1095s |      25 |  6554486 |  5299098 |     1627   8274 |        0 |        0
1096.89/1097.32	c 1097s |      25 |  6566675 |  5307898 |     1627   8284 |        0 |        0
1098.89/1099.34	c 1099s |      25 |  6577888 |  5316298 |     1627   8294 |        0 |        0
1100.89/1101.36	c 1101s |      25 |  6589174 |  5324698 |     1627   8304 |        0 |        0
1102.89/1103.37	c 1103s |      25 |  6599385 |  5332698 |     1627   8313 |        0 |        0
1104.89/1105.37	c 1105s |      25 |  6609921 |  5341498 |     1627   8324 |        0 |        0
1106.88/1107.38	c 1107s |      25 |  6619942 |  5350298 |     1627   8334 |        0 |        0
1108.88/1109.39	c 1109s |      25 |  6629978 |  5358798 |     1627   8344 |        0 |        0
1110.88/1111.39	c 1111s |      25 |  6639524 |  5366998 |     1627   8353 |        0 |        0
1112.98/1113.41	c 1113s |      25 |  6649888 |  5375398 |     1627   8363 |        0 |        0
1114.99/1115.41	c 1115s |      25 |  6658648 |  5382998 |     1627   8372 |        0 |        0
1116.98/1117.43	c 1117s |      25 |  6669077 |  5391398 |     1627   8382 |        0 |        0
1118.98/1119.45	c 1119s |      25 |  6679076 |  5399898 |     1627   8392 |        0 |        0
1120.98/1121.45	c 1121s |      25 |  6690248 |  5408698 |     1627   8402 |        0 |        0
1122.98/1123.47	c 1123s |      25 |  6700710 |  5417198 |     1627   8412 |        0 |        0
1124.99/1125.48	c 1125s |      25 |  6711103 |  5425398 |     1627   8421 |        0 |        0
1126.98/1127.49	c 1127s |      25 |  6722129 |  5433698 |     1627   8431 |        0 |        0
1129.08/1129.50	c 1129s |      25 |  6732686 |  5442098 |     1627   8441 |        0 |        0
1131.08/1131.51	c 1131s |      25 |  6743938 |  5450598 |     1627   8451 |        0 |        0
1133.08/1133.52	c 1133s |      25 |  6754299 |  5458898 |     1627   8461 |        0 |        0
1135.08/1135.54	c 1135s |      25 |  6765260 |  5467198 |     1627   8470 |        0 |        0
1137.09/1137.55	c 1137s |      25 |  6776235 |  5475998 |     1627   8481 |        0 |        0
1139.08/1139.55	c 1139s |      25 |  6787368 |  5484898 |     1627   8491 |        0 |        0
1141.09/1141.57	c 1141s |      25 |  6798425 |  5493598 |     1627   8501 |        0 |        0
1143.09/1143.57	c 1143s |      25 |  6808678 |  5501898 |     1627   8511 |        0 |        0
1145.09/1145.59	c 1145s |      25 |  6821146 |  5510798 |     1627   8521 |        0 |        0
1147.19/1147.62	c 1147s |      25 |  6832643 |  5519398 |     1627   8532 |        0 |        0
1149.19/1149.64	c 1149s |      25 |  6843253 |  5527998 |     1627   8542 |        0 |        0
1151.18/1151.64	c 1151s |      25 |  6853177 |  5536198 |     1627   8551 |        0 |        0
1153.18/1153.65	c 1153s |      25 |  6864706 |  5544798 |     1627   8561 |        0 |        0
1155.18/1155.65	c 1155s |      25 |  6875131 |  5552898 |     1627   8571 |        0 |        0
1157.18/1157.67	c 1157s |      25 |  6887301 |  5561898 |     1627   8581 |        0 |        0
1159.18/1159.68	c 1159s |      25 |  6899664 |  5570998 |     1627   8592 |        0 |        0
1161.19/1161.70	c 1161s |      25 |  6910749 |  5579898 |     1627   8603 |        0 |        0
1163.28/1163.71	c 1163s |      25 |  6921286 |  5588698 |     1627   8613 |        0 |        0
1165.28/1165.71	c 1165s |      25 |  6931294 |  5597198 |     1627   8623 |        0 |        0
1167.28/1167.72	c 1167s |      25 |  6941722 |  5605698 |     1627   8633 |        0 |        0
1169.28/1169.73	c 1169s |      25 |  6956228 |  5615398 |     1627   8644 |        0 |        0
1171.28/1171.75	c 1171s |      25 |  6968935 |  5624198 |     1627   8655 |        0 |        0
1173.29/1173.75	c 1173s |      25 |  6982876 |  5633798 |     1627   8666 |        0 |        0
1175.28/1175.76	c 1175s |      25 |  6996628 |  5643098 |     1627   8677 |        0 |        0
1177.28/1177.76	c 1177s |      25 |  7007456 |  5651698 |     1627   8687 |        0 |        0
1179.28/1179.77	c 1179s |      25 |  7019281 |  5660898 |     1627   8698 |        0 |        0
1181.28/1181.79	c 1181s |      25 |  7030024 |  5669798 |     1627   8708 |        0 |        0
1183.38/1183.80	c 1183s |      25 |  7042179 |  5678698 |     1627   8719 |        0 |        0
1185.38/1185.82	c 1185s |      25 |  7054169 |  5687498 |     1627   8729 |        0 |        0
1187.38/1187.82	c 1187s |      25 |  7066202 |  5696598 |     1627   8740 |        0 |        0
1189.38/1189.82	c 1189s |      25 |  7078573 |  5705998 |     1627   8751 |        0 |        0
1191.38/1191.84	c 1191s |      25 |  7090380 |  5714498 |     1627   8761 |        0 |        0
1193.38/1193.84	c 1193s |      25 |  7100254 |  5722698 |     1627   8770 |        0 |        0
1195.38/1195.84	c 1195s |      25 |  7109260 |  5730698 |     1627   8780 |        0 |        0
1197.38/1197.85	c 1197s |      25 |  7120464 |  5739598 |     1627   8790 |        0 |        0
1199.38/1199.87	c 1199s |      25 |  7133375 |  5748998 |     1627   8801 |        0 |        0
1201.38/1201.88	c 1201s |      25 |  7146424 |  5757998 |     1627   8812 |        0 |        0
1203.38/1203.89	c 1203s |      25 |  7159120 |  5766998 |     1627   8822 |        0 |        0
1205.38/1205.90	c 1205s |      25 |  7170700 |  5775998 |     1627   8833 |        0 |        0
1207.48/1207.91	c 1207s |      25 |  7182840 |  5785098 |     1627   8844 |        0 |        0
1209.48/1209.92	c 1209s |      25 |  7195272 |  5794198 |     1627   8854 |        0 |        0
1211.47/1211.94	c 1211s |      25 |  7205458 |  5802798 |     1627   8864 |        0 |        0
1213.47/1213.95	c 1213s |      25 |  7215155 |  5810898 |     1627   8874 |        0 |        0
1215.47/1215.95	c 1215s |      25 |  7227474 |  5819898 |     1627   8884 |        0 |        0
1217.47/1217.96	c 1217s |      25 |  7241203 |  5829098 |     1627   8895 |        0 |        0
1219.48/1219.98	c 1219s |      25 |  7254044 |  5837898 |     1627   8906 |        0 |        0
1221.57/1222.00	c 1221s |      25 |  7267092 |  5847098 |     1627   8916 |        0 |        0
1223.57/1224.01	c 1224s |      25 |  7281400 |  5856198 |     1627   8927 |        0 |        0
1225.57/1226.02	c 1226s |      25 |  7294979 |  5865198 |     1627   8938 |        0 |        0
1227.57/1228.03	c 1228s |      25 |  7308557 |  5874098 |     1627   8948 |        0 |        0
1229.57/1230.04	c 1230s |      25 |  7319847 |  5882598 |     1627   8958 |        0 |        0
1231.58/1232.05	c 1232s |      25 |  7329432 |  5890398 |     1627   8967 |        0 |        0
1233.57/1234.06	c 1234s |      25 |  7339619 |  5898698 |     1627   8977 |        0 |        0
1235.57/1236.07	c 1236s |      25 |  7350335 |  5907298 |     1627   8987 |        0 |        0
1237.67/1238.10	c 1238s |      25 |  7361652 |  5916198 |     1627   8998 |        0 |        0
1239.67/1240.10	c 1240s |      25 |  7373720 |  5924998 |     1627   9008 |        0 |        0
1241.67/1242.12	c 1242s |      25 |  7384792 |  5933698 |     1627   9018 |        0 |        0
1243.67/1244.13	c 1244s |      25 |  7394928 |  5941998 |     1627   9028 |        0 |        0
1245.67/1246.15	c 1246s |      25 |  7405956 |  5950398 |     1627   9038 |        0 |        0
1247.67/1248.17	c 1248s |      25 |  7417539 |  5959098 |     1627   9048 |        0 |        0
1249.67/1250.18	c 1250s |      25 |  7429205 |  5968298 |     1627   9058 |        0 |        0
1251.67/1252.18	c 1252s |      25 |  7440468 |  5977098 |     1627   9069 |        0 |        0
1253.77/1254.20	c 1254s |      25 |  7451504 |  5985798 |     1627   9079 |        0 |        0
1255.67/1256.20	c 1256s |      25 |  7462090 |  5994298 |     1627   9089 |        0 |        0
1257.76/1258.22	c 1258s |      25 |  7472109 |  6002398 |     1627   9098 |        0 |        0
1259.76/1260.23	c 1260s |      25 |  7482517 |  6010898 |     1627   9108 |        0 |        0
1261.76/1262.25	c 1262s |      25 |  7492990 |  6019298 |     1627   9118 |        0 |        0
1263.76/1264.26	c 1264s |      25 |  7502673 |  6027098 |     1627   9127 |        0 |        0
1265.77/1266.26	c 1266s |      25 |  7512576 |  6035398 |     1627   9137 |        0 |        0
1267.76/1268.27	c 1268s |      25 |  7521005 |  6042798 |     1627   9146 |        0 |        0
1269.76/1270.28	c 1270s |      25 |  7530515 |  6050798 |     1627   9155 |        0 |        0
1271.76/1272.28	c 1272s |      25 |  7540403 |  6058898 |     1627   9164 |        0 |        0
1273.86/1274.31	c 1274s |      25 |  7549822 |  6066798 |     1627   9174 |        0 |        0
1275.86/1276.32	c 1276s |      25 |  7558999 |  6074498 |     1627   9183 |        0 |        0
1277.87/1278.33	c 1278s |      25 |  7568997 |  6082798 |     1627   9192 |        0 |        0
1279.86/1280.33	c 1280s |      25 |  7579400 |  6090998 |     1627   9202 |        0 |        0
1281.86/1282.35	c 1282s |      25 |  7590052 |  6099398 |     1627   9212 |        0 |        0
1283.86/1284.35	c 1284s |      25 |  7600426 |  6107598 |     1627   9221 |        0 |        0
1285.86/1286.37	c 1286s |      25 |  7610391 |  6115698 |     1627   9230 |        0 |        0
1287.86/1288.38	c 1288s |      25 |  7621323 |  6123998 |     1627   9240 |        0 |        0
1289.86/1290.40	c 1290s |      25 |  7631755 |  6132498 |     1627   9250 |        0 |        0
1291.96/1292.40	c 1292s |      25 |  7641301 |  6140398 |     1627   9259 |        0 |        0
1293.96/1294.41	c 1294s |      25 |  7651055 |  6148498 |     1627   9269 |        0 |        0
1295.96/1296.41	c 1296s |      25 |  7661689 |  6156898 |     1627   9278 |        0 |        0
1297.96/1298.43	c 1298s |      25 |  7673833 |  6166198 |     1627   9289 |        0 |        0
1299.96/1300.44	c 1300s |      25 |  7687200 |  6175598 |     1627   9300 |        0 |        0
1301.96/1302.45	c 1302s |      25 |  7699022 |  6184198 |     1627   9310 |        0 |        0
1303.96/1304.47	c 1304s |      25 |  7710921 |  6193198 |     1627   9321 |        0 |        0
1305.96/1306.49	c 1306s |      25 |  7722352 |  6201898 |     1627   9331 |        0 |        0
1308.06/1308.50	c 1308s |      25 |  7733467 |  6210398 |     1627   9341 |        0 |        0
1310.05/1310.51	c 1310s |      25 |  7745267 |  6219298 |     1627   9351 |        0 |        0
1312.05/1312.53	c 1312s |      25 |  7756023 |  6227598 |     1627   9361 |        0 |        0
1314.06/1314.54	c 1314s |      25 |  7766999 |  6236198 |     1627   9371 |        0 |        0
1316.05/1316.56	c 1316s |      25 |  7778432 |  6244898 |     1627   9381 |        0 |        0
1318.05/1318.56	c 1318s |      25 |  7792560 |  6254198 |     1627   9392 |        0 |        0
1320.05/1320.57	c 1320s |      25 |  7803138 |  6262698 |     1627   9402 |        0 |        0
1322.05/1322.59	c 1322s |      25 |  7813600 |  6270898 |     1627   9412 |        0 |        0
1324.15/1324.61	c 1324s |      25 |  7824890 |  6279398 |     1627   9422 |        0 |        0
1326.16/1326.63	c 1326s |      25 |  7836824 |  6288298 |     1627   9432 |        0 |        0
1328.15/1328.64	c 1328s |      25 |  7848633 |  6297198 |     1627   9443 |        0 |        0
1330.15/1330.65	c 1330s |      25 |  7859872 |  6305798 |     1627   9453 |        0 |        0
1332.15/1332.67	c 1332s |      25 |  7868773 |  6313398 |     1627   9462 |        0 |        0
1334.15/1334.68	c 1334s |      25 |  7878318 |  6321298 |     1627   9471 |        0 |        0
1336.25/1336.70	c 1336s |      25 |  7887223 |  6328798 |     1627   9480 |        0 |        0
1338.25/1338.71	c 1338s |      25 |  7895673 |  6335998 |     1627   9489 |        0 |        0
1340.25/1340.72	c 1340s |      25 |  7906747 |  6344498 |     1627   9499 |        0 |        0
1342.25/1342.73	c 1342s |      25 |  7919006 |  6353198 |     1627   9509 |        0 |        0
1344.25/1344.74	c 1344s |      25 |  7929480 |  6361498 |     1627   9519 |        0 |        0
1346.25/1346.76	c 1346s |      25 |  7939282 |  6369598 |     1627   9528 |        0 |        0
1348.25/1348.76	c 1348s |      25 |  7950174 |  6377898 |     1627   9538 |        0 |        0
1350.25/1350.78	c 1350s |      25 |  7960558 |  6386298 |     1627   9548 |        0 |        0
1352.35/1352.80	c 1352s |      25 |  7970350 |  6394398 |     1627   9557 |        0 |        0
1354.35/1354.82	c 1354s |      25 |  7983744 |  6403698 |     1627   9568 |        0 |        0
1356.34/1356.83	c 1356s |      25 |  7995767 |  6412498 |     1627   9578 |        0 |        0
1358.34/1358.84	c 1358s |      25 |  8006588 |  6420998 |     1627   9588 |        0 |        0
1360.36/1360.86	c 1360s |      25 |  8017711 |  6429498 |     1627   9598 |        0 |        0
1362.35/1362.88	c 1362s |      25 |  8028325 |  6437798 |     1627   9608 |        0 |        0
1364.45/1364.90	c 1364s |      25 |  8038260 |  6445998 |     1627   9618 |        0 |        0
1366.45/1366.91	c 1366s |      25 |  8048405 |  6454298 |     1627   9628 |        0 |        0
1368.45/1368.92	c 1368s |      25 |  8061050 |  6463498 |     1627   9638 |        0 |        0
1370.45/1370.92	c 1370s |      25 |  8073070 |  6472498 |     1627   9649 |        0 |        0
1372.46/1372.94	c 1372s |      25 |  8085396 |  6481498 |     1627   9660 |        0 |        0
1374.45/1374.96	c 1374s |      25 |  8096073 |  6489898 |     1627   9670 |        0 |        0
1376.45/1376.96	c 1376s |      25 |  8105168 |  6497498 |     1627   9679 |        0 |        0
1378.55/1379.00	c 1378s |      25 |  8116973 |  6505998 |     1627   9689 |        0 |        0
1380.55/1381.01	c 1380s |      25 |  8126989 |  6513998 |     1627   9698 |        0 |        0
1382.54/1383.01	c 1382s |      25 |  8139773 |  6523298 |     1627   9709 |        0 |        0
1384.55/1385.04	c 1385s |      25 |  8152284 |  6532398 |     1627   9720 |        0 |        0
1386.54/1387.05	c 1387s |      25 |  8166059 |  6541798 |     1627   9731 |        0 |        0
1388.54/1389.07	c 1389s |      25 |  8177913 |  6550798 |     1627   9741 |        0 |        0
1390.54/1391.07	c 1391s |      25 |  8187845 |  6559198 |     1627   9751 |        0 |        0
1392.54/1393.08	c 1393s |      25 |  8198007 |  6567698 |     1627   9761 |        0 |        0
1394.64/1395.10	c 1395s |      25 |  8209594 |  6576598 |     1627   9771 |        0 |        0
1396.54/1397.10	c 1397s |      25 |  8222611 |  6585998 |     1627   9782 |        0 |        0
1398.64/1399.11	c 1399s |      25 |  8235664 |  6595498 |     1627   9794 |        0 |        0
1400.64/1401.12	c 1401s |      25 |  8248388 |  6604398 |     1627   9804 |        0 |        0
1402.64/1403.13	c 1403s |      25 |  8261131 |  6613298 |     1627   9814 |        0 |        0
1404.64/1405.14	c 1405s |      25 |  8271725 |  6621498 |     1627   9824 |        0 |        0
1406.64/1407.16	c 1407s |      25 |  8281861 |  6629398 |     1627   9833 |        0 |        0
1408.65/1409.17	c 1409s |      25 |  8293224 |  6637998 |     1627   9843 |        0 |        0
1410.65/1411.19	c 1411s |      25 |  8304358 |  6646598 |     1627   9853 |        0 |        0
1412.75/1413.21	c 1413s |      25 |  8315913 |  6654998 |     1627   9863 |        0 |        0
1414.74/1415.22	c 1415s |      25 |  8327856 |  6663298 |     1627   9873 |        0 |        0
1416.74/1417.22	c 1417s |      25 |  8340045 |  6671898 |     1627   9883 |        0 |        0
1418.74/1419.24	c 1419s |      25 |  8351761 |  6680398 |     1627   9893 |        0 |        0
1420.75/1421.25	c 1421s |      25 |  8363726 |  6689198 |     1627   9904 |        0 |        0
1422.74/1423.26	c 1423s |      25 |  8376339 |  6697998 |     1627   9914 |        0 |        0
1424.74/1425.27	c 1425s |      25 |  8386752 |  6706598 |     1627   9924 |        0 |        0
1426.74/1427.29	c 1427s |      25 |  8398788 |  6715198 |     1627   9934 |        0 |        0
1428.84/1429.31	c 1429s |      25 |  8410932 |  6723998 |     1627   9945 |        0 |        0
1430.84/1431.32	c 1431s |      25 |  8424001 |  6733098 |     1627   9955 |        0 |        0
1432.85/1433.33	c 1433s |      25 |  8437425 |  6742198 |     1627   9966 |        0 |        0
1434.84/1435.35	c 1435s |      25 |  8448185 |  6750198 |     1627   9975 |        0 |        0
1436.84/1437.36	c 1437s |      25 |  8460381 |  6758498 |     1627   9985 |        0 |        0
1438.84/1439.36	c 1439s |      25 |  8472542 |  6766698 |     1627   9995 |        0 |        0
1440.84/1441.38	c 1441s |      25 |  8483871 |  6775098 |     1627  10005 |        0 |        0
1442.93/1443.40	c 1443s |      25 |  8493522 |  6782798 |     1627  10014 |        0 |        0
1444.94/1445.42	c 1445s |      25 |  8504161 |  6791398 |     1627  10024 |        0 |        0
1446.93/1447.43	c 1447s |      25 |  8515628 |  6800198 |     1627  10034 |        0 |        0
1448.93/1449.43	c 1449s |      25 |  8527025 |  6808598 |     1627  10044 |        0 |        0
1450.93/1451.45	c 1451s |      25 |  8536554 |  6816198 |     1627  10053 |        0 |        0
1452.93/1453.46	c 1453s |      25 |  8545859 |  6823798 |     1627  10062 |        0 |        0
1454.94/1455.47	c 1455s |      25 |  8557237 |  6832298 |     1627  10072 |        0 |        0
1456.93/1457.48	c 1457s |      25 |  8568343 |  6841098 |     1627  10082 |        0 |        0
1458.93/1459.48	c 1459s |      25 |  8579606 |  6849698 |     1627  10092 |        0 |        0
1461.03/1461.50	c 1461s |      25 |  8589888 |  6857998 |     1627  10102 |        0 |        0
1463.03/1463.52	c 1463s |      25 |  8599203 |  6865798 |     1627  10111 |        0 |        0
1465.03/1465.55	c 1465s |      25 |  8610298 |  6873898 |     1627  10121 |        0 |        0
1467.03/1467.56	c 1467s |      25 |  8619059 |  6881398 |     1627  10129 |        0 |        0
1469.03/1469.57	c 1469s |      25 |  8629328 |  6889298 |     1627  10139 |        0 |        0
1471.03/1471.59	c 1471s |      25 |  8639297 |  6897798 |     1627  10149 |        0 |        0
1473.13/1473.60	c 1473s |      25 |  8650377 |  6906198 |     1627  10158 |        0 |        0
1475.13/1475.64	c 1475s |      25 |  8660487 |  6913998 |     1627  10168 |        0 |        0
1477.13/1477.65	c 1477s |      25 |  8670999 |  6922298 |     1627  10177 |        0 |        0
1479.13/1479.67	c 1479s |      25 |  8682462 |  6930698 |     1627  10187 |        0 |        0
1481.13/1481.68	c 1481s |      25 |  8696201 |  6940098 |     1627  10198 |        0 |        0
1483.23/1483.70	c 1483s |      25 |  8707922 |  6948898 |     1627  10208 |        0 |        0
1485.23/1485.71	c 1485s |      25 |  8720653 |  6957798 |     1627  10219 |        0 |        0
1487.22/1487.72	c 1487s |      25 |  8732438 |  6966598 |     1627  10229 |        0 |        0
1489.23/1489.74	c 1489s |      25 |  8744905 |  6975798 |     1627  10240 |        0 |        0
1491.24/1491.75	c 1491s |      25 |  8756000 |  6984698 |     1627  10251 |        0 |        0
1493.23/1493.76	c 1493s |      25 |  8766122 |  6992998 |     1627  10260 |        0 |        0
1495.23/1495.77	c 1495s |      25 |  8778601 |  7002198 |     1627  10271 |        0 |        0
1497.23/1497.79	c 1497s |      25 |  8790483 |  7010898 |     1627  10281 |        0 |        0
1499.33/1499.80	c 1499s |      25 |  8803000 |  7019698 |     1627  10292 |        0 |        0
1501.33/1501.84	c 1501s |      25 |  8813697 |  7028098 |     1627  10302 |        0 |        0
1503.34/1503.87	c 1503s |      25 |  8823792 |  7036598 |     1627  10312 |        0 |        0
1505.33/1505.88	c 1505s |      25 |  8834988 |  7045398 |     1627  10322 |        0 |        0
1507.33/1507.89	c 1507s |      25 |  8847427 |  7055198 |     1627  10333 |        0 |        0
1509.43/1509.91	c 1509s |      25 |  8859131 |  7064398 |     1627  10344 |        0 |        0
1511.43/1511.92	c 1511s |      25 |  8869931 |  7072898 |     1627  10354 |        0 |        0
1513.43/1513.94	c 1513s |      25 |  8881193 |  7081298 |     1627  10364 |        0 |        0
1515.43/1515.94	c 1515s |      25 |  8891611 |  7089798 |     1627  10374 |        0 |        0
1517.43/1517.95	c 1517s |      25 |  8901197 |  7097998 |     1627  10383 |        0 |        0
1519.43/1519.98	c 1519s |      25 |  8911139 |  7106598 |     1627  10394 |        0 |        0
1521.43/1521.98	c 1521s |      25 |  8921759 |  7115198 |     1627  10404 |        0 |        0
1523.43/1523.99	c 1523s |      25 |  8932044 |  7123698 |     1627  10414 |        0 |        0
1525.53/1526.01	c 1525s |      25 |  8942701 |  7132198 |     1627  10424 |        0 |        0
1527.53/1528.02	c 1528s |      25 |  8953132 |  7140598 |     1627  10433 |        0 |        0
1529.52/1530.02	c 1530s |      25 |  8965320 |  7149598 |     1627  10444 |        0 |        0
1531.52/1532.03	c 1532s |      25 |  8978236 |  7158998 |     1627  10455 |        0 |        0
1533.52/1534.04	c 1534s |      25 |  8989995 |  7167898 |     1627  10466 |        0 |        0
1535.52/1536.04	c 1536s |      25 |  9000504 |  7176598 |     1627  10476 |        0 |        0
1537.52/1538.06	c 1538s |      25 |  9011972 |  7185698 |     1627  10486 |        0 |        0
1539.53/1540.08	c 1540s |      25 |  9022154 |  7193998 |     1627  10496 |        0 |        0
1541.52/1542.09	c 1542s |      25 |  9033359 |  7202798 |     1627  10506 |        0 |        0
1543.62/1544.11	c 1544s |      25 |  9046332 |  7212098 |     1627  10517 |        0 |        0
1545.62/1546.12	c 1546s |      25 |  9059771 |  7221698 |     1627  10529 |        0 |        0
1547.62/1548.13	c 1548s |      25 |  9071695 |  7230798 |     1627  10539 |        0 |        0
1549.62/1550.13	c 1550s |      25 |  9084189 |  7239898 |     1627  10550 |        0 |        0
1551.63/1552.13	c 1552s |      25 |  9095975 |  7248598 |     1627  10560 |        0 |        0
1553.62/1554.14	c 1554s |      25 |  9109293 |  7257898 |     1627  10571 |        0 |        0
1555.62/1556.16	c 1556s |      25 |  9122693 |  7267198 |     1627  10582 |        0 |        0
1557.62/1558.16	c 1558s |      25 |  9135499 |  7276298 |     1627  10593 |        0 |        0
1559.62/1560.18	c 1560s |      25 |  9148547 |  7285498 |     1627  10604 |        0 |        0
1561.62/1562.18	c 1562s |      25 |  9161154 |  7294498 |     1627  10614 |        0 |        0
1563.61/1564.18	c 1564s |      25 |  9172685 |  7303298 |     1627  10625 |        0 |        0
1565.71/1566.20	c 1566s |      25 |  9184181 |  7312298 |     1627  10635 |        0 |        0
1567.72/1568.21	c 1568s |      25 |  9195867 |  7321498 |     1627  10646 |        0 |        0
1569.72/1570.22	c 1570s |      25 |  9209754 |  7330998 |     1627  10657 |        0 |        0
1571.72/1572.23	c 1572s |      25 |  9221871 |  7339498 |     1627  10667 |        0 |        0
1573.73/1574.23	c 1574s |      25 |  9233845 |  7348298 |     1627  10678 |        0 |        0
1575.72/1576.25	c 1576s |      25 |  9248026 |  7358098 |     1627  10689 |        0 |        0
1577.72/1578.25	c 1578s |      25 |  9261518 |  7366898 |     1627  10699 |        0 |        0
1579.72/1580.26	c 1580s |      25 |  9274445 |  7375898 |     1627  10710 |        0 |        0
1581.72/1582.28	c 1582s |      25 |  9286841 |  7384698 |     1627  10720 |        0 |        0
1583.72/1584.29	c 1584s |      25 |  9298603 |  7392998 |     1627  10730 |        0 |        0
1585.72/1586.29	c 1586s |      25 |  9309339 |  7400998 |     1627  10740 |        0 |        0
1587.72/1588.29	c 1588s |      25 |  9320712 |  7409198 |     1627  10749 |        0 |        0
1589.82/1590.30	c 1590s |      25 |  9331742 |  7417298 |     1627  10759 |        0 |        0
1591.82/1592.32	c 1592s |      25 |  9344001 |  7426198 |     1627  10769 |        0 |        0
1593.81/1594.34	c 1594s |      25 |  9356418 |  7434998 |     1627  10780 |        0 |        0
1595.81/1596.37	c 1596s |      25 |  9366627 |  7443398 |     1627  10789 |        0 |        0
1597.82/1598.37	c 1598s |      25 |  9377815 |  7451898 |     1627  10799 |        0 |        0
1599.81/1600.39	c 1600s |      25 |  9389269 |  7460598 |     1627  10810 |        0 |        0
1601.91/1602.40	c 1602s |      25 |  9400564 |  7469098 |     1627  10820 |        0 |        0
1603.91/1604.41	c 1604s |      25 |  9413714 |  7478098 |     1627  10830 |        0 |        0
1605.91/1606.43	c 1606s |      25 |  9428040 |  7487598 |     1627  10841 |        0 |        0
1607.91/1608.45	c 1608s |      25 |  9439635 |  7496198 |     1627  10851 |        0 |        0
1609.92/1610.46	c 1610s |      25 |  9454069 |  7505298 |     1627  10862 |        0 |        0
1611.91/1612.48	c 1612s |      25 |  9466589 |  7513998 |     1627  10872 |        0 |        0
1614.01/1614.50	c 1614s |      25 |  9479409 |  7522998 |     1627  10883 |        0 |        0
1616.01/1616.52	c 1616s |      25 |  9493182 |  7531998 |     1627  10893 |        0 |        0
1618.01/1618.54	c 1618s |      25 |  9506568 |  7540998 |     1627  10904 |        0 |        0
1620.01/1620.54	c 1620s |      25 |  9517861 |  7549198 |     1790  10913 |        0 |        0
1622.01/1622.54	c 1622s |      25 |  9528405 |  7557698 |     1790  10922 |        0 |        0
1624.01/1624.56	c 1624s |      25 |  9539781 |  7565898 |     1790  10931 |        0 |        0
1626.01/1626.57	c 1626s |      25 |  9552694 |  7574598 |     1790  10940 |        0 |        0
1628.01/1628.60	c 1628s |      25 |  9563962 |  7583198 |     1790  10950 |        0 |        0
1630.11/1630.60	c 1630s |      25 |  9575353 |  7591798 |     1790  10959 |        0 |        0
1631.41/1631.90	c 1631s |      26 |  9583103 |  7597752 |     1790  10965 |        0 |        0
1633.41/1633.90	c 1633s |      26 |  9595403 |  7607152 |     1790  10975 |        0 |        0
1635.41/1635.91	c 1635s |      26 |  9607475 |  7616552 |     1790  10985 |        0 |        0
1637.41/1637.92	c 1637s |      26 |  9618787 |  7625552 |     1790  10995 |        0 |        0
1639.41/1639.94	c 1639s |      26 |  9629703 |  7634252 |     1790  11004 |        0 |        0
1641.41/1641.95	c 1641s |      26 |  9640181 |  7642852 |     1790  11014 |        0 |        0
1643.41/1643.98	c 1643s |      26 |  9652697 |  7651752 |     1790  11023 |        0 |        0
1645.50/1646.00	c 1645s |      26 |  9665009 |  7660552 |     1790  11033 |        0 |        0
1647.50/1648.01	c 1647s |      26 |  9677393 |  7668952 |     1790  11042 |        0 |        0
1649.51/1650.01	c 1649s |      26 |  9686688 |  7676752 |     1790  11050 |        0 |        0
1651.50/1652.04	c 1652s |      26 |  9697637 |  7685152 |     1790  11059 |        0 |        0
1653.50/1654.04	c 1654s |      26 |  9709525 |  7693552 |     1790  11068 |        0 |        0
1655.50/1656.05	c 1656s |      26 |  9721895 |  7702052 |     1790  11077 |        0 |        0
1657.50/1658.07	c 1658s |      26 |  9734281 |  7710552 |     1790  11086 |        0 |        0
1659.51/1660.09	c 1660s |      26 |  9743357 |  7718152 |     1790  11094 |        0 |        0
1661.50/1662.09	c 1662s |      26 |  9753129 |  7726052 |     1790  11103 |        0 |        0
1663.60/1664.11	c 1664s |      26 |  9766248 |  7735052 |     1790  11112 |        0 |        0
1665.60/1666.11	c 1666s |      26 |  9777203 |  7743152 |     1790  11121 |        0 |        0
1667.60/1668.11	c 1668s |      26 |  9788863 |  7751552 |     1790  11130 |        0 |        0
1669.60/1670.13	c 1670s |      26 |  9802898 |  7760552 |     1790  11140 |        0 |        0
1671.61/1672.15	c 1672s |      26 |  9813765 |  7769152 |     1790  11149 |        0 |        0
1673.60/1674.16	c 1674s |      26 |  9826632 |  7778252 |     1790  11159 |        0 |        0
1675.60/1676.18	c 1676s |      26 |  9837967 |  7787352 |     1790  11169 |        0 |        0
1677.60/1678.19	c 1678s |      26 |  9849266 |  7796152 |     1790  11178 |        0 |        0
1679.70/1680.21	c 1680s |      26 |  9861828 |  7805452 |     1790  11188 |        0 |        0
1681.70/1682.21	c 1682s |      26 |  9874770 |  7814952 |     1790  11198 |        0 |        0
1683.70/1684.22	c 1684s |      26 |  9886213 |  7824052 |     1790  11208 |        0 |        0
1685.69/1686.24	c 1686s |      26 |  9898724 |  7833352 |     1790  11218 |        0 |        0
1687.69/1688.25	c 1688s |      26 |  9911187 |  7842352 |     1790  11228 |        0 |        0
1689.70/1690.26	c 1690s |      26 |  9924070 |  7851752 |     1790  11238 |        0 |        0
1691.70/1692.28	c 1692s |      26 |  9935076 |  7860552 |     1790  11247 |        0 |        0
1693.70/1694.29	c 1694s |      26 |  9947146 |  7869852 |     1790  11257 |        0 |        0
1695.81/1696.32	c 1696s |      26 |  9960559 |  7879252 |     1790  11267 |        0 |        0
1697.80/1698.33	c 1698s |      26 |  9973620 |  7888852 |     1790  11278 |        0 |        0
1699.80/1700.35	c 1700s |      26 |  9985622 |  7897952 |     1790  11288 |        0 |        0
1701.80/1702.36	c 1702s |      26 |  9997517 |  7906952 |     1790  11297 |        0 |        0
1703.80/1704.38	c 1704s |      26 | 10008060 |  7915552 |     1790  11306 |        0 |        0
1705.80/1706.39	c 1706s |      26 | 10018985 |  7924052 |     1790  11316 |        0 |        0
1707.81/1708.40	c 1708s |      26 | 10031101 |  7933052 |     1790  11325 |        0 |        0
1709.90/1710.41	c 1710s |      26 | 10042274 |  7941852 |     1790  11335 |        0 |        0
1711.90/1712.43	c 1712s |      26 | 10053446 |  7950452 |     1790  11344 |        0 |        0
1713.90/1714.44	c 1714s |      26 | 10065644 |  7959452 |     1790  11354 |        0 |        0
1715.90/1716.45	c 1716s |      26 | 10077218 |  7968452 |     1790  11363 |        0 |        0
1717.90/1718.45	c 1718s |      26 | 10087116 |  7976752 |     1790  11372 |        0 |        0
1719.90/1720.46	c 1720s |      26 | 10097696 |  7985152 |     1790  11381 |        0 |        0
1721.90/1722.46	c 1722s |      26 | 10107997 |  7993252 |     1790  11390 |        0 |        0
1723.90/1724.47	c 1724s |      26 | 10119892 |  8002552 |     1790  11400 |        0 |        0
1725.89/1726.48	c 1726s |      26 | 10131141 |  8011352 |     1790  11409 |        0 |        0
1727.99/1728.50	c 1728s |      26 | 10142112 |  8020152 |     1790  11418 |        0 |        0
1729.99/1730.52	c 1730s |      26 | 10153894 |  8029252 |     1790  11428 |        0 |        0
1732.00/1732.53	c 1732s |      26 | 10165430 |  8038452 |     1790  11438 |        0 |        0
1733.99/1734.55	c 1734s |      26 | 10176378 |  8047252 |     1790  11448 |        0 |        0
1735.99/1736.55	c 1736s |      26 | 10187699 |  8056152 |     1790  11457 |        0 |        0
1737.99/1738.56	c 1738s |      26 | 10198583 |  8064852 |     1790  11466 |        0 |        0
1739.99/1740.59	c 1740s |      26 | 10209416 |  8073452 |     1790  11476 |        0 |        0
1742.09/1742.60	c 1742s |      26 | 10220167 |  8082052 |     1790  11485 |        0 |        0
1744.10/1744.62	c 1744s |      26 | 10231546 |  8090952 |     1790  11494 |        0 |        0
1746.09/1746.63	c 1746s |      26 | 10242504 |  8099652 |     1790  11504 |        0 |        0
1748.09/1748.64	c 1748s |      26 | 10253055 |  8108152 |     1790  11513 |        0 |        0
1750.09/1750.65	c 1750s |      26 | 10263042 |  8116352 |     1790  11521 |        0 |        0
1752.09/1752.66	c 1752s |      26 | 10273840 |  8125152 |     1790  11531 |        0 |        0
1754.09/1754.66	c 1754s |      26 | 10284491 |  8133952 |     1790  11540 |        0 |        0
1756.09/1756.67	c 1756s |      26 | 10295062 |  8142552 |     1790  11550 |        0 |        0
1758.09/1758.67	c 1758s |      26 | 10306050 |  8151552 |     1790  11559 |        0 |        0
1760.09/1760.69	c 1760s |      26 | 10316394 |  8159852 |     1790  11568 |        0 |        0
1762.09/1762.69	c 1762s |      26 | 10325893 |  8167852 |     1790  11577 |        0 |        0
1764.19/1764.70	c 1764s |      26 | 10335133 |  8175652 |     1790  11585 |        0 |        0
1766.19/1766.70	c 1766s |      26 | 10346164 |  8184452 |     1790  11594 |        0 |        0
1768.18/1768.71	c 1768s |      26 | 10357608 |  8193452 |     1790  11604 |        0 |        0
1770.18/1770.71	c 1770s |      26 | 10369377 |  8202652 |     1790  11614 |        0 |        0
1772.18/1772.72	c 1772s |      26 | 10379571 |  8211152 |     1790  11623 |        0 |        0
1774.18/1774.72	c 1774s |      26 | 10388272 |  8218752 |     1790  11631 |        0 |        0
1776.18/1776.74	c 1776s |      26 | 10397473 |  8226452 |     1790  11639 |        0 |        0
1778.19/1778.75	c 1778s |      26 | 10407674 |  8234852 |     1790  11649 |        0 |        0
1780.18/1780.75	c 1780s |      26 | 10416451 |  8242652 |     1790  11657 |        0 |        0
1782.18/1782.77	c 1782s |      26 | 10426585 |  8250952 |     1790  11666 |        0 |        0
1784.18/1784.78	c 1784s |      26 | 10436775 |  8259152 |     1790  11675 |        0 |        0
1786.18/1786.78	c 1786s |      26 | 10448724 |  8268552 |     1790  11685 |        0 |        0
1788.28/1788.80	c 1788s |      26 | 10459973 |  8277452 |     1790  11694 |        0 |        0
1790.29/1790.81	c 1790s |      26 | 10470643 |  8285752 |     1790  11703 |        0 |        0
1792.28/1792.83	c 1792s |      26 | 10481603 |  8294452 |     1790  11713 |        0 |        0
1794.28/1794.85	c 1794s |      26 | 10492849 |  8303552 |     1790  11722 |        0 |        0
1796.28/1796.87	c 1796s |      26 | 10503497 |  8312352 |     1790  11732 |        0 |        0
1798.28/1798.87	c 1798s |      26 | 10513817 |  8320652 |     1790  11741 |        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-4096162-1466103552/watcher-4096162-1466103552 -o /tmp/evaluation-result-4096162-1466103552/solver-4096162-1466103552 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16012 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096162-1466103552.opb 

pid=16492
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.52 2.46 2.31 3/179 16495
/proc/meminfo: memFree=29122516/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=641604 CPUtime=0 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 2378 0 0 0 0 0 0 0 20 0 4 0 12402343 657002496 2740 33554432000 4194304 16246674 140736825999056 140736825998480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 160913 2750 442 2943 0 157807 0
[pid=16495/tid=16496] ppid=16492 vsize=659012 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 674828288 2811 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=663108 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 679022592 2827 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=668228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 684265472 2844 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.52 2.46 2.31 3/179 16495
/proc/meminfo: memFree=29122516/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 25237 0 0 0 5 4 0 0 20 0 4 0 12402343 1247350784 25587 33554432000 4194304 16246674 140736825999056 140736825998480 5667979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 304529 25595 713 2943 0 301423 0
[pid=16495/tid=16496] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 25602 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 25611 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 25619 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200495 s]
/proc/loadavg: 2.52 2.46 2.31 3/179 16495
/proc/meminfo: memFree=29122516/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 48657 0 0 0 12 7 0 0 20 0 4 0 12402343 1247350784 49007 33554432000 4194304 16246674 140736825999056 140736825998480 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 304529 49014 714 2943 0 301423 0
[pid=16495/tid=16496] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 49021 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 49031 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 49036 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300462 s]
/proc/loadavg: 2.52 2.46 2.31 3/179 16495
/proc/meminfo: memFree=29122516/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 71423 0 0 0 19 10 0 0 20 0 4 0 12402343 1247350784 71773 33554432000 4194304 16246674 140736825999056 140736825980928 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 304529 71784 714 2943 0 301423 0
[pid=16495/tid=16496] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 71789 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 71798 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 71810 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.52 2.46 2.31 3/179 16495
/proc/meminfo: memFree=29122516/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 167045 0 0 0 47 22 0 0 20 0 4 0 12402343 1247350784 167395 33554432000 4194304 16246674 140736825999056 140736825980928 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 304529 167404 714 2943 0 301423 0
[pid=16495/tid=16496] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 167410 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 167417 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1247350784 167422 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.52 2.46 2.31 3/183 16499
/proc/meminfo: memFree=28139720/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 245574 0 0 0 117 32 0 0 20 0 4 0 12402343 1248399360 245904 33554432000 4194304 16246674 140736825999056 140736825980928 5723242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 304785 245904 788 2943 0 301679 0
[pid=16495/tid=16496] ppid=16492 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1248399360 245904 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1248399360 245904 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1248399360 245904 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 2.64 2.48 2.32 3/183 16499
/proc/meminfo: memFree=28051672/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267436 0 0 0 274 35 0 0 20 0 4 0 12402343 1337528320 267766 33554432000 4194304 16246674 140736825999056 140736825980928 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326545 267766 788 2943 0 323439 0
[pid=16495/tid=16496] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267766 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267766 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267766 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.64 2.48 2.32 3/183 16499
/proc/meminfo: memFree=28052080/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267439 0 0 0 594 35 0 0 20 0 4 0 12402343 1337528320 267769 33554432000 4194304 16246674 140736825999056 140736825980928 5588933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326545 267769 788 2943 0 323439 0
[pid=16495/tid=16496] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267769 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267769 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267769 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.54 2.47 2.31 3/183 16499
/proc/meminfo: memFree=28051968/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267448 0 0 0 1234 35 0 0 20 0 4 0 12402343 1337528320 267778 33554432000 4194304 16246674 140736825999056 140736825980928 6836120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326545 267778 789 2943 0 323439 0
[pid=16495/tid=16496] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267778 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267778 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267778 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.46 2.45 2.31 3/183 16499
/proc/meminfo: memFree=28051836/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267528 0 0 0 2514 35 0 0 20 0 4 0 12402343 1337528320 267858 33554432000 4194304 16246674 140736825999056 140736825980928 5523536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326545 267858 789 2943 0 323439 0
[pid=16495/tid=16496] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267858 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267858 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267858 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.43 2.45 2.31 3/184 16502
/proc/meminfo: memFree=28051160/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267571 0 0 0 5073 35 0 0 20 0 4 0 12402343 1337528320 267901 33554432000 4194304 16246674 140736825999056 140736825982056 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326545 267901 789 2943 0 323439 0
[pid=16495/tid=16496] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267901 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267901 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1337528320 267901 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.45 2.45 2.32 3/184 16503
/proc/meminfo: memFree=28051712/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 267580 0 0 0 10192 36 0 0 20 0 4 0 12402343 1338576896 267910 33554432000 4194304 16246674 140736825999056 140736825980928 5708420 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 326801 267910 791 2943 0 323695 0
[pid=16495/tid=16496] ppid=16492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1338576896 267910 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1338576896 267910 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1338576896 267910 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 1.21 1.30 1.62 2/174 16586
/proc/meminfo: memFree=29141952/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1301.86 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 130138 48 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 1.13 1.25 1.58 2/173 16588
/proc/meminfo: memFree=29142276/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1361.85 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 136136 49 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5523208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 1.16 1.23 1.55 2/173 16590
/proc/meminfo: memFree=29141844/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1421.85 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 142135 50 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 1.21 1.23 1.53 2/173 16590
/proc/meminfo: memFree=29142272/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1481.83 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 148133 50 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5823435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 1.30 1.25 1.52 2/173 16592
/proc/meminfo: memFree=29142096/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1541.83 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 154132 51 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5717450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 1.33 1.27 1.51 2/173 16592
/proc/meminfo: memFree=29142040/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1601.81 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 160129 52 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 1.57 1.35 1.52 4/174 16594
/proc/meminfo: memFree=29141980/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1661.8 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 166128 52 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825982056 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 1.54 1.36 1.51 2/173 16595
/proc/meminfo: memFree=29141348/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1721.8 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 172127 53 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 1.37 1.34 1.49 2/173 16596
/proc/meminfo: memFree=29141176/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1781.78 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 178125 53 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.36 1.34 1.49 3/173 16597
/proc/meminfo: memFree=29141484/32872528 swapFree=17100/1797424
[pid=16495] ppid=16492 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/16495/stat : 16495 (toysat) R 16492 16495 15996 0 -1 4202496 268521 0 0 0 179955 53 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 140736825980928 5823523 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16495/statm: 327057 268673 793 2943 0 323951 0
[pid=16495/tid=16496] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (toysat) S 16492 16495 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766784830704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16495/tid=16497] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (toysat) S 16492 16495 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766774340848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (toysat) S 16492 16495 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12402343 1339625472 268673 33554432000 4194304 16246674 140736825999056 139766691523760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.538918
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.538918
maximum resident set size= 1074692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268521
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= 446
involuntary context switches= 2982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62315 second user time and 7.13791 second system time

The end

Begin job on node123 at 2016-06-16 20:59:12
IDJOB=4096162
IDBENCH=107575
IDSOLVER=2542
FILE ID=node123/4096162-1466103552
RUNJOBID= node123-1466098149-16012
PBS_JOBID= 19904045
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 1467b17e0964de0b8d01d85faefe8250
RANDOM SEED=1743756096

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29123532 kB
Buffers:           45004 kB
Cached:           122732 kB
SwapCached:         2184 kB
Active:          1165696 kB
Inactive:          80132 kB
Active(anon):    1079196 kB
Inactive(anon):     1392 kB
Active(file):      86500 kB
Inactive(file):    78740 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2950052 kB
Mapped:            10276 kB
Shmem:                 0 kB
Slab:             568288 kB
SReclaimable:      12680 kB
SUnreclaim:       555608 kB
KernelStack:        1520 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3016988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2594816 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= 71620 MiB
End job on node123 at 2016-06-16 21:29:13