0.00/0.00	c 2016-06-16T01:33:27+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-4089771-1466033607.opb"]
0.00/0.01	c use --random-gen="1836251918 527867966 3230927773 629566686 2465221201 2530518261 717712281 3680824347 2544091954 1390753859 4094813798 2533461937 189064453 3746947567 1846520756 1772141478 2725372649 526762361 549929163 3476871286 975320791 239071146 3125116638 361237174 2204418409 539641236 3671718531 4282579772 2182181590 516335023 315938467 3802763427 2094054634 3193474815 3127494666 3355194007 3710938505 1619358415 159463404 3617871458 1588980600 2684284533 45391478 1436082757 3449752912 170168739 3872805685 218911812 152409293 2779273833 902199949 2518668459 151291352 3980486695 3736980897 1793252566 682508031 3273546868 386600317 936294474 1142633797 1153351436 2300892563 3318508167 2215236706 2507236276 80749823 1631460712 2916108791 975289600 3222986829 99553919 4194244008 3623150399 666985495 1746770854 412171652 3422345061 1744773104 1678324146 516993239 3565332703 1270203661 2259269869 2258221071 1717746617 3148373560 3034580083 192332968 3860866599 1365885017 1754297525 624541171 2031866363 990744990 3174456576 4294951626 3820032011 2061131207 1172301001 294991065 1326183633 4092413486 797766432 3632202879 2647198925 799011505 365137641 767474527 3059148431 2528675175 2676705134 987608701 1870472032 1029823348 4116753232 3354193971 1854203451 3135778156 4031172744 3845542740 4231520146 1407727223 1749433869 2674335516 3963786550 31192285 2252476792 3504159601 287175475 3298788918 4254914354 1118634427 2729471568 2872716178 3598584782 2665825110 1287878659 1848687621 160081972 2304351364 1682913027 4145485873 2091538888 3891511335 1508254661 1152945494 1249483552 76769222 2838006370 1886044893 1056800921 3316914877 3896918747 1723017534 3926804425 2015986122 2368228020 2161126653 1851766339 3231728366 3945854603 2654433527 2005642987 2648162321 3213160392 1816330477 1837890042 1502695797 566228065 172129556 887054480 85900436 2656142585 4197390579 622900093 2862368653 1118957804 3314161564 2282528679 4011366080 2907966527 1378272875 3746698406 2532931073 2853007941 3447575474 1811121100 4142279390 1107874420 2566934884 3064819983 417792666 3616085942 210503742 189313458 3645586978 3473212643 3918553803 4272513166 2141097740 57064230 3635636691 76493447 1998072048 1606755582 1984800161 447913617 913247639 731890843 4016778837 4265719262 1097920990 2703492984 625653570 183827526 237835844 3050182045 3683171426 1863495645 3019919171 4091046777 2514611519 3314123957 24328312 1904192228 150175738 2440769439 3187513257 668284870 4237868727 3419509251 3600687411 2649495087 2610219933 4085813947 747529924 960729855 3647604793 2140367564 1774765855 3605221450 1210457696 2912738370 1835946804 574767650 2604037237 3419404486 487250805 1871938024 4209188196 3476727258 4070615643 982046379 4289911855 184993362 255 362436" option to reproduce the execution
0.00/0.01	c #vars 219
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.02	c  0.0s |       0 |        0 |        0 |      146      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      173 |      100 |      146      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      425 |      250 |      161      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      731 |      475 |      178      2 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1204 |      813 |      196      4 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1859 |     1320 |      216      7 |        0 |        0
0.29/0.33	c  0.3s |       6 |     2861 |     2081 |      262     11 |        0 |        0
0.49/0.51	c  0.5s |       7 |     4228 |     3223 |      289     17 |        0 |        0
0.69/0.79	c  0.8s |       8 |     6284 |     4936 |      318     25 |        0 |        0
1.10/1.17	c  1.2s |       9 |     9332 |     7506 |      350     36 |        0 |        0
1.59/1.69	c  1.7s |      10 |    14209 |    11361 |      386     53 |        0 |        0
2.59/2.61	c  2.6s |      11 |    21403 |    17144 |      425     78 |        0 |        0
3.89/3.92	c  3.9s |      12 |    32279 |    25819 |      468    113 |        0 |        0
5.88/5.90	c  5.9s |      13 |    47230 |    38832 |      515    163 |        0 |        0
7.88/7.91	c  7.9s |      13 |    62625 |    51532 |      515    206 |        0 |        0
8.90/8.99	c  9.0s |      14 |    70779 |    58352 |      567    230 |        0 |        0
11.00/11.00	c 11.0s |      14 |    85530 |    70452 |      567    268 |        0 |        0
12.99/13.01	c 13.0s |      14 |   100976 |    82852 |      567    308 |        0 |        0
13.69/13.76	c 13.7s |      15 |   107023 |    87632 |      624    323 |        0 |        0
15.69/15.77	c 15.7s |      15 |   121616 |    99532 |      624    358 |        0 |        0
17.70/17.78	c 17.8s |      15 |   135698 |   111232 |      624    392 |        0 |        0
19.69/19.80	c 19.8s |      15 |   149211 |   122832 |      624    425 |        0 |        0
21.29/21.34	c 21.3s |      16 |   159396 |   131552 |      687    450 |        0 |        0
23.29/23.34	c 23.3s |      16 |   173588 |   143152 |      687    481 |        0 |        0
25.30/25.36	c 25.3s |      16 |   187336 |   154652 |      687    512 |        0 |        0
27.29/27.37	c 27.4s |      16 |   200048 |   165452 |      687    540 |        0 |        0
29.29/29.38	c 29.4s |      16 |   215318 |   177752 |      687    573 |        0 |        0
31.28/31.39	c 31.4s |      16 |   230624 |   189652 |      687    604 |        0 |        0
32.68/32.77	c 32.8s |      17 |   240429 |   197432 |      756    625 |        0 |        0
34.68/34.79	c 34.8s |      17 |   254581 |   208832 |      756    653 |        0 |        0
36.78/36.80	c 36.8s |      17 |   268300 |   220032 |      756    680 |        0 |        0
38.78/38.80	c 38.8s |      17 |   282470 |   231132 |      756    707 |        0 |        0
40.79/40.82	c 40.8s |      17 |   295789 |   242132 |      756    733 |        0 |        0
42.78/42.83	c 42.8s |      17 |   309349 |   253132 |      756    761 |        0 |        0
44.78/44.84	c 44.8s |      17 |   322213 |   264032 |      756    787 |        0 |        0
46.78/46.85	c 46.8s |      17 |   335563 |   275032 |      756    814 |        0 |        0
48.78/48.86	c 48.8s |      17 |   349154 |   286132 |      756    841 |        0 |        0
50.68/50.71	c 50.7s |      18 |   361786 |   296252 |      832    865 |        0 |        0
52.68/52.72	c 52.7s |      18 |   374958 |   307352 |      832    890 |        0 |        0
54.68/54.74	c 54.7s |      18 |   388171 |   318452 |      832    914 |        0 |        0
56.68/56.75	c 56.7s |      18 |   400742 |   329252 |      832    939 |        0 |        0
58.68/58.77	c 58.8s |      18 |   413312 |   340152 |      832    963 |        0 |        0
60.68/60.77	c 60.8s |      18 |   426475 |   351152 |      832    987 |        0 |        0
62.69/62.78	c 62.8s |      18 |   439552 |   361952 |      832   1011 |        0 |        0
64.68/64.79	c 64.8s |      18 |   452283 |   372852 |      832   1035 |        0 |        0
66.78/66.80	c 66.8s |      18 |   465098 |   383752 |      832   1059 |        0 |        0
68.78/68.80	c 68.8s |      18 |   477400 |   394352 |      832   1083 |        0 |        0
70.78/70.80	c 70.8s |      18 |   489585 |   405052 |      832   1107 |        0 |        0
72.78/72.81	c 72.8s |      18 |   502791 |   416052 |      832   1131 |        0 |        0
74.78/74.82	c 74.8s |      18 |   516174 |   427052 |      832   1155 |        0 |        0
76.78/76.83	c 76.8s |      18 |   528445 |   437452 |      832   1179 |        0 |        0
78.08/78.18	c 78.2s |      19 |   537006 |   444482 |      916   1194 |        0 |        0
80.08/80.19	c 80.2s |      19 |   551378 |   455382 |      916   1216 |        0 |        0
82.18/82.20	c 82.2s |      19 |   565967 |   466582 |      916   1239 |        0 |        0
84.18/84.21	c 84.2s |      19 |   580852 |   477782 |      916   1262 |        0 |        0
86.17/86.23	c 86.2s |      19 |   594090 |   488382 |      916   1284 |        0 |        0
88.17/88.24	c 88.2s |      19 |   608124 |   499182 |      916   1306 |        0 |        0
90.18/90.25	c 90.2s |      19 |   622018 |   510082 |      916   1329 |        0 |        0
92.17/92.26	c 92.2s |      19 |   636925 |   521482 |      916   1352 |        0 |        0
94.17/94.27	c 94.3s |      19 |   651378 |   532382 |      916   1375 |        0 |        0
96.17/96.28	c 96.3s |      19 |   666984 |   543882 |      916   1398 |        0 |        0
98.17/98.28	c 98.3s |      19 |   681199 |   554882 |      916   1421 |        0 |        0
100.18/100.29	c  100s |      19 |   695494 |   565982 |      916   1444 |        0 |        0
102.28/102.30	c  102s |      19 |   709194 |   576982 |      916   1467 |        0 |        0
104.27/104.31	c  104s |      19 |   723558 |   588182 |      916   1490 |        0 |        0
106.27/106.32	c  106s |      19 |   737752 |   599182 |      916   1512 |        0 |        0
108.27/108.33	c  108s |      19 |   752008 |   610482 |      916   1535 |        0 |        0
110.27/110.33	c  110s |      19 |   766416 |   621482 |      916   1558 |        0 |        0
112.27/112.35	c  112s |      19 |   780646 |   632582 |      916   1581 |        0 |        0
114.27/114.36	c  114s |      19 |   793898 |   642982 |      916   1602 |        0 |        0
116.27/116.37	c  116s |      19 |   807713 |   653782 |      916   1624 |        0 |        0
118.27/118.38	c  118s |      19 |   822271 |   664882 |     1008   1646 |        0 |        0
118.67/118.73	c  118s |      20 |   824764 |   666827 |     1008   1650 |        0 |        0
120.67/120.74	c  120s |      20 |   838222 |   677427 |     1008   1669 |        0 |        0
122.67/122.75	c  122s |      20 |   851956 |   688127 |     1008   1689 |        0 |        0
124.67/124.75	c  124s |      20 |   865478 |   698627 |     1008   1709 |        0 |        0
126.67/126.77	c  126s |      20 |   878759 |   709027 |     1008   1728 |        0 |        0
128.68/128.77	c  128s |      20 |   892585 |   719727 |     1008   1748 |        0 |        0
130.67/130.77	c  130s |      20 |   905119 |   730027 |     1008   1767 |        0 |        0
132.67/132.78	c  132s |      20 |   918407 |   740427 |     1008   1786 |        0 |        0
134.77/134.80	c  134s |      20 |   931421 |   750727 |     1008   1806 |        0 |        0
136.77/136.81	c  136s |      20 |   944155 |   760927 |     1008   1824 |        0 |        0
138.77/138.82	c  138s |      20 |   956893 |   771127 |     1008   1843 |        0 |        0
140.78/140.84	c  140s |      20 |   968559 |   780827 |     1008   1861 |        0 |        0
142.77/142.84	c  142s |      20 |   981114 |   790927 |     1008   1880 |        0 |        0
144.77/144.85	c  144s |      20 |   993869 |   801327 |     1008   1900 |        0 |        0
146.77/146.86	c  146s |      20 |  1006534 |   811627 |     1008   1919 |        0 |        0
148.77/148.86	c  148s |      20 |  1019077 |   821927 |     1008   1938 |        0 |        0
150.78/150.86	c  150s |      20 |  1031289 |   832027 |     1008   1957 |        0 |        0
152.77/152.87	c  152s |      20 |  1043702 |   842227 |     1008   1976 |        0 |        0
154.77/154.88	c  154s |      20 |  1055829 |   852127 |     1008   1995 |        0 |        0
156.77/156.89	c  156s |      20 |  1067440 |   861827 |     1008   2013 |        0 |        0
158.77/158.90	c  158s |      20 |  1079841 |   871727 |     1008   2031 |        0 |        0
160.87/160.91	c  160s |      20 |  1092545 |   881727 |     1008   2050 |        0 |        0
162.87/162.93	c  162s |      20 |  1105603 |   891727 |     1008   2069 |        0 |        0
164.86/164.94	c  164s |      20 |  1118636 |   901927 |     1008   2088 |        0 |        0
166.86/166.95	c  166s |      20 |  1132059 |   912527 |     1008   2108 |        0 |        0
168.86/168.95	c  168s |      20 |  1145211 |   922827 |     1008   2127 |        0 |        0
170.86/170.96	c  170s |      20 |  1158954 |   933427 |     1008   2147 |        0 |        0
172.86/172.96	c  172s |      20 |  1171544 |   943427 |     1008   2166 |        0 |        0
174.87/174.96	c  174s |      20 |  1184110 |   953327 |     1008   2184 |        0 |        0
176.86/176.97	c  176s |      20 |  1197786 |   963627 |     1008   2203 |        0 |        0
178.86/178.99	c  178s |      20 |  1211172 |   974027 |     1008   2223 |        0 |        0
180.96/181.00	c  180s |      20 |  1224110 |   984127 |     1008   2241 |        0 |        0
182.96/183.01	c  182s |      20 |  1237866 |   994427 |     1109   2260 |        0 |        0
184.16/184.28	c  184s |      21 |  1245780 |  1000345 |     1109   2271 |        0 |        0
186.16/186.28	c  186s |      21 |  1257397 |  1010145 |     1109   2287 |        0 |        0
188.16/188.29	c  188s |      21 |  1268116 |  1019545 |     1109   2303 |        0 |        0
190.16/190.30	c  190s |      21 |  1278704 |  1028845 |     1109   2319 |        0 |        0
192.26/192.31	c  192s |      21 |  1290115 |  1038545 |     1109   2335 |        0 |        0
194.26/194.33	c  194s |      21 |  1301797 |  1048445 |     1109   2352 |        0 |        0
196.26/196.34	c  196s |      21 |  1312893 |  1058145 |     1109   2368 |        0 |        0
198.25/198.36	c  198s |      21 |  1324200 |  1067945 |     1109   2385 |        0 |        0
200.26/200.36	c  200s |      21 |  1335644 |  1077945 |     1109   2402 |        0 |        0
202.25/202.38	c  202s |      21 |  1347289 |  1088145 |     1109   2419 |        0 |        0
204.35/204.40	c  204s |      21 |  1358722 |  1098145 |     1109   2436 |        0 |        0
206.36/206.41	c  206s |      21 |  1370189 |  1108145 |     1109   2453 |        0 |        0
208.36/208.41	c  208s |      21 |  1382574 |  1118345 |     1109   2470 |        0 |        0
210.36/210.41	c  210s |      21 |  1393615 |  1127745 |     1109   2486 |        0 |        0
212.37/212.41	c  212s |      21 |  1406077 |  1137845 |     1109   2503 |        0 |        0
214.36/214.42	c  214s |      21 |  1418166 |  1147945 |     1109   2521 |        0 |        0
216.36/216.42	c  216s |      21 |  1429751 |  1157645 |     1109   2537 |        0 |        0
218.36/218.42	c  218s |      21 |  1440730 |  1167145 |     1109   2553 |        0 |        0
220.36/220.43	c  220s |      21 |  1452196 |  1176845 |     1109   2570 |        0 |        0
222.36/222.44	c  222s |      21 |  1462946 |  1186045 |     1109   2585 |        0 |        0
224.36/224.45	c  224s |      21 |  1473895 |  1195445 |     1109   2601 |        0 |        0
226.35/226.46	c  226s |      21 |  1484797 |  1204745 |     1109   2617 |        0 |        0
228.35/228.48	c  228s |      21 |  1496049 |  1214345 |     1109   2633 |        0 |        0
230.35/230.49	c  230s |      21 |  1508352 |  1224345 |     1109   2650 |        0 |        0
232.45/232.50	c  232s |      21 |  1520495 |  1234445 |     1109   2667 |        0 |        0
234.45/234.51	c  234s |      21 |  1531392 |  1243745 |     1109   2683 |        0 |        0
236.46/236.51	c  236s |      21 |  1542804 |  1253345 |     1109   2699 |        0 |        0
238.45/238.52	c  238s |      21 |  1554136 |  1262945 |     1109   2716 |        0 |        0
240.45/240.54	c  240s |      21 |  1564857 |  1272345 |     1109   2732 |        0 |        0
242.45/242.55	c  242s |      21 |  1576583 |  1282145 |     1109   2748 |        0 |        0
244.45/244.57	c  244s |      21 |  1588036 |  1291745 |     1109   2765 |        0 |        0
246.46/246.57	c  246s |      21 |  1599131 |  1301245 |     1109   2781 |        0 |        0
248.45/248.58	c  248s |      21 |  1610461 |  1310945 |     1109   2797 |        0 |        0
250.55/250.60	c  250s |      21 |  1622621 |  1321045 |     1109   2815 |        0 |        0
252.55/252.62	c  252s |      21 |  1635404 |  1331345 |     1109   2832 |        0 |        0
254.55/254.63	c  254s |      21 |  1647562 |  1341445 |     1109   2849 |        0 |        0
256.55/256.64	c  256s |      21 |  1659898 |  1351645 |     1109   2867 |        0 |        0
258.55/258.64	c  258s |      21 |  1672896 |  1361945 |     1109   2884 |        0 |        0
260.54/260.64	c  260s |      21 |  1686046 |  1372145 |     1109   2902 |        0 |        0
262.54/262.65	c  262s |      21 |  1698094 |  1382145 |     1109   2919 |        0 |        0
264.54/264.66	c  264s |      21 |  1711156 |  1392345 |     1109   2936 |        0 |        0
266.54/266.67	c  266s |      21 |  1723542 |  1402345 |     1109   2954 |        0 |        0
268.54/268.69	c  268s |      21 |  1735929 |  1412345 |     1109   2971 |        0 |        0
270.55/270.70	c  270s |      21 |  1747969 |  1422245 |     1109   2988 |        0 |        0
272.64/272.72	c  272s |      21 |  1760120 |  1432245 |     1109   3005 |        0 |        0
274.65/274.73	c  274s |      21 |  1771475 |  1441845 |     1109   3021 |        0 |        0
276.65/276.74	c  276s |      21 |  1782842 |  1451345 |     1109   3037 |        0 |        0
278.65/278.74	c  278s |      21 |  1794982 |  1461145 |     1109   3054 |        0 |        0
280.65/280.74	c  280s |      21 |  1807292 |  1471245 |     1109   3071 |        0 |        0
282.66/282.77	c  282s |      21 |  1819831 |  1481445 |     1109   3089 |        0 |        0
284.65/284.77	c  284s |      21 |  1832013 |  1491645 |     1220   3106 |        0 |        0
286.45/286.53	c  286s |      22 |  1843055 |  1500622 |     1220   3120 |        0 |        0
288.45/288.55	c  288s |      22 |  1855660 |  1511022 |     1220   3136 |        0 |        0
290.45/290.55	c  290s |      22 |  1868376 |  1521422 |     1220   3152 |        0 |        0
292.45/292.56	c  292s |      22 |  1880857 |  1531622 |     1220   3168 |        0 |        0
294.45/294.56	c  294s |      22 |  1892327 |  1541322 |     1220   3183 |        0 |        0
296.44/296.57	c  296s |      22 |  1905743 |  1551922 |     1220   3199 |        0 |        0
298.44/298.59	c  298s |      22 |  1918250 |  1562122 |     1220   3215 |        0 |        0
300.44/300.59	c  300s |      22 |  1932528 |  1573022 |     1220   3233 |        0 |        0
302.55/302.61	c  302s |      22 |  1945756 |  1583722 |     1220   3249 |        0 |        0
304.54/304.62	c  304s |      22 |  1958828 |  1594122 |     1220   3265 |        0 |        0
306.54/306.62	c  306s |      22 |  1971404 |  1604522 |     1220   3282 |        0 |        0
308.54/308.64	c  308s |      22 |  1983650 |  1614722 |     1220   3298 |        0 |        0
310.54/310.65	c  310s |      22 |  1996950 |  1625222 |     1220   3314 |        0 |        0
312.54/312.65	c  312s |      22 |  2009280 |  1635122 |     1220   3329 |        0 |        0
314.55/314.67	c  314s |      22 |  2021934 |  1645322 |     1220   3345 |        0 |        0
316.54/316.67	c  316s |      22 |  2034667 |  1655222 |     1220   3361 |        0 |        0
318.54/318.67	c  318s |      22 |  2047275 |  1665222 |     1220   3376 |        0 |        0
320.54/320.68	c  320s |      22 |  2060611 |  1675622 |     1220   3393 |        0 |        0
322.54/322.68	c  322s |      22 |  2073468 |  1685722 |     1220   3408 |        0 |        0
324.55/324.69	c  324s |      22 |  2086092 |  1695722 |     1220   3424 |        0 |        0
326.54/326.70	c  326s |      22 |  2098751 |  1705722 |     1220   3440 |        0 |        0
328.64/328.72	c  328s |      22 |  2111507 |  1715722 |     1220   3456 |        0 |        0
330.64/330.74	c  330s |      22 |  2125616 |  1726222 |     1220   3472 |        0 |        0
332.64/332.75	c  332s |      22 |  2138820 |  1736422 |     1220   3488 |        0 |        0
334.64/334.76	c  334s |      22 |  2151830 |  1746622 |     1220   3504 |        0 |        0
336.64/336.77	c  336s |      22 |  2164815 |  1756822 |     1220   3520 |        0 |        0
338.63/338.79	c  338s |      22 |  2176937 |  1766722 |     1220   3535 |        0 |        0
340.73/340.80	c  340s |      22 |  2189112 |  1776622 |     1220   3551 |        0 |        0
342.73/342.81	c  342s |      22 |  2200617 |  1786222 |     1220   3566 |        0 |        0
344.73/344.81	c  344s |      22 |  2212657 |  1795922 |     1220   3581 |        0 |        0
346.73/346.81	c  346s |      22 |  2225279 |  1806022 |     1220   3597 |        0 |        0
348.75/348.83	c  348s |      22 |  2237837 |  1816122 |     1220   3612 |        0 |        0
350.74/350.85	c  350s |      22 |  2251002 |  1826522 |     1220   3629 |        0 |        0
352.74/352.86	c  352s |      22 |  2262233 |  1836222 |     1220   3643 |        0 |        0
354.74/354.86	c  354s |      22 |  2273116 |  1845722 |     1220   3658 |        0 |        0
356.74/356.86	c  356s |      22 |  2284018 |  1855222 |     1220   3672 |        0 |        0
358.74/358.88	c  358s |      22 |  2295020 |  1864922 |     1220   3687 |        0 |        0
360.74/360.88	c  360s |      22 |  2305533 |  1874322 |     1220   3701 |        0 |        0
362.74/362.88	c  362s |      22 |  2317408 |  1884222 |     1220   3717 |        0 |        0
364.74/364.88	c  364s |      22 |  2328513 |  1893722 |     1220   3731 |        0 |        0
366.74/366.90	c  366s |      22 |  2339826 |  1903422 |     1220   3746 |        0 |        0
368.84/368.90	c  368s |      22 |  2352118 |  1913522 |     1220   3762 |        0 |        0
370.84/370.92	c  370s |      22 |  2363724 |  1923222 |     1220   3777 |        0 |        0
372.84/372.93	c  372s |      22 |  2376162 |  1933322 |     1220   3793 |        0 |        0
374.84/374.94	c  374s |      22 |  2388081 |  1943122 |     1220   3808 |        0 |        0
376.83/376.95	c  376s |      22 |  2400644 |  1953322 |     1220   3824 |        0 |        0
378.83/378.95	c  378s |      22 |  2414089 |  1963922 |     1220   3840 |        0 |        0
380.83/380.96	c  380s |      22 |  2426403 |  1973822 |     1220   3856 |        0 |        0
382.84/382.96	c  382s |      22 |  2438068 |  1983422 |     1220   3871 |        0 |        0
384.83/384.97	c  384s |      22 |  2449199 |  1992822 |     1220   3885 |        0 |        0
386.83/386.98	c  386s |      22 |  2462268 |  2003322 |     1220   3901 |        0 |        0
388.93/389.00	c  388s |      22 |  2473461 |  2012922 |     1220   3916 |        0 |        0
390.93/391.02	c  391s |      22 |  2485663 |  2023022 |     1220   3932 |        0 |        0
392.93/393.02	c  393s |      22 |  2497302 |  2032822 |     1220   3947 |        0 |        0
394.94/395.04	c  395s |      22 |  2508788 |  2042522 |     1220   3962 |        0 |        0
396.93/397.04	c  397s |      22 |  2519007 |  2051422 |     1220   3976 |        0 |        0
398.93/399.06	c  399s |      22 |  2529188 |  2060422 |     1220   3990 |        0 |        0
400.93/401.07	c  401s |      22 |  2539370 |  2069522 |     1220   4005 |        0 |        0
402.93/403.07	c  403s |      22 |  2550640 |  2079122 |     1220   4019 |        0 |        0
404.93/405.09	c  405s |      22 |  2561936 |  2088622 |     1220   4034 |        0 |        0
406.93/407.10	c  407s |      22 |  2572774 |  2097922 |     1220   4049 |        0 |        0
409.02/409.11	c  409s |      22 |  2583762 |  2107222 |     1220   4063 |        0 |        0
411.02/411.11	c  411s |      22 |  2594178 |  2116322 |     1220   4077 |        0 |        0
413.02/413.12	c  413s |      22 |  2604726 |  2125322 |     1220   4091 |        0 |        0
415.02/415.14	c  415s |      22 |  2616829 |  2135322 |     1220   4107 |        0 |        0
417.02/417.14	c  417s |      22 |  2628909 |  2145222 |     1220   4123 |        0 |        0
419.03/419.16	c  419s |      22 |  2640972 |  2155222 |     1220   4138 |        0 |        0
421.02/421.16	c  421s |      22 |  2653032 |  2165222 |     1220   4154 |        0 |        0
423.02/423.16	c  423s |      22 |  2666119 |  2175422 |     1220   4170 |        0 |        0
425.02/425.18	c  425s |      22 |  2678494 |  2185422 |     1220   4186 |        0 |        0
427.02/427.19	c  427s |      22 |  2690373 |  2195322 |     1220   4201 |        0 |        0
429.03/429.20	c  429s |      22 |  2702886 |  2205622 |     1220   4217 |        0 |        0
431.13/431.21	c  431s |      22 |  2714687 |  2215322 |     1220   4232 |        0 |        0
433.12/433.22	c  433s |      22 |  2727345 |  2225422 |     1220   4248 |        0 |        0
435.12/435.22	c  435s |      22 |  2740096 |  2235722 |     1342   4264 |        0 |        0
437.12/437.24	c  437s |      22 |  2752608 |  2245722 |     1342   4278 |        0 |        0
438.12/438.28	c  438s |      23 |  2759379 |  2251038 |     1342   4286 |        0 |        0
440.13/440.28	c  440s |      23 |  2770005 |  2260538 |     1342   4299 |        0 |        0
442.13/442.30	c  442s |      23 |  2780536 |  2269938 |     1342   4312 |        0 |        0
444.23/444.30	c  444s |      23 |  2791798 |  2279538 |     1342   4325 |        0 |        0
446.22/446.31	c  446s |      23 |  2801829 |  2288238 |     1342   4337 |        0 |        0
448.22/448.32	c  448s |      23 |  2812351 |  2297438 |     1342   4350 |        0 |        0
450.22/450.33	c  450s |      23 |  2822890 |  2306538 |     1342   4363 |        0 |        0
452.22/452.34	c  452s |      23 |  2833224 |  2315538 |     1342   4375 |        0 |        0
454.23/454.35	c  454s |      23 |  2843958 |  2325038 |     1342   4388 |        0 |        0
456.22/456.37	c  456s |      23 |  2854509 |  2334338 |     1342   4401 |        0 |        0
458.22/458.38	c  458s |      23 |  2864459 |  2343238 |     1342   4414 |        0 |        0
460.32/460.40	c  460s |      23 |  2875266 |  2352638 |     1342   4427 |        0 |        0
462.32/462.41	c  462s |      23 |  2885314 |  2361538 |     1342   4439 |        0 |        0
464.32/464.42	c  464s |      23 |  2895250 |  2370338 |     1342   4452 |        0 |        0
466.32/466.44	c  466s |      23 |  2905354 |  2379238 |     1342   4464 |        0 |        0
468.32/468.46	c  468s |      23 |  2915746 |  2388338 |     1342   4477 |        0 |        0
470.32/470.47	c  470s |      23 |  2926599 |  2397738 |     1342   4490 |        0 |        0
472.31/472.50	c  472s |      23 |  2937186 |  2406838 |     1342   4503 |        0 |        0
474.41/474.50	c  474s |      23 |  2947854 |  2416138 |     1342   4516 |        0 |        0
476.41/476.51	c  476s |      23 |  2959015 |  2425738 |     1342   4529 |        0 |        0
478.42/478.52	c  478s |      23 |  2969115 |  2434638 |     1342   4541 |        0 |        0
480.41/480.53	c  480s |      23 |  2979740 |  2443838 |     1342   4554 |        0 |        0
482.41/482.54	c  482s |      23 |  2989825 |  2452838 |     1342   4567 |        0 |        0
484.41/484.54	c  484s |      23 |  2999709 |  2461738 |     1342   4579 |        0 |        0
486.41/486.56	c  486s |      23 |  3009947 |  2470638 |     1342   4592 |        0 |        0
488.42/488.58	c  488s |      23 |  3021104 |  2480138 |     1342   4605 |        0 |        0
490.41/490.58	c  490s |      23 |  3032613 |  2489738 |     1342   4618 |        0 |        0
492.41/492.58	c  492s |      23 |  3044227 |  2499438 |     1342   4632 |        0 |        0
494.51/494.60	c  494s |      23 |  3054765 |  2508638 |     1342   4645 |        0 |        0
496.51/496.61	c  496s |      23 |  3064932 |  2517438 |     1342   4658 |        0 |        0
498.51/498.63	c  498s |      23 |  3075956 |  2526638 |     1342   4671 |        0 |        0
500.52/500.65	c  500s |      23 |  3086306 |  2535638 |     1342   4683 |        0 |        0
502.51/502.68	c  502s |      23 |  3096278 |  2544338 |     1342   4696 |        0 |        0
504.52/504.69	c  504s |      23 |  3106447 |  2553138 |     1342   4708 |        0 |        0
506.52/506.69	c  506s |      23 |  3117047 |  2562338 |     1342   4721 |        0 |        0
508.61/508.71	c  508s |      23 |  3127533 |  2571438 |     1342   4734 |        0 |        0
510.61/510.72	c  510s |      23 |  3137498 |  2580338 |     1342   4746 |        0 |        0
512.62/512.74	c  512s |      23 |  3147288 |  2589038 |     1342   4759 |        0 |        0
514.61/514.75	c  514s |      23 |  3157378 |  2597938 |     1342   4771 |        0 |        0
516.61/516.76	c  516s |      23 |  3167449 |  2606738 |     1342   4784 |        0 |        0
518.61/518.76	c  518s |      23 |  3177691 |  2615638 |     1342   4796 |        0 |        0
520.61/520.78	c  520s |      23 |  3187722 |  2624438 |     1342   4809 |        0 |        0
522.61/522.79	c  522s |      23 |  3197775 |  2633238 |     1342   4821 |        0 |        0
524.61/524.79	c  524s |      23 |  3207545 |  2641838 |     1342   4833 |        0 |        0
526.71/526.81	c  526s |      23 |  3217272 |  2650538 |     1342   4845 |        0 |        0
528.71/528.82	c  528s |      23 |  3227450 |  2659438 |     1342   4858 |        0 |        0
530.71/530.82	c  530s |      23 |  3237533 |  2668338 |     1342   4871 |        0 |        0
532.71/532.83	c  532s |      23 |  3247778 |  2677238 |     1342   4883 |        0 |        0
534.71/534.85	c  534s |      23 |  3258255 |  2686438 |     1342   4896 |        0 |        0
536.71/536.85	c  536s |      23 |  3268966 |  2695638 |     1342   4909 |        0 |        0
538.71/538.87	c  538s |      23 |  3280682 |  2705338 |     1342   4923 |        0 |        0
540.70/540.89	c  540s |      23 |  3290726 |  2714138 |     1342   4935 |        0 |        0
542.80/542.90	c  542s |      23 |  3300720 |  2723038 |     1342   4948 |        0 |        0
544.80/544.90	c  544s |      23 |  3310802 |  2731738 |     1342   4960 |        0 |        0
546.80/546.92	c  546s |      23 |  3320767 |  2740438 |     1342   4973 |        0 |        0
548.81/548.93	c  548s |      23 |  3330411 |  2749038 |     1342   4985 |        0 |        0
550.80/550.94	c  550s |      23 |  3340315 |  2757938 |     1342   4998 |        0 |        0
552.80/552.96	c  552s |      23 |  3350575 |  2766938 |     1342   5010 |        0 |        0
554.80/554.96	c  554s |      23 |  3360458 |  2775738 |     1342   5023 |        0 |        0
556.80/556.98	c  556s |      23 |  3371018 |  2784838 |     1342   5036 |        0 |        0
558.81/558.98	c  558s |      23 |  3381816 |  2793938 |     1342   5048 |        0 |        0
560.91/561.01	c  560s |      23 |  3391801 |  2802538 |     1342   5061 |        0 |        0
562.90/563.02	c  563s |      23 |  3401970 |  2811338 |     1342   5073 |        0 |        0
564.90/565.03	c  565s |      23 |  3411853 |  2820138 |     1342   5086 |        0 |        0
566.90/567.04	c  567s |      23 |  3422097 |  2828938 |     1342   5098 |        0 |        0
568.90/569.04	c  569s |      23 |  3432475 |  2838138 |     1342   5111 |        0 |        0
570.91/571.06	c  571s |      23 |  3443119 |  2847538 |     1342   5124 |        0 |        0
572.90/573.08	c  573s |      23 |  3452663 |  2856238 |     1342   5137 |        0 |        0
574.90/575.09	c  575s |      23 |  3462095 |  2864838 |     1342   5149 |        0 |        0
577.00/577.11	c  577s |      23 |  3471977 |  2873638 |     1342   5161 |        0 |        0
579.00/579.12	c  579s |      23 |  3482627 |  2882738 |     1342   5174 |        0 |        0
581.00/581.13	c  581s |      23 |  3492817 |  2891538 |     1342   5186 |        0 |        0
583.00/583.13	c  583s |      23 |  3503585 |  2900638 |     1342   5199 |        0 |        0
584.99/585.14	c  585s |      23 |  3513898 |  2909738 |     1342   5212 |        0 |        0
586.99/587.15	c  587s |      23 |  3524205 |  2918738 |     1342   5225 |        0 |        0
588.99/589.16	c  589s |      23 |  3534875 |  2928038 |     1342   5238 |        0 |        0
590.99/591.17	c  591s |      23 |  3545089 |  2937038 |     1342   5251 |        0 |        0
592.99/593.19	c  593s |      23 |  3555081 |  2945938 |     1342   5263 |        0 |        0
594.99/595.19	c  595s |      23 |  3565922 |  2955238 |     1342   5276 |        0 |        0
597.09/597.21	c  597s |      23 |  3576545 |  2964438 |     1342   5289 |        0 |        0
599.08/599.22	c  599s |      23 |  3587263 |  2973638 |     1342   5302 |        0 |        0
601.08/601.23	c  601s |      23 |  3598805 |  2983438 |     1342   5316 |        0 |        0
603.08/603.24	c  603s |      23 |  3610087 |  2993038 |     1342   5330 |        0 |        0
605.08/605.25	c  605s |      23 |  3621109 |  3002538 |     1342   5344 |        0 |        0
607.09/607.27	c  607s |      23 |  3632536 |  3012338 |     1342   5358 |        0 |        0
609.08/609.28	c  609s |      23 |  3643615 |  3021838 |     1342   5371 |        0 |        0
611.08/611.28	c  611s |      23 |  3654081 |  3031038 |     1342   5384 |        0 |        0
613.08/613.29	c  613s |      23 |  3665692 |  3040638 |     1342   5398 |        0 |        0
615.17/615.30	c  615s |      23 |  3675796 |  3049638 |     1342   5411 |        0 |        0
617.17/617.31	c  617s |      23 |  3686698 |  3059038 |     1342   5424 |        0 |        0
619.18/619.33	c  619s |      23 |  3698207 |  3068638 |     1342   5438 |        0 |        0
621.17/621.34	c  621s |      23 |  3709414 |  3078138 |     1342   5451 |        0 |        0
623.17/623.35	c  623s |      23 |  3720209 |  3087438 |     1342   5464 |        0 |        0
625.17/625.37	c  625s |      23 |  3730854 |  3096738 |     1342   5478 |        0 |        0
627.17/627.37	c  627s |      23 |  3741747 |  3106238 |     1342   5491 |        0 |        0
629.17/629.39	c  629s |      23 |  3753653 |  3116038 |     1342   5505 |        0 |        0
631.27/631.41	c  631s |      23 |  3764520 |  3125338 |     1342   5518 |        0 |        0
633.27/633.43	c  633s |      23 |  3776033 |  3135038 |     1342   5532 |        0 |        0
635.26/635.45	c  635s |      23 |  3787952 |  3145038 |     1342   5546 |        0 |        0
637.26/637.45	c  637s |      23 |  3799837 |  3154838 |     1342   5561 |        0 |        0
639.26/639.47	c  639s |      23 |  3810793 |  3164438 |     1342   5574 |        0 |        0
641.27/641.48	c  641s |      23 |  3821411 |  3173838 |     1342   5588 |        0 |        0
643.26/643.48	c  643s |      23 |  3832850 |  3183638 |     1342   5602 |        0 |        0
645.26/645.49	c  645s |      23 |  3843768 |  3193138 |     1342   5615 |        0 |        0
647.36/647.51	c  647s |      23 |  3855109 |  3203038 |     1342   5629 |        0 |        0
649.36/649.52	c  649s |      23 |  3866097 |  3212538 |     1342   5643 |        0 |        0
651.36/651.54	c  651s |      23 |  3876938 |  3222038 |     1342   5656 |        0 |        0
653.36/653.55	c  653s |      23 |  3887945 |  3231638 |     1342   5670 |        0 |        0
655.35/655.56	c  655s |      23 |  3899195 |  3241138 |     1342   5684 |        0 |        0
657.35/657.57	c  657s |      23 |  3909920 |  3250438 |     1342   5697 |        0 |        0
659.35/659.58	c  659s |      23 |  3921457 |  3260138 |     1342   5711 |        0 |        0
661.45/661.60	c  661s |      23 |  3932483 |  3269738 |     1342   5725 |        0 |        0
663.46/663.61	c  663s |      23 |  3943670 |  3279338 |     1342   5738 |        0 |        0
665.46/665.62	c  665s |      23 |  3955086 |  3289038 |     1342   5752 |        0 |        0
667.45/667.63	c  667s |      23 |  3967142 |  3299238 |     1342   5767 |        0 |        0
669.45/669.64	c  669s |      23 |  3978528 |  3309138 |     1342   5781 |        0 |        0
671.45/671.65	c  671s |      23 |  3990434 |  3319238 |     1342   5795 |        0 |        0
673.45/673.66	c  673s |      23 |  4001893 |  3329138 |     1342   5809 |        0 |        0
675.45/675.67	c  675s |      23 |  4012372 |  3338538 |     1342   5823 |        0 |        0
677.45/677.68	c  677s |      23 |  4022514 |  3347638 |     1342   5836 |        0 |        0
679.45/679.69	c  679s |      23 |  4032761 |  3356638 |     1477   5848 |        0 |        0
681.55/681.70	c  681s |      23 |  4042578 |  3365438 |     1477   5859 |        0 |        0
683.54/683.72	c  683s |      23 |  4052390 |  3374238 |     1477   5871 |        0 |        0
684.05/684.28	c  684s |      24 |  4055092 |  3376662 |     1477   5874 |        0 |        0
686.14/686.30	c  686s |      24 |  4065983 |  3385962 |     1477   5886 |        0 |        0
688.14/688.31	c  688s |      24 |  4076327 |  3395162 |     1477   5898 |        0 |        0
690.14/690.31	c  690s |      24 |  4085852 |  3403962 |     1477   5910 |        0 |        0
692.14/692.32	c  692s |      24 |  4096429 |  3413262 |     1477   5922 |        0 |        0
694.14/694.34	c  694s |      24 |  4107319 |  3422662 |     1477   5934 |        0 |        0
696.14/696.36	c  696s |      24 |  4117888 |  3431962 |     1477   5946 |        0 |        0
698.13/698.36	c  698s |      24 |  4127994 |  3440962 |     1477   5958 |        0 |        0
700.13/700.38	c  700s |      24 |  4138175 |  3450162 |     1477   5970 |        0 |        0
702.13/702.39	c  702s |      24 |  4148456 |  3459362 |     1477   5982 |        0 |        0
704.23/704.40	c  704s |      24 |  4159090 |  3468762 |     1477   5994 |        0 |        0
706.23/706.41	c  706s |      24 |  4169798 |  3478062 |     1477   6006 |        0 |        0
708.23/708.42	c  708s |      24 |  4180252 |  3487462 |     1477   6019 |        0 |        0
710.23/710.43	c  710s |      24 |  4191095 |  3496862 |     1477   6031 |        0 |        0
712.22/712.44	c  712s |      24 |  4201650 |  3506062 |     1477   6043 |        0 |        0
714.22/714.47	c  714s |      24 |  4211867 |  3515062 |     1477   6055 |        0 |        0
716.23/716.48	c  716s |      24 |  4222441 |  3524462 |     1477   6067 |        0 |        0
718.23/718.49	c  718s |      24 |  4233245 |  3534062 |     1477   6080 |        0 |        0
720.23/720.50	c  720s |      24 |  4244958 |  3544062 |     1477   6093 |        0 |        0
722.33/722.50	c  722s |      24 |  4256395 |  3553862 |     1477   6105 |        0 |        0
724.33/724.53	c  724s |      24 |  4267977 |  3563962 |     1477   6119 |        0 |        0
726.32/726.53	c  726s |      24 |  4279523 |  3573762 |     1477   6131 |        0 |        0
728.32/728.55	c  728s |      24 |  4290760 |  3583362 |     1477   6144 |        0 |        0
730.33/730.55	c  730s |      24 |  4302095 |  3592862 |     1477   6156 |        0 |        0
732.32/732.57	c  732s |      24 |  4313509 |  3602462 |     1477   6169 |        0 |        0
734.32/734.58	c  734s |      24 |  4324618 |  3612062 |     1477   6181 |        0 |        0
736.42/736.60	c  736s |      24 |  4336014 |  3621862 |     1477   6194 |        0 |        0
738.42/738.62	c  738s |      24 |  4347758 |  3631562 |     1477   6207 |        0 |        0
740.42/740.63	c  740s |      24 |  4360051 |  3641562 |     1477   6220 |        0 |        0
742.42/742.64	c  742s |      24 |  4372812 |  3651862 |     1477   6233 |        0 |        0
744.41/744.66	c  744s |      24 |  4385730 |  3662362 |     1477   6247 |        0 |        0
746.41/746.67	c  746s |      24 |  4399324 |  3672862 |     1477   6261 |        0 |        0
748.41/748.67	c  748s |      24 |  4412849 |  3683362 |     1477   6274 |        0 |        0
750.41/750.68	c  750s |      24 |  4424333 |  3693162 |     1477   6287 |        0 |        0
752.41/752.69	c  752s |      24 |  4435964 |  3702962 |     1477   6300 |        0 |        0
754.42/754.70	c  754s |      24 |  4447230 |  3712562 |     1477   6312 |        0 |        0
756.51/756.70	c  756s |      24 |  4459026 |  3722262 |     1477   6325 |        0 |        0
758.50/758.71	c  758s |      24 |  4470865 |  3732262 |     1477   6338 |        0 |        0
760.50/760.72	c  760s |      24 |  4482626 |  3742062 |     1477   6351 |        0 |        0
762.50/762.72	c  762s |      24 |  4494004 |  3751662 |     1477   6363 |        0 |        0
764.50/764.72	c  764s |      24 |  4505035 |  3760862 |     1477   6375 |        0 |        0
766.51/766.72	c  766s |      24 |  4516725 |  3770562 |     1477   6388 |        0 |        0
768.50/768.74	c  768s |      24 |  4528392 |  3780162 |     1477   6400 |        0 |        0
770.50/770.76	c  770s |      24 |  4539478 |  3789362 |     1477   6412 |        0 |        0
772.50/772.78	c  772s |      24 |  4551045 |  3798962 |     1477   6425 |        0 |        0
774.50/774.79	c  774s |      24 |  4562415 |  3808462 |     1477   6437 |        0 |        0
776.59/776.81	c  776s |      24 |  4574298 |  3818062 |     1477   6450 |        0 |        0
778.60/778.81	c  778s |      24 |  4585178 |  3827262 |     1477   6462 |        0 |        0
780.59/780.82	c  780s |      24 |  4597050 |  3837362 |     1477   6475 |        0 |        0
782.59/782.83	c  782s |      24 |  4609237 |  3846962 |     1477   6488 |        0 |        0
784.59/784.84	c  784s |      24 |  4621207 |  3856862 |     1477   6501 |        0 |        0
786.59/786.86	c  786s |      24 |  4632243 |  3866362 |     1477   6513 |        0 |        0
788.59/788.87	c  788s |      24 |  4644687 |  3876262 |     1477   6526 |        0 |        0
790.58/790.88	c  790s |      24 |  4656042 |  3885762 |     1477   6538 |        0 |        0
792.68/792.90	c  792s |      24 |  4668649 |  3895862 |     1477   6551 |        0 |        0
794.68/794.91	c  794s |      24 |  4680653 |  3905462 |     1477   6564 |        0 |        0
796.68/796.92	c  796s |      24 |  4692597 |  3914962 |     1477   6576 |        0 |        0
798.68/798.93	c  798s |      24 |  4704625 |  3924562 |     1477   6589 |        0 |        0
800.69/800.93	c  800s |      24 |  4716826 |  3934162 |     1477   6601 |        0 |        0
802.68/802.95	c  802s |      24 |  4728910 |  3943862 |     1477   6614 |        0 |        0
804.68/804.97	c  804s |      24 |  4740516 |  3953362 |     1477   6626 |        0 |        0
806.68/806.98	c  806s |      24 |  4752446 |  3963062 |     1477   6639 |        0 |        0
808.68/808.99	c  808s |      24 |  4764213 |  3972662 |     1477   6652 |        0 |        0
810.68/811.00	c  810s |      24 |  4776473 |  3982362 |     1477   6664 |        0 |        0
812.69/813.00	c  812s |      24 |  4788595 |  3992062 |     1477   6677 |        0 |        0
814.78/815.00	c  814s |      24 |  4799880 |  4001462 |     1477   6689 |        0 |        0
816.77/817.01	c  816s |      24 |  4811859 |  4011162 |     1477   6702 |        0 |        0
818.77/819.01	c  818s |      24 |  4823641 |  4020762 |     1477   6714 |        0 |        0
820.77/821.01	c  820s |      24 |  4836131 |  4030962 |     1477   6728 |        0 |        0
822.77/823.03	c  823s |      24 |  4847171 |  4040362 |     1477   6740 |        0 |        0
824.77/825.05	c  825s |      24 |  4858203 |  4049862 |     1477   6753 |        0 |        0
826.77/827.06	c  827s |      24 |  4868960 |  4059262 |     1477   6765 |        0 |        0
828.77/829.07	c  829s |      24 |  4880379 |  4069062 |     1477   6778 |        0 |        0
830.76/831.07	c  831s |      24 |  4891808 |  4078762 |     1477   6790 |        0 |        0
832.76/833.08	c  833s |      24 |  4903002 |  4088362 |     1477   6803 |        0 |        0
834.77/835.09	c  835s |      24 |  4914492 |  4098062 |     1477   6815 |        0 |        0
836.87/837.11	c  837s |      24 |  4925758 |  4107762 |     1477   6828 |        0 |        0
838.86/839.12	c  839s |      24 |  4936684 |  4117262 |     1477   6841 |        0 |        0
840.86/841.12	c  841s |      24 |  4947854 |  4127162 |     1477   6854 |        0 |        0
842.86/843.14	c  843s |      24 |  4959597 |  4136862 |     1477   6866 |        0 |        0
844.86/845.15	c  845s |      24 |  4971487 |  4146562 |     1477   6879 |        0 |        0
846.86/847.16	c  847s |      24 |  4983247 |  4156062 |     1477   6891 |        0 |        0
848.85/849.17	c  849s |      24 |  4994484 |  4165462 |     1477   6904 |        0 |        0
850.85/851.19	c  851s |      24 |  5006497 |  4175162 |     1477   6916 |        0 |        0
852.95/853.20	c  853s |      24 |  5017419 |  4184162 |     1477   6928 |        0 |        0
854.96/855.22	c  855s |      24 |  5028741 |  4193462 |     1477   6940 |        0 |        0
856.96/857.22	c  857s |      24 |  5038936 |  4202562 |     1477   6952 |        0 |        0
858.96/859.22	c  859s |      24 |  5049700 |  4211762 |     1477   6964 |        0 |        0
860.96/861.23	c  861s |      24 |  5060251 |  4220562 |     1477   6975 |        0 |        0
862.95/863.23	c  863s |      24 |  5071805 |  4229962 |     1477   6988 |        0 |        0
864.95/865.24	c  865s |      24 |  5084784 |  4239862 |     1477   7000 |        0 |        0
866.95/867.26	c  867s |      24 |  5096951 |  4249562 |     1477   7013 |        0 |        0
868.95/869.27	c  869s |      24 |  5108739 |  4259162 |     1477   7025 |        0 |        0
870.96/871.29	c  871s |      24 |  5119758 |  4268462 |     1477   7038 |        0 |        0
873.05/873.30	c  873s |      24 |  5131656 |  4278062 |     1477   7050 |        0 |        0
875.04/875.31	c  875s |      24 |  5143447 |  4287562 |     1477   7062 |        0 |        0
877.04/877.32	c  877s |      24 |  5155380 |  4297162 |     1477   7075 |        0 |        0
879.04/879.33	c  879s |      24 |  5167433 |  4306862 |     1477   7088 |        0 |        0
881.04/881.34	c  881s |      24 |  5179018 |  4316462 |     1477   7100 |        0 |        0
883.05/883.34	c  883s |      24 |  5190783 |  4326262 |     1477   7113 |        0 |        0
885.04/885.36	c  885s |      24 |  5202164 |  4335962 |     1477   7125 |        0 |        0
887.04/887.38	c  887s |      24 |  5213654 |  4345462 |     1477   7138 |        0 |        0
889.14/889.40	c  889s |      24 |  5226686 |  4355462 |     1477   7151 |        0 |        0
891.14/891.40	c  891s |      24 |  5238556 |  4365162 |     1477   7163 |        0 |        0
893.14/893.42	c  893s |      24 |  5251353 |  4375362 |     1477   7176 |        0 |        0
895.14/895.43	c  895s |      24 |  5262697 |  4384962 |     1477   7189 |        0 |        0
897.13/897.43	c  897s |      24 |  5274465 |  4394562 |     1477   7202 |        0 |        0
899.13/899.45	c  899s |      24 |  5285752 |  4404062 |     1477   7214 |        0 |        0
901.13/901.47	c  901s |      24 |  5297207 |  4413562 |     1477   7226 |        0 |        0
903.13/903.47	c  903s |      24 |  5308620 |  4422962 |     1477   7239 |        0 |        0
905.13/905.48	c  905s |      24 |  5319846 |  4432262 |     1477   7251 |        0 |        0
907.13/907.49	c  907s |      24 |  5330852 |  4441362 |     1477   7263 |        0 |        0
909.13/909.49	c  909s |      24 |  5342749 |  4450762 |     1477   7275 |        0 |        0
911.23/911.50	c  911s |      24 |  5354170 |  4460162 |     1477   7287 |        0 |        0
913.23/913.51	c  913s |      24 |  5366116 |  4469662 |     1477   7300 |        0 |        0
915.22/915.52	c  915s |      24 |  5377997 |  4479262 |     1477   7312 |        0 |        0
917.23/917.53	c  917s |      24 |  5390512 |  4489162 |     1477   7325 |        0 |        0
919.22/919.54	c  919s |      24 |  5401937 |  4498562 |     1477   7337 |        0 |        0
921.22/921.55	c  921s |      24 |  5413884 |  4508162 |     1477   7350 |        0 |        0
923.22/923.55	c  923s |      24 |  5424799 |  4517462 |     1477   7362 |        0 |        0
925.21/925.57	c  925s |      24 |  5437674 |  4527462 |     1477   7375 |        0 |        0
927.21/927.57	c  927s |      24 |  5449547 |  4536962 |     1477   7387 |        0 |        0
929.22/929.58	c  929s |      24 |  5461711 |  4546962 |     1477   7400 |        0 |        0
931.22/931.58	c  931s |      24 |  5473113 |  4556462 |     1477   7413 |        0 |        0
933.32/933.60	c  933s |      24 |  5484781 |  4565962 |     1477   7425 |        0 |        0
935.31/935.61	c  935s |      24 |  5496435 |  4575462 |     1477   7437 |        0 |        0
937.31/937.63	c  937s |      24 |  5508959 |  4585662 |     1477   7451 |        0 |        0
939.31/939.63	c  939s |      24 |  5520881 |  4595362 |     1477   7463 |        0 |        0
941.32/941.65	c  941s |      24 |  5533450 |  4605362 |     1477   7476 |        0 |        0
943.31/943.66	c  943s |      24 |  5545518 |  4615062 |     1477   7489 |        0 |        0
945.31/945.66	c  945s |      24 |  5558045 |  4624862 |     1477   7502 |        0 |        0
947.31/947.68	c  947s |      24 |  5569976 |  4634662 |     1477   7514 |        0 |        0
949.30/949.68	c  949s |      24 |  5581656 |  4644162 |     1477   7527 |        0 |        0
951.40/951.70	c  951s |      24 |  5593388 |  4653762 |     1477   7539 |        0 |        0
953.41/953.71	c  953s |      24 |  5604383 |  4662962 |     1477   7551 |        0 |        0
955.40/955.73	c  955s |      24 |  5616617 |  4672762 |     1477   7564 |        0 |        0
957.40/957.74	c  957s |      24 |  5629111 |  4682762 |     1477   7577 |        0 |        0
959.40/959.76	c  959s |      24 |  5641821 |  4692962 |     1477   7591 |        0 |        0
961.40/961.77	c  961s |      24 |  5653791 |  4702562 |     1477   7603 |        0 |        0
963.40/963.78	c  963s |      24 |  5665496 |  4712062 |     1477   7616 |        0 |        0
965.39/965.79	c  965s |      24 |  5677890 |  4722362 |     1477   7629 |        0 |        0
967.49/967.80	c  967s |      24 |  5689158 |  4732062 |     1477   7642 |        0 |        0
969.49/969.80	c  969s |      24 |  5700398 |  4741762 |     1477   7654 |        0 |        0
971.49/971.80	c  971s |      24 |  5712122 |  4751562 |     1477   7667 |        0 |        0
973.49/973.81	c  973s |      24 |  5723754 |  4761262 |     1477   7680 |        0 |        0
975.49/975.82	c  975s |      24 |  5735275 |  4770762 |     1477   7692 |        0 |        0
977.48/977.84	c  977s |      24 |  5747633 |  4780762 |     1477   7706 |        0 |        0
979.48/979.85	c  979s |      24 |  5759144 |  4790262 |     1477   7718 |        0 |        0
981.48/981.86	c  981s |      24 |  5771058 |  4799962 |     1477   7731 |        0 |        0
983.48/983.86	c  983s |      24 |  5782886 |  4809862 |     1477   7744 |        0 |        0
985.48/985.87	c  985s |      24 |  5795093 |  4819762 |     1477   7757 |        0 |        0
987.48/987.88	c  987s |      24 |  5806733 |  4829362 |     1477   7769 |        0 |        0
989.58/989.90	c  989s |      24 |  5818785 |  4838862 |     1477   7782 |        0 |        0
991.58/991.91	c  991s |      24 |  5831180 |  4848662 |     1477   7795 |        0 |        0
993.58/993.92	c  993s |      24 |  5842882 |  4858162 |     1477   7807 |        0 |        0
995.58/995.92	c  995s |      24 |  5855089 |  4867862 |     1477   7820 |        0 |        0
997.58/997.94	c  997s |      24 |  5867470 |  4877562 |     1477   7832 |        0 |        0
999.59/999.95	c  999s |      24 |  5879108 |  4887162 |     1477   7845 |        0 |        0
1001.58/1001.97	c 1001s |      24 |  5891063 |  4896862 |     1477   7858 |        0 |        0
1003.58/1003.97	c 1003s |      24 |  5902213 |  4906162 |     1477   7870 |        0 |        0
1005.57/1005.98	c 1005s |      24 |  5914403 |  4916262 |     1477   7883 |        0 |        0
1007.67/1008.00	c 1007s |      24 |  5926122 |  4926062 |     1477   7896 |        0 |        0
1009.67/1010.02	c 1010s |      24 |  5937541 |  4935762 |     1477   7908 |        0 |        0
1011.67/1012.02	c 1012s |      24 |  5948397 |  4945162 |     1477   7920 |        0 |        0
1013.67/1014.02	c 1014s |      24 |  5960244 |  4954662 |     1477   7933 |        0 |        0
1015.66/1016.03	c 1016s |      24 |  5972425 |  4964362 |     1477   7945 |        0 |        0
1017.66/1018.05	c 1018s |      24 |  5983708 |  4973862 |     1477   7958 |        0 |        0
1019.66/1020.06	c 1020s |      24 |  5995190 |  4983462 |     1477   7970 |        0 |        0
1021.66/1022.07	c 1022s |      24 |  6006864 |  4993162 |     1477   7983 |        0 |        0
1023.66/1024.08	c 1024s |      24 |  6018739 |  5002762 |     1477   7996 |        0 |        0
1025.65/1026.09	c 1026s |      24 |  6030169 |  5012062 |     1477   8008 |        0 |        0
1027.65/1028.09	c 1028s |      24 |  6041101 |  5021362 |     1477   8020 |        0 |        0
1029.75/1030.10	c 1030s |      24 |  6052839 |  5031062 |     1625   8032 |        0 |        0
1031.75/1032.11	c 1032s |      24 |  6063512 |  5040162 |     1625   8043 |        0 |        0
1033.76/1034.12	c 1034s |      24 |  6074477 |  5049462 |     1625   8054 |        0 |        0
1035.75/1036.12	c 1036s |      24 |  6084628 |  5058262 |     1625   8065 |        0 |        0
1037.25/1037.65	c 1037s |      25 |  6092737 |  5065098 |     1625   8073 |        0 |        0
1039.26/1039.65	c 1039s |      25 |  6103853 |  5074598 |     1625   8084 |        0 |        0
1041.26/1041.66	c 1041s |      25 |  6115120 |  5084198 |     1625   8096 |        0 |        0
1043.26/1043.67	c 1043s |      25 |  6126268 |  5093798 |     1625   8107 |        0 |        0
1045.25/1045.67	c 1045s |      25 |  6138134 |  5103398 |     1625   8118 |        0 |        0
1047.25/1047.68	c 1047s |      25 |  6149904 |  5113198 |     1625   8130 |        0 |        0
1049.35/1049.70	c 1049s |      25 |  6160091 |  5122298 |     1625   8141 |        0 |        0
1051.36/1051.72	c 1051s |      25 |  6170788 |  5131498 |     1625   8152 |        0 |        0
1053.35/1053.73	c 1053s |      25 |  6181684 |  5140798 |     1625   8163 |        0 |        0
1055.34/1055.74	c 1055s |      25 |  6191756 |  5149798 |     1625   8173 |        0 |        0
1057.34/1057.76	c 1057s |      25 |  6201961 |  5158898 |     1625   8184 |        0 |        0
1059.34/1059.77	c 1059s |      25 |  6211200 |  5167498 |     1625   8194 |        0 |        0
1061.34/1061.79	c 1061s |      25 |  6220675 |  5176098 |     1625   8204 |        0 |        0
1063.35/1063.80	c 1063s |      25 |  6230375 |  5184598 |     1625   8214 |        0 |        0
1065.44/1065.83	c 1065s |      25 |  6240937 |  5193598 |     1625   8225 |        0 |        0
1067.44/1067.83	c 1067s |      25 |  6251606 |  5202698 |     1625   8235 |        0 |        0
1069.44/1069.85	c 1069s |      25 |  6262927 |  5212198 |     1625   8247 |        0 |        0
1071.44/1071.87	c 1071s |      25 |  6273828 |  5221198 |     1625   8257 |        0 |        0
1073.44/1073.87	c 1073s |      25 |  6284469 |  5230298 |     1625   8268 |        0 |        0
1075.44/1075.88	c 1075s |      25 |  6295679 |  5239698 |     1625   8279 |        0 |        0
1077.43/1077.88	c 1077s |      25 |  6306698 |  5249098 |     1625   8290 |        0 |        0
1079.43/1079.89	c 1079s |      25 |  6317618 |  5258398 |     1625   8302 |        0 |        0
1081.43/1081.89	c 1081s |      25 |  6327650 |  5267198 |     1625   8312 |        0 |        0
1083.53/1083.90	c 1083s |      25 |  6337881 |  5276198 |     1625   8323 |        0 |        0
1085.53/1085.92	c 1085s |      25 |  6348775 |  5285498 |     1625   8334 |        0 |        0
1087.53/1087.92	c 1087s |      25 |  6359572 |  5294698 |     1625   8345 |        0 |        0
1089.53/1089.92	c 1089s |      25 |  6371305 |  5304398 |     1625   8356 |        0 |        0
1091.53/1091.93	c 1091s |      25 |  6382527 |  5313898 |     1625   8368 |        0 |        0
1093.52/1093.94	c 1093s |      25 |  6393649 |  5323398 |     1625   8379 |        0 |        0
1095.52/1095.95	c 1095s |      25 |  6404575 |  5332698 |     1625   8390 |        0 |        0
1097.53/1097.97	c 1097s |      25 |  6416360 |  5342298 |     1625   8402 |        0 |        0
1099.52/1099.98	c 1099s |      25 |  6427746 |  5351898 |     1625   8413 |        0 |        0
1101.52/1101.98	c 1101s |      25 |  6439439 |  5361498 |     1625   8424 |        0 |        0
1103.52/1103.99	c 1103s |      25 |  6450646 |  5370698 |     1625   8435 |        0 |        0
1105.61/1106.00	c 1105s |      25 |  6462123 |  5380098 |     1625   8447 |        0 |        0
1107.61/1108.01	c 1107s |      25 |  6473059 |  5389398 |     1625   8458 |        0 |        0
1109.62/1110.02	c 1110s |      25 |  6483958 |  5398598 |     1625   8469 |        0 |        0
1111.61/1112.03	c 1112s |      25 |  6495170 |  5408098 |     1625   8480 |        0 |        0
1113.61/1114.05	c 1114s |      25 |  6505933 |  5417198 |     1625   8491 |        0 |        0
1115.61/1116.07	c 1116s |      25 |  6516854 |  5426298 |     1625   8502 |        0 |        0
1117.61/1118.08	c 1118s |      25 |  6528040 |  5435698 |     1625   8513 |        0 |        0
1119.60/1120.09	c 1120s |      25 |  6539965 |  5445398 |     1625   8524 |        0 |        0
1121.62/1122.09	c 1122s |      25 |  6551476 |  5454798 |     1625   8535 |        0 |        0
1123.71/1124.11	c 1124s |      25 |  6563785 |  5464698 |     1625   8547 |        0 |        0
1125.71/1126.13	c 1126s |      25 |  6575052 |  5474098 |     1625   8559 |        0 |        0
1127.71/1128.15	c 1128s |      25 |  6586746 |  5483498 |     1625   8570 |        0 |        0
1129.71/1130.15	c 1130s |      25 |  6598198 |  5492898 |     1625   8581 |        0 |        0
1131.71/1132.16	c 1132s |      25 |  6609438 |  5502198 |     1625   8592 |        0 |        0
1133.71/1134.17	c 1134s |      25 |  6620947 |  5511698 |     1625   8603 |        0 |        0
1135.70/1136.19	c 1136s |      25 |  6632225 |  5521098 |     1625   8615 |        0 |        0
1137.80/1138.20	c 1138s |      25 |  6643628 |  5530498 |     1625   8626 |        0 |        0
1139.80/1140.21	c 1140s |      25 |  6655834 |  5539998 |     1625   8637 |        0 |        0
1141.80/1142.21	c 1142s |      25 |  6667140 |  5549098 |     1625   8648 |        0 |        0
1143.80/1144.22	c 1144s |      25 |  6678503 |  5558398 |     1625   8659 |        0 |        0
1145.80/1146.22	c 1146s |      25 |  6689566 |  5567598 |     1625   8670 |        0 |        0
1147.79/1148.24	c 1148s |      25 |  6700706 |  5576998 |     1625   8681 |        0 |        0
1149.79/1150.26	c 1150s |      25 |  6712023 |  5586398 |     1625   8692 |        0 |        0
1151.79/1152.27	c 1152s |      25 |  6723236 |  5595898 |     1625   8704 |        0 |        0
1153.79/1154.28	c 1154s |      25 |  6734896 |  5605498 |     1625   8715 |        0 |        0
1155.89/1156.30	c 1156s |      25 |  6746685 |  5615098 |     1625   8726 |        0 |        0
1157.89/1158.32	c 1158s |      25 |  6757837 |  5624498 |     1625   8738 |        0 |        0
1159.89/1160.32	c 1160s |      25 |  6769441 |  5634198 |     1625   8749 |        0 |        0
1161.89/1162.33	c 1162s |      25 |  6780324 |  5643298 |     1625   8760 |        0 |        0
1163.89/1164.33	c 1164s |      25 |  6790960 |  5652198 |     1625   8771 |        0 |        0
1165.88/1166.36	c 1166s |      25 |  6802242 |  5661498 |     1625   8782 |        0 |        0
1167.89/1168.37	c 1168s |      25 |  6812532 |  5670498 |     1625   8792 |        0 |        0
1169.88/1170.37	c 1170s |      25 |  6822936 |  5679398 |     1625   8803 |        0 |        0
1171.88/1172.38	c 1172s |      25 |  6833360 |  5688298 |     1625   8813 |        0 |        0
1173.88/1174.39	c 1174s |      25 |  6844748 |  5697498 |     1625   8824 |        0 |        0
1175.98/1176.40	c 1176s |      25 |  6855471 |  5706698 |     1625   8835 |        0 |        0
1177.97/1178.40	c 1178s |      25 |  6866136 |  5715798 |     1625   8846 |        0 |        0
1179.98/1180.41	c 1180s |      25 |  6876967 |  5725198 |     1625   8857 |        0 |        0
1181.97/1182.43	c 1182s |      25 |  6887910 |  5734398 |     1625   8868 |        0 |        0
1183.97/1184.43	c 1184s |      25 |  6898434 |  5743098 |     1625   8879 |        0 |        0
1185.97/1186.44	c 1186s |      25 |  6909794 |  5752298 |     1625   8889 |        0 |        0
1187.97/1188.45	c 1188s |      25 |  6920966 |  5761398 |     1625   8900 |        0 |        0
1189.97/1190.47	c 1190s |      25 |  6932361 |  5770898 |     1625   8912 |        0 |        0
1191.98/1192.48	c 1192s |      25 |  6943891 |  5780598 |     1625   8923 |        0 |        0
1194.07/1194.51	c 1194s |      25 |  6955300 |  5790098 |     1625   8934 |        0 |        0
1196.07/1196.52	c 1196s |      25 |  6967456 |  5799898 |     1625   8946 |        0 |        0
1198.07/1198.54	c 1198s |      25 |  6978361 |  5809098 |     1625   8957 |        0 |        0
1200.07/1200.56	c 1200s |      25 |  6988970 |  5817898 |     1625   8967 |        0 |        0
1202.07/1202.57	c 1202s |      25 |  6999362 |  5826598 |     1625   8978 |        0 |        0
1204.07/1204.57	c 1204s |      25 |  7009851 |  5835598 |     1625   8988 |        0 |        0
1206.06/1206.59	c 1206s |      25 |  7020503 |  5844698 |     1625   8999 |        0 |        0
1208.06/1208.59	c 1208s |      25 |  7031877 |  5854098 |     1625   9010 |        0 |        0
1210.16/1210.60	c 1210s |      25 |  7043726 |  5863898 |     1625   9022 |        0 |        0
1212.16/1212.63	c 1212s |      25 |  7054996 |  5873498 |     1625   9034 |        0 |        0
1214.16/1214.63	c 1214s |      25 |  7065402 |  5882398 |     1625   9044 |        0 |        0
1216.17/1216.64	c 1216s |      25 |  7076062 |  5891498 |     1625   9055 |        0 |        0
1218.16/1218.66	c 1218s |      25 |  7086815 |  5900498 |     1625   9066 |        0 |        0
1220.16/1220.67	c 1220s |      25 |  7098158 |  5909498 |     1625   9076 |        0 |        0
1222.16/1222.68	c 1222s |      25 |  7109017 |  5918298 |     1625   9087 |        0 |        0
1224.26/1224.70	c 1224s |      25 |  7120110 |  5927498 |     1625   9098 |        0 |        0
1226.26/1226.70	c 1226s |      25 |  7131601 |  5937098 |     1625   9109 |        0 |        0
1228.26/1228.71	c 1228s |      25 |  7143082 |  5946598 |     1625   9120 |        0 |        0
1230.26/1230.73	c 1230s |      25 |  7155461 |  5956498 |     1625   9132 |        0 |        0
1232.26/1232.75	c 1232s |      25 |  7167442 |  5966298 |     1625   9144 |        0 |        0
1234.26/1234.75	c 1234s |      25 |  7178549 |  5975698 |     1625   9155 |        0 |        0
1236.26/1236.76	c 1236s |      25 |  7190453 |  5985398 |     1625   9167 |        0 |        0
1238.26/1238.78	c 1238s |      25 |  7202170 |  5995098 |     1625   9178 |        0 |        0
1240.25/1240.79	c 1240s |      25 |  7213677 |  6004498 |     1625   9189 |        0 |        0
1242.35/1242.80	c 1242s |      25 |  7222845 |  6012698 |     1625   9199 |        0 |        0
1244.35/1244.81	c 1244s |      25 |  7233079 |  6021498 |     1625   9210 |        0 |        0
1246.35/1246.82	c 1246s |      25 |  7243920 |  6030498 |     1625   9220 |        0 |        0
1248.35/1248.82	c 1248s |      25 |  7254907 |  6039598 |     1625   9231 |        0 |        0
1250.37/1250.84	c 1250s |      25 |  7266345 |  6048998 |     1625   9242 |        0 |        0
1252.36/1252.85	c 1252s |      25 |  7278066 |  6058598 |     1625   9254 |        0 |        0
1254.36/1254.87	c 1254s |      25 |  7290542 |  6068298 |     1625   9265 |        0 |        0
1256.36/1256.87	c 1256s |      25 |  7300306 |  6076898 |     1625   9275 |        0 |        0
1258.36/1258.87	c 1258s |      25 |  7310559 |  6085398 |     1625   9286 |        0 |        0
1260.36/1260.89	c 1260s |      25 |  7320940 |  6093998 |     1625   9296 |        0 |        0
1262.36/1262.90	c 1262s |      25 |  7330822 |  6102498 |     1625   9306 |        0 |        0
1264.46/1264.90	c 1264s |      25 |  7341414 |  6111298 |     1625   9316 |        0 |        0
1266.46/1266.92	c 1266s |      25 |  7351664 |  6119998 |     1625   9327 |        0 |        0
1268.46/1268.94	c 1268s |      25 |  7362439 |  6128998 |     1625   9337 |        0 |        0
1270.46/1270.94	c 1270s |      25 |  7372866 |  6137798 |     1625   9348 |        0 |        0
1272.46/1272.95	c 1272s |      25 |  7383813 |  6146898 |     1625   9359 |        0 |        0
1274.46/1274.97	c 1274s |      25 |  7394869 |  6156098 |     1625   9370 |        0 |        0
1276.45/1276.98	c 1276s |      25 |  7405358 |  6164998 |     1625   9380 |        0 |        0
1278.45/1278.99	c 1278s |      25 |  7416218 |  6174198 |     1625   9391 |        0 |        0
1280.45/1280.99	c 1280s |      25 |  7426385 |  6182898 |     1625   9402 |        0 |        0
1282.55/1283.00	c 1282s |      25 |  7436970 |  6191898 |     1625   9412 |        0 |        0
1284.55/1285.01	c 1284s |      25 |  7447661 |  6201098 |     1625   9423 |        0 |        0
1286.56/1287.01	c 1286s |      25 |  7458952 |  6210598 |     1625   9434 |        0 |        0
1288.55/1289.01	c 1288s |      25 |  7469393 |  6219698 |     1625   9445 |        0 |        0
1290.55/1291.02	c 1291s |      25 |  7480015 |  6228898 |     1625   9456 |        0 |        0
1292.55/1293.03	c 1293s |      25 |  7490435 |  6237798 |     1625   9467 |        0 |        0
1294.55/1295.04	c 1295s |      25 |  7500881 |  6246698 |     1625   9477 |        0 |        0
1296.55/1297.06	c 1297s |      25 |  7511941 |  6255898 |     1625   9488 |        0 |        0
1298.55/1299.07	c 1299s |      25 |  7524230 |  6265698 |     1625   9500 |        0 |        0
1300.55/1301.07	c 1301s |      25 |  7535505 |  6274998 |     1625   9511 |        0 |        0
1302.55/1303.08	c 1303s |      25 |  7547015 |  6284198 |     1625   9522 |        0 |        0
1304.54/1305.09	c 1305s |      25 |  7557888 |  6293498 |     1625   9533 |        0 |        0
1306.64/1307.12	c 1307s |      25 |  7568594 |  6302498 |     1625   9544 |        0 |        0
1308.65/1309.13	c 1309s |      25 |  7579959 |  6311798 |     1625   9555 |        0 |        0
1310.64/1311.14	c 1311s |      25 |  7590658 |  6320998 |     1625   9566 |        0 |        0
1312.64/1313.16	c 1313s |      25 |  7602351 |  6330598 |     1625   9577 |        0 |        0
1314.64/1315.16	c 1315s |      25 |  7613709 |  6340198 |     1625   9588 |        0 |        0
1316.64/1317.18	c 1317s |      25 |  7625525 |  6350098 |     1625   9600 |        0 |        0
1318.64/1319.19	c 1319s |      25 |  7638757 |  6360298 |     1625   9612 |        0 |        0
1320.75/1321.20	c 1321s |      25 |  7651187 |  6370298 |     1625   9624 |        0 |        0
1322.75/1323.22	c 1323s |      25 |  7663747 |  6380298 |     1625   9636 |        0 |        0
1324.75/1325.23	c 1325s |      25 |  7676049 |  6390498 |     1625   9648 |        0 |        0
1326.75/1327.23	c 1327s |      25 |  7687931 |  6399998 |     1625   9660 |        0 |        0
1328.75/1329.23	c 1329s |      25 |  7698395 |  6408898 |     1625   9670 |        0 |        0
1330.75/1331.25	c 1331s |      25 |  7709246 |  6417998 |     1625   9681 |        0 |        0
1332.76/1333.27	c 1333s |      25 |  7720388 |  6427298 |     1625   9692 |        0 |        0
1334.75/1335.29	c 1335s |      25 |  7731435 |  6436698 |     1625   9703 |        0 |        0
1336.75/1337.29	c 1337s |      25 |  7742699 |  6446098 |     1625   9714 |        0 |        0
1338.85/1339.30	c 1339s |      25 |  7754146 |  6455498 |     1625   9726 |        0 |        0
1340.85/1341.32	c 1341s |      25 |  7765000 |  6464598 |     1625   9737 |        0 |        0
1342.85/1343.33	c 1343s |      25 |  7775284 |  6473498 |     1625   9747 |        0 |        0
1344.85/1345.34	c 1345s |      25 |  7786734 |  6482998 |     1625   9758 |        0 |        0
1346.84/1347.34	c 1347s |      25 |  7797964 |  6492298 |     1625   9769 |        0 |        0
1348.84/1349.37	c 1349s |      25 |  7809008 |  6501598 |     1625   9780 |        0 |        0
1350.84/1351.38	c 1351s |      25 |  7819474 |  6510598 |     1625   9791 |        0 |        0
1352.84/1353.38	c 1353s |      25 |  7829427 |  6519198 |     1625   9801 |        0 |        0
1354.94/1355.40	c 1355s |      25 |  7839855 |  6528098 |     1625   9812 |        0 |        0
1356.95/1357.41	c 1357s |      25 |  7850262 |  6536998 |     1625   9823 |        0 |        0
1358.94/1359.43	c 1359s |      25 |  7861182 |  6546198 |     1625   9834 |        0 |        0
1360.94/1361.43	c 1361s |      25 |  7870878 |  6554798 |     1625   9844 |        0 |        0
1362.94/1363.44	c 1363s |      25 |  7880906 |  6563498 |     1625   9854 |        0 |        0
1364.94/1365.46	c 1365s |      25 |  7891249 |  6572298 |     1625   9865 |        0 |        0
1366.94/1367.46	c 1367s |      25 |  7901064 |  6580898 |     1625   9875 |        0 |        0
1368.94/1369.47	c 1369s |      25 |  7911524 |  6589898 |     1625   9886 |        0 |        0
1370.93/1371.48	c 1371s |      25 |  7922023 |  6598898 |     1625   9896 |        0 |        0
1373.03/1373.50	c 1373s |      25 |  7932438 |  6607798 |     1625   9907 |        0 |        0
1375.03/1375.52	c 1375s |      25 |  7942917 |  6616798 |     1625   9918 |        0 |        0
1377.03/1377.52	c 1377s |      25 |  7953453 |  6625798 |     1625   9928 |        0 |        0
1379.04/1379.53	c 1379s |      25 |  7964202 |  6634998 |     1625   9939 |        0 |        0
1381.03/1381.55	c 1381s |      25 |  7975315 |  6644398 |     1625   9950 |        0 |        0
1383.03/1383.56	c 1383s |      25 |  7986394 |  6653698 |     1625   9961 |        0 |        0
1385.03/1385.56	c 1385s |      25 |  7997139 |  6662798 |     1625   9972 |        0 |        0
1387.03/1387.56	c 1387s |      25 |  8008594 |  6672198 |     1625   9984 |        0 |        0
1389.03/1389.58	c 1389s |      25 |  8019694 |  6681398 |     1625   9994 |        0 |        0
1391.04/1391.60	c 1391s |      25 |  8030862 |  6690698 |     1625  10006 |        0 |        0
1393.13/1393.62	c 1393s |      25 |  8042175 |  6700098 |     1625  10017 |        0 |        0
1395.14/1395.63	c 1395s |      25 |  8053851 |  6709698 |     1625  10028 |        0 |        0
1397.14/1397.64	c 1397s |      25 |  8065588 |  6719298 |     1625  10040 |        0 |        0
1399.14/1399.66	c 1399s |      25 |  8077397 |  6728798 |     1625  10051 |        0 |        0
1401.14/1401.66	c 1401s |      25 |  8088796 |  6738298 |     1625  10062 |        0 |        0
1403.14/1403.67	c 1403s |      25 |  8099843 |  6747798 |     1625  10074 |        0 |        0
1405.14/1405.67	c 1405s |      25 |  8111227 |  6757498 |     1625  10085 |        0 |        0
1407.14/1407.69	c 1407s |      25 |  8123325 |  6767098 |     1625  10097 |        0 |        0
1409.23/1409.70	c 1409s |      25 |  8134563 |  6776398 |     1625  10108 |        0 |        0
1411.23/1411.70	c 1411s |      25 |  8145735 |  6785598 |     1625  10119 |        0 |        0
1413.23/1413.72	c 1413s |      25 |  8157001 |  6794898 |     1625  10130 |        0 |        0
1415.24/1415.73	c 1415s |      25 |  8169365 |  6804398 |     1625  10141 |        0 |        0
1417.23/1417.74	c 1417s |      25 |  8181694 |  6814498 |     1625  10153 |        0 |        0
1419.23/1419.75	c 1419s |      25 |  8192598 |  6823798 |     1625  10164 |        0 |        0
1421.23/1421.75	c 1421s |      25 |  8202490 |  6832398 |     1625  10174 |        0 |        0
1423.23/1423.76	c 1423s |      25 |  8212929 |  6841398 |     1625  10185 |        0 |        0
1425.24/1425.78	c 1425s |      25 |  8222922 |  6850198 |     1625  10195 |        0 |        0
1427.23/1427.79	c 1427s |      25 |  8233640 |  6859398 |     1625  10206 |        0 |        0
1429.33/1429.80	c 1429s |      25 |  8244857 |  6868698 |     1625  10217 |        0 |        0
1431.33/1431.80	c 1431s |      25 |  8255253 |  6877898 |     1625  10228 |        0 |        0
1433.33/1433.81	c 1433s |      25 |  8265490 |  6886898 |     1625  10239 |        0 |        0
1435.33/1435.82	c 1435s |      25 |  8275959 |  6896298 |     1625  10250 |        0 |        0
1437.33/1437.82	c 1437s |      25 |  8287162 |  6905798 |     1625  10261 |        0 |        0
1439.33/1439.83	c 1439s |      25 |  8297876 |  6914998 |     1625  10272 |        0 |        0
1441.33/1441.84	c 1441s |      25 |  8308937 |  6924398 |     1625  10283 |        0 |        0
1443.33/1443.85	c 1443s |      25 |  8318677 |  6933098 |     1625  10294 |        0 |        0
1445.33/1445.86	c 1445s |      25 |  8328866 |  6941998 |     1625  10304 |        0 |        0
1447.33/1447.86	c 1447s |      25 |  8340182 |  6951398 |     1625  10315 |        0 |        0
1449.33/1449.87	c 1449s |      25 |  8351027 |  6960598 |     1625  10326 |        0 |        0
1451.32/1451.88	c 1451s |      25 |  8362427 |  6970098 |     1625  10338 |        0 |        0
1453.32/1453.89	c 1453s |      25 |  8374079 |  6979898 |     1625  10349 |        0 |        0
1455.42/1455.90	c 1455s |      25 |  8384891 |  6989198 |     1625  10360 |        0 |        0
1457.42/1457.90	c 1457s |      25 |  8395762 |  6998498 |     1625  10371 |        0 |        0
1459.42/1459.91	c 1459s |      25 |  8406047 |  7007498 |     1625  10382 |        0 |        0
1461.43/1461.91	c 1461s |      25 |  8415850 |  7016198 |     1625  10392 |        0 |        0
1463.42/1463.92	c 1463s |      25 |  8425900 |  7024998 |     1625  10403 |        0 |        0
1465.42/1465.93	c 1465s |      25 |  8436193 |  7034098 |     1625  10414 |        0 |        0
1467.42/1467.94	c 1467s |      25 |  8446387 |  7043098 |     1625  10424 |        0 |        0
1469.42/1469.94	c 1469s |      25 |  8456123 |  7051698 |     1625  10435 |        0 |        0
1471.43/1471.94	c 1471s |      25 |  8466216 |  7060698 |     1625  10445 |        0 |        0
1473.42/1473.96	c 1473s |      25 |  8476519 |  7069698 |     1625  10456 |        0 |        0
1475.42/1475.97	c 1475s |      25 |  8487207 |  7078898 |     1625  10467 |        0 |        0
1477.42/1477.98	c 1477s |      25 |  8498607 |  7088398 |     1625  10478 |        0 |        0
1479.52/1480.00	c 1479s |      25 |  8510176 |  7097798 |     1625  10489 |        0 |        0
1481.52/1482.02	c 1482s |      25 |  8520930 |  7106798 |     1625  10500 |        0 |        0
1483.52/1484.02	c 1484s |      25 |  8531458 |  7115898 |     1625  10511 |        0 |        0
1485.52/1486.02	c 1486s |      25 |  8541912 |  7124898 |     1625  10521 |        0 |        0
1487.52/1488.05	c 1488s |      25 |  8552790 |  7133998 |     1625  10532 |        0 |        0
1489.52/1490.05	c 1490s |      25 |  8563619 |  7143098 |     1625  10543 |        0 |        0
1491.52/1492.06	c 1492s |      25 |  8574513 |  7152298 |     1625  10554 |        0 |        0
1493.52/1494.08	c 1494s |      25 |  8584783 |  7161198 |     1625  10565 |        0 |        0
1495.53/1496.10	c 1496s |      25 |  8595329 |  7170198 |     1625  10576 |        0 |        0
1497.62/1498.11	c 1498s |      25 |  8606272 |  7179398 |     1625  10587 |        0 |        0
1499.62/1500.13	c 1500s |      25 |  8617045 |  7188498 |     1625  10598 |        0 |        0
1501.62/1502.15	c 1502s |      25 |  8627240 |  7197398 |     1625  10608 |        0 |        0
1503.62/1504.15	c 1504s |      25 |  8637907 |  7206398 |     1625  10619 |        0 |        0
1505.62/1506.16	c 1506s |      25 |  8648423 |  7215298 |     1625  10629 |        0 |        0
1507.63/1508.17	c 1508s |      25 |  8657240 |  7223198 |     1625  10639 |        0 |        0
1509.62/1510.18	c 1510s |      25 |  8666279 |  7231298 |     1625  10648 |        0 |        0
1511.62/1512.19	c 1512s |      25 |  8675435 |  7239398 |     1625  10658 |        0 |        0
1513.72/1514.21	c 1514s |      25 |  8684438 |  7247498 |     1625  10668 |        0 |        0
1515.72/1516.23	c 1516s |      25 |  8692680 |  7255098 |     1625  10677 |        0 |        0
1517.72/1518.24	c 1518s |      25 |  8701987 |  7263398 |     1625  10686 |        0 |        0
1519.72/1520.25	c 1520s |      25 |  8711811 |  7271998 |     1625  10696 |        0 |        0
1521.71/1522.27	c 1522s |      25 |  8721390 |  7280498 |     1625  10706 |        0 |        0
1523.71/1524.28	c 1524s |      25 |  8730879 |  7288998 |     1625  10716 |        0 |        0
1525.71/1526.29	c 1526s |      25 |  8739941 |  7297098 |     1625  10726 |        0 |        0
1527.71/1528.29	c 1528s |      25 |  8749049 |  7305198 |     1625  10735 |        0 |        0
1529.81/1530.32	c 1530s |      25 |  8758090 |  7313098 |     1625  10745 |        0 |        0
1531.82/1532.32	c 1532s |      25 |  8767469 |  7321198 |     1625  10754 |        0 |        0
1533.81/1534.33	c 1534s |      25 |  8777149 |  7329698 |     1625  10764 |        0 |        0
1535.81/1536.35	c 1536s |      25 |  8786932 |  7338298 |     1625  10775 |        0 |        0
1537.81/1538.35	c 1538s |      25 |  8796761 |  7346798 |     1625  10785 |        0 |        0
1539.81/1540.38	c 1540s |      25 |  8807172 |  7355798 |     1625  10796 |        0 |        0
1541.82/1542.39	c 1542s |      25 |  8818287 |  7364998 |     1625  10807 |        0 |        0
1543.82/1544.39	c 1544s |      25 |  8828372 |  7373798 |     1625  10817 |        0 |        0
1545.82/1546.39	c 1546s |      25 |  8838840 |  7382698 |     1625  10828 |        0 |        0
1547.92/1548.40	c 1548s |      25 |  8849412 |  7391798 |     1625  10839 |        0 |        0
1549.91/1550.42	c 1550s |      25 |  8860415 |  7401198 |     1625  10850 |        0 |        0
1551.91/1552.43	c 1552s |      25 |  8871269 |  7410398 |     1625  10861 |        0 |        0
1553.92/1554.44	c 1554s |      25 |  8881818 |  7419698 |     1625  10872 |        0 |        0
1555.91/1556.46	c 1556s |      25 |  8892478 |  7428798 |     1625  10883 |        0 |        0
1557.91/1558.48	c 1558s |      25 |  8902502 |  7437598 |     1625  10893 |        0 |        0
1559.91/1560.49	c 1560s |      25 |  8913054 |  7446598 |     1625  10904 |        0 |        0
1562.01/1562.50	c 1562s |      25 |  8923947 |  7455698 |     1625  10915 |        0 |        0
1564.01/1564.52	c 1564s |      25 |  8935045 |  7464898 |     1625  10926 |        0 |        0
1566.02/1566.53	c 1566s |      25 |  8946026 |  7473998 |     1625  10937 |        0 |        0
1568.01/1568.54	c 1568s |      25 |  8956366 |  7482798 |     1625  10947 |        0 |        0
1570.01/1570.54	c 1570s |      25 |  8966499 |  7491598 |     1625  10958 |        0 |        0
1572.01/1572.54	c 1572s |      25 |  8976558 |  7500398 |     1625  10968 |        0 |        0
1574.01/1574.54	c 1574s |      25 |  8986403 |  7508998 |     1625  10979 |        0 |        0
1576.01/1576.56	c 1576s |      25 |  8996729 |  7517998 |     1625  10989 |        0 |        0
1578.01/1578.57	c 1578s |      25 |  9007511 |  7526998 |     1625  11000 |        0 |        0
1580.01/1580.58	c 1580s |      25 |  9018338 |  7536098 |     1625  11011 |        0 |        0
1582.00/1582.58	c 1582s |      25 |  9029773 |  7545498 |     1788  11022 |        0 |        0
1584.00/1584.59	c 1584s |      25 |  9040848 |  7554498 |     1788  11032 |        0 |        0
1586.00/1586.60	c 1586s |      25 |  9051425 |  7563498 |     1788  11042 |        0 |        0
1588.10/1588.61	c 1588s |      25 |  9062411 |  7572698 |     1788  11052 |        0 |        0
1590.11/1590.62	c 1590s |      25 |  9073762 |  7582498 |     1788  11062 |        0 |        0
1592.10/1592.64	c 1592s |      25 |  9084895 |  7591798 |     1788  11072 |        0 |        0
1593.41/1593.98	c 1593s |      26 |  9091777 |  7597752 |     1788  11079 |        0 |        0
1595.40/1595.99	c 1595s |      26 |  9102218 |  7606552 |     1788  11088 |        0 |        0
1597.50/1598.01	c 1597s |      26 |  9112396 |  7615252 |     1788  11098 |        0 |        0
1599.50/1600.01	c 1599s |      26 |  9122077 |  7623752 |     1788  11107 |        0 |        0
1601.50/1602.01	c 1601s |      26 |  9132138 |  7632452 |     1788  11117 |        0 |        0
1603.50/1604.02	c 1604s |      26 |  9142459 |  7641252 |     1788  11126 |        0 |        0
1605.51/1606.02	c 1606s |      26 |  9152916 |  7650052 |     1788  11136 |        0 |        0
1607.50/1608.03	c 1608s |      26 |  9163399 |  7658952 |     1788  11145 |        0 |        0
1609.50/1610.05	c 1610s |      26 |  9173641 |  7667752 |     1788  11155 |        0 |        0
1611.50/1612.07	c 1612s |      26 |  9184237 |  7676752 |     1788  11165 |        0 |        0
1613.51/1614.09	c 1614s |      26 |  9195209 |  7685852 |     1788  11174 |        0 |        0
1615.61/1616.11	c 1616s |      26 |  9205638 |  7694852 |     1788  11184 |        0 |        0
1617.61/1618.11	c 1618s |      26 |  9217886 |  7704652 |     1788  11195 |        0 |        0
1619.60/1620.12	c 1620s |      26 |  9230432 |  7714652 |     1788  11206 |        0 |        0
1621.60/1622.12	c 1622s |      26 |  9242198 |  7724152 |     1788  11216 |        0 |        0
1623.60/1624.15	c 1624s |      26 |  9253703 |  7733552 |     1788  11226 |        0 |        0
1625.60/1626.17	c 1626s |      26 |  9264210 |  7742652 |     1788  11236 |        0 |        0
1627.61/1628.18	c 1628s |      26 |  9274921 |  7751752 |     1788  11246 |        0 |        0
1629.60/1630.19	c 1630s |      26 |  9286432 |  7761252 |     1788  11256 |        0 |        0
1631.70/1632.21	c 1632s |      26 |  9297706 |  7770552 |     1788  11266 |        0 |        0
1633.70/1634.23	c 1634s |      26 |  9308709 |  7779752 |     1788  11276 |        0 |        0
1635.70/1636.25	c 1636s |      26 |  9319454 |  7788752 |     1788  11286 |        0 |        0
1637.70/1638.27	c 1638s |      26 |  9329802 |  7797552 |     1788  11296 |        0 |        0
1639.71/1640.29	c 1640s |      26 |  9340475 |  7806652 |     1788  11305 |        0 |        0
1641.80/1642.31	c 1642s |      26 |  9351678 |  7816052 |     1788  11316 |        0 |        0
1643.80/1644.33	c 1644s |      26 |  9362556 |  7825252 |     1788  11326 |        0 |        0
1645.80/1646.34	c 1646s |      26 |  9373743 |  7834552 |     1788  11336 |        0 |        0
1647.80/1648.37	c 1648s |      26 |  9384705 |  7843752 |     1788  11346 |        0 |        0
1649.80/1650.37	c 1650s |      26 |  9395258 |  7852752 |     1788  11355 |        0 |        0
1651.80/1652.38	c 1652s |      26 |  9406168 |  7862052 |     1788  11365 |        0 |        0
1653.80/1654.39	c 1654s |      26 |  9417028 |  7871252 |     1788  11375 |        0 |        0
1655.90/1656.41	c 1656s |      26 |  9428104 |  7880552 |     1788  11386 |        0 |        0
1657.90/1658.42	c 1658s |      26 |  9438641 |  7889552 |     1788  11395 |        0 |        0
1659.89/1660.43	c 1660s |      26 |  9449018 |  7898452 |     1788  11405 |        0 |        0
1661.89/1662.45	c 1662s |      26 |  9459578 |  7907452 |     1788  11415 |        0 |        0
1663.90/1664.46	c 1664s |      26 |  9470209 |  7916452 |     1788  11425 |        0 |        0
1665.89/1666.46	c 1666s |      26 |  9481736 |  7926052 |     1788  11435 |        0 |        0
1667.89/1668.47	c 1668s |      26 |  9493222 |  7935452 |     1788  11445 |        0 |        0
1669.89/1670.49	c 1670s |      26 |  9504938 |  7945052 |     1788  11456 |        0 |        0
1671.99/1672.51	c 1672s |      26 |  9516653 |  7954652 |     1788  11466 |        0 |        0
1673.99/1674.53	c 1674s |      26 |  9527905 |  7963952 |     1788  11476 |        0 |        0
1676.00/1676.53	c 1676s |      26 |  9539200 |  7973252 |     1788  11486 |        0 |        0
1677.99/1678.53	c 1678s |      26 |  9550200 |  7982452 |     1788  11496 |        0 |        0
1679.99/1680.53	c 1680s |      26 |  9561855 |  7992052 |     1788  11507 |        0 |        0
1681.99/1682.54	c 1682s |      26 |  9573199 |  8001652 |     1788  11517 |        0 |        0
1683.99/1684.55	c 1684s |      26 |  9582999 |  8010452 |     1788  11526 |        0 |        0
1685.99/1686.57	c 1686s |      26 |  9593232 |  8019352 |     1788  11536 |        0 |        0
1687.99/1688.57	c 1688s |      26 |  9603809 |  8028352 |     1788  11546 |        0 |        0
1689.99/1690.58	c 1690s |      26 |  9615374 |  8037752 |     1788  11556 |        0 |        0
1692.09/1692.60	c 1692s |      26 |  9627250 |  8047352 |     1788  11566 |        0 |        0
1694.08/1694.61	c 1694s |      26 |  9638595 |  8057052 |     1788  11577 |        0 |        0
1696.08/1696.62	c 1696s |      26 |  9650156 |  8066452 |     1788  11587 |        0 |        0
1698.08/1698.64	c 1698s |      26 |  9661701 |  8075952 |     1788  11597 |        0 |        0
1700.09/1700.64	c 1700s |      26 |  9672951 |  8085252 |     1788  11608 |        0 |        0
1702.08/1702.64	c 1702s |      26 |  9683550 |  8094352 |     1788  11617 |        0 |        0
1704.09/1704.65	c 1704s |      26 |  9694303 |  8103552 |     1788  11628 |        0 |        0
1706.09/1706.66	c 1706s |      26 |  9706017 |  8113152 |     1788  11638 |        0 |        0
1708.09/1708.67	c 1708s |      26 |  9717987 |  8123052 |     1788  11649 |        0 |        0
1710.10/1710.69	c 1710s |      26 |  9729478 |  8132352 |     1788  11659 |        0 |        0
1712.09/1712.70	c 1712s |      26 |  9741231 |  8141852 |     1788  11669 |        0 |        0
1714.19/1714.70	c 1714s |      26 |  9752257 |  8150952 |     1788  11679 |        0 |        0
1716.19/1716.71	c 1716s |      26 |  9763403 |  8160452 |     1788  11689 |        0 |        0
1718.19/1718.72	c 1718s |      26 |  9774307 |  8169652 |     1788  11699 |        0 |        0
1720.19/1720.73	c 1720s |      26 |  9785714 |  8179052 |     1788  11710 |        0 |        0
1722.19/1722.74	c 1722s |      26 |  9796335 |  8188052 |     1788  11719 |        0 |        0
1724.19/1724.75	c 1724s |      26 |  9808142 |  8197652 |     1788  11730 |        0 |        0
1726.19/1726.76	c 1726s |      26 |  9820478 |  8207352 |     1788  11740 |        0 |        0
1728.19/1728.78	c 1728s |      26 |  9831659 |  8216452 |     1788  11750 |        0 |        0
1730.19/1730.78	c 1730s |      26 |  9843459 |  8225852 |     1788  11760 |        0 |        0
1732.18/1732.79	c 1732s |      26 |  9855011 |  8235252 |     1788  11771 |        0 |        0
1734.29/1734.80	c 1734s |      26 |  9866661 |  8244852 |     1788  11781 |        0 |        0
1736.28/1736.81	c 1736s |      26 |  9877249 |  8253852 |     1788  11791 |        0 |        0
1738.28/1738.82	c 1738s |      26 |  9888830 |  8263352 |     1788  11801 |        0 |        0
1740.28/1740.84	c 1740s |      26 |  9900692 |  8272852 |     1788  11811 |        0 |        0
1742.28/1742.86	c 1742s |      26 |  9911712 |  8281952 |     1788  11821 |        0 |        0
1744.28/1744.87	c 1744s |      26 |  9922054 |  8290852 |     1788  11831 |        0 |        0
1746.29/1746.87	c 1746s |      26 |  9932660 |  8299952 |     1788  11841 |        0 |        0
1748.28/1748.88	c 1748s |      26 |  9943563 |  8309052 |     1788  11851 |        0 |        0
1750.38/1750.90	c 1750s |      26 |  9954424 |  8318252 |     1788  11861 |        0 |        0
1752.38/1752.91	c 1752s |      26 |  9965425 |  8327452 |     1788  11871 |        0 |        0
1754.38/1754.94	c 1754s |      26 |  9977128 |  8337152 |     1788  11881 |        0 |        0
1756.38/1756.94	c 1756s |      26 |  9986452 |  8345552 |     1788  11890 |        0 |        0
1758.38/1758.96	c 1758s |      26 |  9996043 |  8353952 |     1788  11899 |        0 |        0
1760.38/1760.98	c 1760s |      26 | 10006261 |  8362652 |     1788  11909 |        0 |        0
1762.38/1762.98	c 1762s |      26 | 10016619 |  8371352 |     1788  11918 |        0 |        0
1764.38/1764.99	c 1764s |      26 | 10026270 |  8379752 |     1788  11927 |        0 |        0
1766.38/1766.99	c 1766s |      26 | 10036158 |  8388252 |     1788  11937 |        0 |        0
1768.48/1769.01	c 1768s |      26 | 10046094 |  8396852 |     1788  11946 |        0 |        0
1770.48/1771.01	c 1770s |      26 | 10056672 |  8405752 |     1788  11956 |        0 |        0
1772.47/1773.02	c 1773s |      26 | 10067142 |  8414752 |     1788  11965 |        0 |        0
1774.47/1775.03	c 1775s |      26 | 10077506 |  8423552 |     1788  11975 |        0 |        0
1776.47/1777.06	c 1777s |      26 | 10087562 |  8432252 |     1788  11984 |        0 |        0
1778.47/1779.06	c 1779s |      26 | 10098107 |  8441052 |     1788  11994 |        0 |        0
1780.48/1781.08	c 1781s |      26 | 10107970 |  8449652 |     1788  12003 |        0 |        0
1782.48/1783.08	c 1783s |      26 | 10118734 |  8458652 |     1788  12013 |        0 |        0
1784.48/1785.09	c 1785s |      26 | 10129039 |  8467352 |     1788  12022 |        0 |        0
1786.48/1787.09	c 1787s |      26 | 10139557 |  8476052 |     1788  12032 |        0 |        0
1788.58/1789.11	c 1789s |      26 | 10149510 |  8484652 |     1788  12041 |        0 |        0
1790.58/1791.12	c 1791s |      26 | 10159444 |  8493152 |     1788  12050 |        0 |        0
1792.58/1793.13	c 1793s |      26 | 10169335 |  8501652 |     1788  12060 |        0 |        0
1794.57/1795.13	c 1795s |      26 | 10180102 |  8510652 |     1788  12069 |        0 |        0
1796.57/1797.15	c 1797s |      26 | 10191242 |  8519952 |     1788  12080 |        0 |        0
1798.57/1799.16	c 1799s |      26 | 10202517 |  8529252 |     1788  12090 |        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-4089771-1466033607/watcher-4089771-1466033607 -o /tmp/evaluation-result-4089771-1466033607/solver-4089771-1466033607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089771-1466033607.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.18 1.40 1.80 3/172 11997
/proc/meminfo: memFree=30412796/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 2555 0 0 0 0 0 0 0 20 0 4 0 5406445 704049152 3428 33554432000 4194304 16246674 140733739966880 140733739966304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 172655 3437 441 2943 0 169549 0
[pid=11996/tid=12000] ppid=11992 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 734457856 3544 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 738652160 3560 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406445 743895040 3577 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 1.18 1.40 1.80 3/172 11997
/proc/meminfo: memFree=30412796/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 24940 0 0 0 6 3 0 0 20 0 4 0 5406445 1247350784 25802 33554432000 4194304 16246674 140733739966880 140733739966304 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 304529 25809 716 2943 0 301423 0
[pid=11996/tid=12000] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 25815 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 25821 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 25828 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200497 s]
/proc/loadavg: 1.18 1.40 1.80 3/172 11997
/proc/meminfo: memFree=30412796/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 48524 0 0 0 13 6 0 0 20 0 4 0 5406445 1247350784 49385 33554432000 4194304 16246674 140733739966880 140733739966304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 304529 49399 716 2943 0 301423 0
[pid=11996/tid=12000] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 49405 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 49410 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 49421 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 1.18 1.40 1.80 3/172 11997
/proc/meminfo: memFree=30412796/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 71749 0 0 0 20 9 0 0 20 0 4 0 5406445 1247350784 72611 33554432000 4194304 16246674 140733739966880 140733739948800 6018209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 304529 72618 717 2943 0 301423 0
[pid=11996/tid=12000] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 72623 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 72631 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 72639 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700419 s]
/proc/loadavg: 1.18 1.40 1.80 3/172 11997
/proc/meminfo: memFree=30412796/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 165924 0 0 0 47 22 0 0 20 0 4 0 5406445 1247350784 166786 33554432000 4194304 16246674 140733739966880 140733739948800 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 304529 166797 717 2943 0 301423 0
[pid=11996/tid=12000] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 166806 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 166815 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406445 1247350784 166823 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 1.18 1.40 1.80 5/182 12007
/proc/meminfo: memFree=28501172/32872528 swapFree=1401756/1579584
[pid=11996] ppid=11992 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 245587 0 0 0 116 33 0 0 20 0 4 0 5406445 1248399360 246428 33554432000 4194304 16246674 140733739966880 140733739948800 5707634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 304785 246428 790 2943 0 301679 0
[pid=11996/tid=12000] ppid=11992 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1248399360 246428 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1248399360 246428 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1248399360 246428 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 1.32 1.43 1.81 4/182 12007
/proc/meminfo: memFree=28269532/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267435 0 0 0 274 35 0 0 20 0 4 0 5406445 1337528320 268276 33554432000 4194304 16246674 140733739966880 140733739949880 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326545 268276 790 2943 0 323439 0
[pid=11996/tid=12000] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268276 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268276 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268276 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 1.32 1.43 1.81 4/182 12056
/proc/meminfo: memFree=28357936/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267438 0 0 0 593 35 0 0 20 0 4 0 5406445 1337528320 268279 33554432000 4194304 16246674 140733739966880 140733739948800 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326545 268279 791 2943 0 323439 0
[pid=11996/tid=12000] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268279 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268279 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268279 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.43 1.44 1.81 3/183 12057
/proc/meminfo: memFree=28269812/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267447 0 0 0 1233 36 0 0 20 0 4 0 5406445 1337528320 268288 33554432000 4194304 16246674 140733739966880 140733739948800 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326545 268288 793 2943 0 323439 0
[pid=11996/tid=12000] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268288 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268288 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268288 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.59 1.48 1.82 3/183 12057
/proc/meminfo: memFree=28270624/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267479 0 0 0 2513 36 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140733739949880 6022948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326545 268320 794 2943 0 323439 0
[pid=11996/tid=12000] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 1.89 1.55 1.83 4/183 12057
/proc/meminfo: memFree=28270972/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267479 0 0 0 5072 36 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140733739948800 5523080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326545 268320 794 2943 0 323439 0
[pid=11996/tid=12000] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1337528320 268320 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.13 1.67 1.85 3/183 12058
/proc/meminfo: memFree=28269988/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 267605 0 0 0 10191 37 0 0 20 0 4 0 5406445 1338576896 268446 33554432000 4194304 16246674 140733739966880 140733739948800 12478241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 326801 268446 795 2943 0 323695 0
[pid=11996/tid=12000] ppid=11992 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1338576896 268446 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1338576896 268446 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1338576896 268446 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.16 2.22 2.12 3/183 12088
/proc/meminfo: memFree=28264764/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1301.85 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268378 0 0 0 130132 53 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140733739948800 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268776 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.30 2.25 2.13 3/183 12089
/proc/meminfo: memFree=28264324/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1361.84 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268378 0 0 0 136130 54 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140733739949880 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268776 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.14 3/183 12090
/proc/meminfo: memFree=28264836/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1421.84 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268378 0 0 0 142129 55 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140733739948800 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268776 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268776 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 2.14 4/183 12092
/proc/meminfo: memFree=28264556/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1481.82 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268389 0 0 0 148127 55 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140733739948800 6026583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268787 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.38 2.27 2.15 3/183 12093
/proc/meminfo: memFree=28264920/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1541.82 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268389 0 0 0 154126 56 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140733739949880 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268787 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.16 3/184 12097
/proc/meminfo: memFree=28264092/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1601.8 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268389 0 0 0 160123 57 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140733739949880 5661747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268787 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268787 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.27 2.26 2.16 3/184 12121
/proc/meminfo: memFree=28263100/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1661.79 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268420 0 0 0 166121 58 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140733739949880 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268818 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.31 2.28 2.17 3/183 12122
/proc/meminfo: memFree=28264384/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1721.79 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268420 0 0 0 172120 59 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140733739949880 6021536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268818 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.24 2.26 2.18 3/183 12124
/proc/meminfo: memFree=28263708/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1781.77 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268420 0 0 0 178118 59 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140733739948800 5674030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268818 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.28 2.18 3/183 12124
/proc/meminfo: memFree=28263552/32872528 swapFree=1401752/1579580
[pid=11996] ppid=11992 vsize=1308228 CPUtime=1800.07 cores=1,3,5,7
/proc/11996/stat : 11996 (toysat) R 11992 11996 5813 0 -1 4202496 268420 0 0 0 179947 60 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140733739948800 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11996/statm: 327057 268818 796 2943 0 323951 0
[pid=11996/tid=12000] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12000/stat : 12000 (toysat) S 11992 11996 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074402426096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11996/tid=12003] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12003/stat : 12003 (toysat) S 11992 11996 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074318540016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11996/tid=12005] ppid=11992 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11996/task/12005/stat : 12005 (toysat) S 11992 11996 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406445 1339625472 268818 33554432000 4194304 16246674 140733739966880 140074308066480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 11996 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.09
CPU user time (s): 1799.48
CPU system time (s): 0.605907
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.605907
maximum resident set size= 1075272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268420
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= 462
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92425 second user time and 6.62999 second system time

The end

Begin job on node139 at 2016-06-16 01:33:27
IDJOB=4089771
IDBENCH=107454
IDSOLVER=2542
FILE ID=node139/4089771-1466033607
RUNJOBID= node139-1466033607-11971
PBS_JOBID= 19902810
Free space on /tmp= 71628 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089771-1466033607/watcher-4089771-1466033607 -o /tmp/evaluation-result-4089771-1466033607/solver-4089771-1466033607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089771-1466033607.opb

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

MD5SUM BENCH= 9296317758470d2af9b3cf0228fdb859
RANDOM SEED=418724798

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30413976 kB
Buffers:           20344 kB
Cached:           149136 kB
SwapCached:         8924 kB
Active:            72580 kB
Inactive:         106020 kB
Active(anon):       3152 kB
Inactive(anon):     8356 kB
Active(file):      69428 kB
Inactive(file):    97664 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             32608 kB
Writeback:             0 kB
AnonPages:       1708300 kB
Mapped:             7464 kB
Shmem:                 0 kB
Slab:             567952 kB
SReclaimable:      12540 kB
SUnreclaim:       555412 kB
KernelStack:        1408 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1674052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 71596 MiB
End job on node139 at 2016-06-16 02:03:28