0.00/0.00	c 2016-06-15T22:34:17+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-4089169-1466022857.opb"]
0.00/0.01	c use --random-gen="322819390 74309951 4003795264 2231348552 830666139 3915102140 1257185486 988710235 862133076 1553658177 698867248 196427353 3119919101 3292571427 4219993270 316615537 829344867 1457793289 2717206984 3455735408 439944654 1509647994 1239704018 2312902864 125050198 229419287 2368100571 3810779347 90516123 3365330633 562909560 3557528888 1804421736 2713827910 3206009867 2707969729 1325343245 1719659343 3973891846 3836304098 2058088702 1914586261 1804867609 2758668229 590540212 3877615723 959521929 828652569 2069814179 3133906286 65633026 3748445505 2653677047 884825410 3567753635 1752213040 3258074770 2263587430 997840366 2537353264 2255816724 540134626 2876858393 4092545763 1104762309 3440819296 992982915 3767155497 1075596219 2470120064 2894764413 469933151 1548142250 2309531604 580385029 3869464 3123451836 1974187239 359425239 4025983419 3355862159 4178029128 2342671487 628275415 4239230795 649370132 262584076 933147823 3312460710 855638365 2193649709 2253033712 1010647806 2965911841 3484857056 3281640770 2379387480 858799904 4160055719 403766325 3911088546 3537004594 3765115154 1681531874 1166747815 4126743608 999098043 4038753056 1704504378 3537936713 1958699291 903267307 1045067788 2840199866 338156012 2987150822 2848489736 4265602734 2086662886 3113382839 1176932454 1796326382 1991154813 520703165 887549685 2376044313 3365523185 2016013728 2500269698 3225797173 3905505464 1425780897 3171992496 2231170731 1684239557 2392108539 2146895215 2843489448 2848532553 4106388417 155927386 4122669352 3507514724 195618425 599440502 2827527854 1914225887 520264967 1741720622 3601064116 744411590 2269258066 4058353310 3323357790 153201355 4078107076 4070478872 1122133262 1669261761 3081333239 684103594 4169765856 3790641011 3030924375 2642705948 1555541495 3866435837 4206755438 3762332553 2116946855 1955836524 1584898002 4059263178 2266115149 946568455 3003842847 2738315678 3401817638 1717171544 3393182568 2152703080 3917949664 3278351440 2832767905 206266499 766326732 2274235346 3655871078 822633495 452407235 2888302490 3606696534 1047901819 3250246637 3109132392 3149415355 4014195596 3922471756 3053478025 4077415468 692014750 2832680588 1547208019 3654858013 346906836 659855630 1060555425 3955938040 2045393468 1396235898 3974404440 3313314460 1936405485 1199125978 3863393027 1779777921 540041679 2546250342 1943265974 434355833 2113432927 1987390412 3989901981 1557464390 3621928924 4014807444 2638419221 1280404755 274580255 3516533147 3931452151 2996735534 2858813795 216719952 672703495 3652590211 1111964784 1353161430 41366087 1258431290 2057649609 436163259 3984733078 1271432690 1974655096 1321903546 1467980762 3363815785 1401668945 214524642 3876756872 4286447735 2803912732 454154384 2383246272 2041957302 255 362436" option to reproduce the execution
0.00/0.01	c #vars 116
0.00/0.01	c #constraints 233
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      116      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      173 |      100 |      116      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      378 |      250 |      128      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      660 |      475 |      141      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1058 |      813 |      156      7 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1623 |     1320 |      172     11 |        0 |        0
0.29/0.33	c  0.3s |       6 |     2439 |     2081 |      210     18 |        0 |        0
0.49/0.52	c  0.5s |       7 |     3647 |     3223 |      232     26 |        0 |        0
0.79/0.81	c  0.8s |       8 |     5414 |     4936 |      256     38 |        0 |        0
0.99/1.09	c  1.1s |       9 |     8084 |     7506 |      282     55 |        0 |        0
1.49/1.53	c  1.5s |      10 |    12069 |    11361 |      311     78 |        0 |        0
2.09/2.15	c  2.1s |      11 |    18062 |    17144 |      343    110 |        0 |        0
3.09/3.10	c  3.1s |      12 |    27121 |    25819 |      378    155 |        0 |        0
4.50/4.57	c  4.6s |      13 |    40516 |    38832 |      416    216 |        0 |        0
6.49/6.57	c  6.6s |      13 |    58606 |    56332 |      416    291 |        0 |        0
6.79/6.81	c  6.8s |      14 |    60779 |    58352 |      458    300 |        0 |        0
8.79/8.81	c  8.8s |      14 |    78897 |    75752 |      458    369 |        0 |        0
10.09/10.18	c 10.2s |      15 |    91360 |    87632 |      504    416 |        0 |        0
12.09/12.19	c 12.2s |      15 |   109891 |   104732 |      504    478 |        0 |        0
14.08/14.19	c 14.2s |      15 |   127863 |   121832 |      504    540 |        0 |        0
15.28/15.32	c 15.3s |      16 |   138004 |   131552 |      555    575 |        0 |        0
17.28/17.33	c 17.3s |      16 |   155827 |   148552 |      555    632 |        0 |        0
19.29/19.34	c 19.3s |      16 |   173710 |   165652 |      555    688 |        0 |        0
21.29/21.34	c 21.3s |      16 |   191432 |   182752 |      555    745 |        0 |        0
22.99/23.08	c 23.1s |      17 |   206648 |   197432 |      611    794 |        0 |        0
24.99/25.09	c 25.1s |      17 |   224351 |   214332 |      611    845 |        0 |        0
27.09/27.10	c 27.1s |      17 |   242171 |   231132 |      611    897 |        0 |        0
29.09/29.11	c 29.1s |      17 |   259762 |   247932 |      611    948 |        0 |        0
31.09/31.11	c 31.1s |      17 |   277576 |   264532 |      611    998 |        0 |        0
33.09/33.12	c 33.1s |      17 |   295291 |   281232 |      611   1049 |        0 |        0
34.88/34.95	c 34.9s |      18 |   311258 |   296252 |      673   1095 |        0 |        0
36.88/36.96	c 36.9s |      18 |   329048 |   312652 |      673   1140 |        0 |        0
38.88/38.97	c 39.0s |      18 |   346420 |   328952 |      673   1185 |        0 |        0
40.88/40.98	c 41.0s |      18 |   363744 |   345352 |      673   1231 |        0 |        0
42.89/42.99	c 43.0s |      18 |   381404 |   361652 |      673   1277 |        0 |        0
44.89/44.99	c 45.0s |      18 |   398801 |   377552 |      673   1321 |        0 |        0
46.99/47.01	c 47.0s |      18 |   416447 |   393852 |      673   1367 |        0 |        0
48.99/49.01	c 49.0s |      18 |   433783 |   410252 |      673   1412 |        0 |        0
50.99/51.01	c 51.0s |      18 |   451384 |   426452 |      673   1457 |        0 |        0
52.99/53.02	c 53.0s |      18 |   468504 |   442652 |      741   1502 |        0 |        0
53.19/53.24	c 53.2s |      19 |   470404 |   444482 |      741   1507 |        0 |        0
55.19/55.24	c 55.2s |      19 |   487428 |   460682 |      741   1548 |        0 |        0
57.19/57.25	c 57.2s |      19 |   504128 |   476882 |      741   1589 |        0 |        0
59.19/59.26	c 59.2s |      19 |   521168 |   492982 |      741   1630 |        0 |        0
61.19/61.26	c 61.3s |      19 |   538740 |   509182 |      741   1671 |        0 |        0
63.19/63.27	c 63.3s |      19 |   555858 |   524982 |      741   1712 |        0 |        0
65.19/65.29	c 65.3s |      19 |   573296 |   541082 |      741   1753 |        0 |        0
67.19/67.29	c 67.3s |      19 |   590939 |   556982 |      741   1793 |        0 |        0
69.18/69.30	c 69.3s |      19 |   608634 |   572982 |      741   1834 |        0 |        0
71.28/71.31	c 71.3s |      19 |   625466 |   588782 |      741   1874 |        0 |        0
73.28/73.32	c 73.3s |      19 |   642779 |   604682 |      741   1914 |        0 |        0
75.28/75.32	c 75.3s |      19 |   659799 |   620582 |      741   1955 |        0 |        0
77.28/77.32	c 77.3s |      19 |   676990 |   636382 |      741   1995 |        0 |        0
79.28/79.33	c 79.3s |      19 |   694648 |   652182 |      741   2035 |        0 |        0
81.08/81.19	c 81.2s |      20 |   710853 |   666827 |      816   2072 |        0 |        0
83.18/83.20	c 83.2s |      20 |   727824 |   682627 |      816   2108 |        0 |        0
85.17/85.20	c 85.2s |      20 |   744677 |   698227 |      816   2145 |        0 |        0
87.17/87.21	c 87.2s |      20 |   761629 |   713927 |      816   2181 |        0 |        0
89.19/89.21	c 89.2s |      20 |   778445 |   729927 |      816   2218 |        0 |        0
91.18/91.22	c 91.2s |      20 |   795433 |   745927 |      816   2255 |        0 |        0
93.18/93.24	c 93.2s |      20 |   813480 |   761827 |      816   2293 |        0 |        0
95.18/95.24	c 95.2s |      20 |   831012 |   777327 |      816   2329 |        0 |        0
97.18/97.25	c 97.2s |      20 |   848688 |   793027 |      816   2365 |        0 |        0
99.18/99.25	c 99.2s |      20 |   865873 |   808627 |      816   2401 |        0 |        0
101.19/101.26	c  101s |      20 |   883083 |   824127 |      816   2437 |        0 |        0
103.18/103.26	c  103s |      20 |   899557 |   839627 |      816   2473 |        0 |        0
105.18/105.27	c  105s |      20 |   916606 |   855427 |      816   2510 |        0 |        0
107.17/107.27	c  107s |      20 |   932918 |   871027 |      816   2546 |        0 |        0
109.17/109.27	c  109s |      20 |   949591 |   886627 |      816   2583 |        0 |        0
111.18/111.27	c  111s |      20 |   965783 |   902127 |      816   2619 |        0 |        0
113.17/113.28	c  113s |      20 |   982504 |   917827 |      816   2655 |        0 |        0
115.17/115.28	c  115s |      20 |   998771 |   933427 |      816   2692 |        0 |        0
117.17/117.29	c  117s |      20 |  1015111 |   948927 |      816   2728 |        0 |        0
119.27/119.30	c  119s |      20 |  1031975 |   964327 |      816   2764 |        0 |        0
121.27/121.31	c  121s |      20 |  1048439 |   979727 |      816   2800 |        0 |        0
123.28/123.31	c  123s |      20 |  1065539 |   995327 |      898   2836 |        0 |        0
123.87/123.97	c  123s |      21 |  1071193 |  1000345 |      898   2846 |        0 |        0
125.87/125.98	c  125s |      21 |  1088305 |  1015845 |      898   2879 |        0 |        0
127.87/127.99	c  127s |      21 |  1104745 |  1031045 |      898   2911 |        0 |        0
129.97/130.00	c  129s |      21 |  1121130 |  1046545 |      898   2944 |        0 |        0
131.97/132.01	c  131s |      21 |  1137549 |  1061745 |      898   2977 |        0 |        0
133.97/134.01	c  133s |      21 |  1154261 |  1076645 |      898   3008 |        0 |        0
135.97/136.01	c  135s |      21 |  1170851 |  1091845 |      898   3040 |        0 |        0
137.97/138.02	c  138s |      21 |  1187069 |  1107045 |      898   3073 |        0 |        0
139.97/140.03	c  140s |      21 |  1203208 |  1122145 |      898   3105 |        0 |        0
141.98/142.03	c  142s |      21 |  1219902 |  1137045 |      898   3136 |        0 |        0
143.97/144.04	c  144s |      21 |  1236769 |  1152345 |      898   3169 |        0 |        0
145.97/146.04	c  146s |      21 |  1252804 |  1167645 |      898   3201 |        0 |        0
147.97/148.05	c  148s |      21 |  1269323 |  1182945 |      898   3234 |        0 |        0
149.97/150.05	c  150s |      21 |  1285956 |  1198145 |      898   3266 |        0 |        0
151.97/152.05	c  152s |      21 |  1302453 |  1213345 |      898   3298 |        0 |        0
153.98/154.06	c  154s |      21 |  1318902 |  1228545 |      898   3331 |        0 |        0
155.97/156.07	c  156s |      21 |  1335168 |  1243645 |      898   3363 |        0 |        0
157.97/158.08	c  158s |      21 |  1351724 |  1258845 |      898   3395 |        0 |        0
159.97/160.08	c  160s |      21 |  1368564 |  1273945 |      898   3427 |        0 |        0
161.97/162.09	c  162s |      21 |  1385500 |  1289045 |      898   3460 |        0 |        0
164.07/164.10	c  164s |      21 |  1401554 |  1304245 |      898   3492 |        0 |        0
166.07/166.12	c  166s |      21 |  1418093 |  1319545 |      898   3525 |        0 |        0
168.07/168.12	c  168s |      21 |  1435056 |  1335045 |      898   3557 |        0 |        0
170.06/170.13	c  170s |      21 |  1451771 |  1350145 |      898   3589 |        0 |        0
172.06/172.13	c  172s |      21 |  1468119 |  1365245 |      898   3622 |        0 |        0
174.06/174.14	c  174s |      21 |  1484849 |  1380345 |      898   3654 |        0 |        0
176.07/176.16	c  176s |      21 |  1500931 |  1395345 |      898   3686 |        0 |        0
178.06/178.17	c  178s |      21 |  1517215 |  1410445 |      898   3718 |        0 |        0
180.07/180.18	c  180s |      21 |  1534106 |  1425545 |      898   3750 |        0 |        0
182.07/182.19	c  182s |      21 |  1551257 |  1440645 |      898   3782 |        0 |        0
184.17/184.20	c  184s |      21 |  1568683 |  1455845 |      898   3814 |        0 |        0
186.16/186.21	c  186s |      21 |  1585730 |  1470945 |      898   3846 |        0 |        0
188.17/188.22	c  188s |      21 |  1602912 |  1485945 |      898   3878 |        0 |        0
190.16/190.23	c  190s |      22 |  1619418 |  1500622 |      988   3908 |        0 |        0
192.16/192.23	c  192s |      22 |  1635644 |  1515822 |      988   3937 |        0 |        0
194.16/194.23	c  194s |      22 |  1652137 |  1530822 |      988   3966 |        0 |        0
196.16/196.24	c  196s |      22 |  1668608 |  1545822 |      988   3995 |        0 |        0
198.16/198.25	c  198s |      22 |  1684265 |  1560522 |      988   4024 |        0 |        0
200.17/200.25	c  200s |      22 |  1701037 |  1575722 |      988   4053 |        0 |        0
202.16/202.26	c  202s |      22 |  1717012 |  1590722 |      988   4082 |        0 |        0
204.16/204.27	c  204s |      22 |  1732784 |  1605622 |      988   4111 |        0 |        0
206.16/206.28	c  206s |      22 |  1749027 |  1620722 |      988   4141 |        0 |        0
208.16/208.28	c  208s |      22 |  1765590 |  1635722 |      988   4170 |        0 |        0
210.17/210.28	c  210s |      22 |  1782821 |  1650622 |      988   4199 |        0 |        0
212.16/212.29	c  212s |      22 |  1798802 |  1665422 |      988   4228 |        0 |        0
214.26/214.30	c  214s |      22 |  1815435 |  1680722 |      988   4257 |        0 |        0
216.26/216.30	c  216s |      22 |  1831622 |  1695322 |      988   4286 |        0 |        0
218.26/218.31	c  218s |      22 |  1847386 |  1710022 |      988   4314 |        0 |        0
220.26/220.32	c  220s |      22 |  1863820 |  1724722 |      988   4343 |        0 |        0
222.27/222.32	c  222s |      22 |  1880676 |  1739622 |      988   4372 |        0 |        0
224.26/224.33	c  224s |      22 |  1897448 |  1754422 |      988   4400 |        0 |        0
226.26/226.33	c  226s |      22 |  1914318 |  1769322 |      988   4429 |        0 |        0
228.26/228.34	c  228s |      22 |  1931067 |  1784322 |      988   4458 |        0 |        0
230.26/230.35	c  230s |      22 |  1947034 |  1798822 |      988   4486 |        0 |        0
232.26/232.36	c  232s |      22 |  1963231 |  1813322 |      988   4515 |        0 |        0
234.27/234.37	c  234s |      22 |  1979215 |  1827922 |      988   4543 |        0 |        0
236.26/236.37	c  236s |      22 |  1995427 |  1842422 |      988   4571 |        0 |        0
238.26/238.38	c  238s |      22 |  2012242 |  1856922 |      988   4599 |        0 |        0
240.26/240.39	c  240s |      22 |  2030304 |  1871522 |      988   4628 |        0 |        0
242.36/242.40	c  242s |      22 |  2047533 |  1886622 |      988   4657 |        0 |        0
244.36/244.41	c  244s |      22 |  2064562 |  1901522 |      988   4686 |        0 |        0
246.36/246.41	c  246s |      22 |  2081668 |  1916222 |      988   4714 |        0 |        0
248.36/248.42	c  248s |      22 |  2099069 |  1930822 |      988   4743 |        0 |        0
250.36/250.42	c  250s |      22 |  2115532 |  1945622 |      988   4771 |        0 |        0
252.35/252.43	c  252s |      22 |  2132410 |  1960422 |      988   4800 |        0 |        0
254.35/254.43	c  254s |      22 |  2149515 |  1975322 |      988   4829 |        0 |        0
256.36/256.44	c  256s |      22 |  2166074 |  1990022 |      988   4857 |        0 |        0
258.35/258.45	c  258s |      22 |  2182292 |  2004822 |      988   4886 |        0 |        0
260.35/260.45	c  260s |      22 |  2200455 |  2019822 |      988   4915 |        0 |        0
262.35/262.46	c  262s |      22 |  2217288 |  2034422 |      988   4944 |        0 |        0
264.35/264.46	c  264s |      22 |  2233351 |  2048922 |      988   4972 |        0 |        0
266.35/266.48	c  266s |      22 |  2251097 |  2063622 |      988   5001 |        0 |        0
268.36/268.49	c  268s |      22 |  2267544 |  2078222 |      988   5029 |        0 |        0
270.35/270.49	c  270s |      22 |  2284368 |  2092922 |      988   5058 |        0 |        0
272.35/272.49	c  272s |      22 |  2301516 |  2107722 |      988   5086 |        0 |        0
274.45/274.50	c  274s |      22 |  2318472 |  2122322 |      988   5115 |        0 |        0
276.45/276.50	c  276s |      22 |  2334571 |  2137022 |      988   5143 |        0 |        0
278.45/278.51	c  278s |      22 |  2350677 |  2151722 |      988   5172 |        0 |        0
280.45/280.52	c  280s |      22 |  2367588 |  2166422 |      988   5200 |        0 |        0
282.45/282.52	c  282s |      22 |  2384038 |  2181022 |      988   5229 |        0 |        0
284.44/284.53	c  284s |      22 |  2400974 |  2196222 |      988   5258 |        0 |        0
286.44/286.53	c  286s |      22 |  2417852 |  2211122 |      988   5288 |        0 |        0
288.44/288.55	c  288s |      22 |  2434474 |  2225822 |      988   5316 |        0 |        0
290.45/290.56	c  290s |      22 |  2451553 |  2240422 |     1087   5344 |        0 |        0
291.95/292.00	c  291s |      23 |  2463816 |  2251038 |     1087   5363 |        0 |        0
293.95/294.01	c  293s |      23 |  2480212 |  2265838 |     1087   5389 |        0 |        0
295.96/296.01	c  295s |      23 |  2497045 |  2280538 |     1087   5415 |        0 |        0
297.95/298.02	c  298s |      23 |  2513454 |  2295438 |     1087   5441 |        0 |        0
299.95/300.03	c  300s |      23 |  2529554 |  2309838 |     1087   5467 |        0 |        0
301.95/302.03	c  302s |      23 |  2545511 |  2324138 |     1087   5492 |        0 |        0
303.94/304.04	c  304s |      23 |  2562052 |  2338638 |     1087   5518 |        0 |        0
305.94/306.04	c  306s |      23 |  2578596 |  2353538 |     1087   5544 |        0 |        0
307.95/308.05	c  308s |      23 |  2596264 |  2368438 |     1087   5571 |        0 |        0
309.94/310.06	c  310s |      23 |  2613502 |  2383038 |     1087   5597 |        0 |        0
311.94/312.06	c  312s |      23 |  2630245 |  2397938 |     1087   5623 |        0 |        0
313.94/314.07	c  314s |      23 |  2647188 |  2412738 |     1087   5649 |        0 |        0
315.94/316.07	c  316s |      23 |  2663501 |  2427438 |     1087   5675 |        0 |        0
317.94/318.09	c  318s |      23 |  2679533 |  2441938 |     1087   5701 |        0 |        0
319.94/320.10	c  320s |      23 |  2695428 |  2456438 |     1087   5726 |        0 |        0
322.04/322.10	c  322s |      23 |  2711541 |  2471038 |     1087   5752 |        0 |        0
324.03/324.11	c  324s |      23 |  2727618 |  2485738 |     1087   5778 |        0 |        0
326.03/326.11	c  326s |      23 |  2743219 |  2500238 |     1087   5804 |        0 |        0
328.04/328.12	c  328s |      23 |  2759056 |  2514738 |     1087   5830 |        0 |        0
330.05/330.13	c  330s |      23 |  2775260 |  2529338 |     1087   5855 |        0 |        0
332.04/332.13	c  332s |      23 |  2791593 |  2544238 |     1087   5882 |        0 |        0
334.04/334.15	c  334s |      23 |  2808558 |  2558938 |     1087   5908 |        0 |        0
336.04/336.15	c  336s |      23 |  2824649 |  2573538 |     1087   5933 |        0 |        0
338.03/338.16	c  338s |      23 |  2840595 |  2588138 |     1087   5959 |        0 |        0
340.03/340.17	c  340s |      23 |  2857019 |  2602938 |     1087   5986 |        0 |        0
342.04/342.17	c  342s |      23 |  2873584 |  2617438 |     1087   6011 |        0 |        0
344.03/344.17	c  344s |      23 |  2889815 |  2632038 |     1087   6037 |        0 |        0
346.03/346.18	c  346s |      23 |  2907292 |  2646938 |     1087   6064 |        0 |        0
348.03/348.19	c  348s |      23 |  2924932 |  2661738 |     1087   6090 |        0 |        0
350.02/350.20	c  350s |      23 |  2941883 |  2676338 |     1087   6116 |        0 |        0
352.12/352.21	c  352s |      23 |  2957987 |  2691038 |     1087   6142 |        0 |        0
354.13/354.21	c  354s |      23 |  2974324 |  2705638 |     1087   6167 |        0 |        0
356.12/356.22	c  356s |      23 |  2990525 |  2720338 |     1087   6193 |        0 |        0
358.12/358.22	c  358s |      23 |  3006846 |  2735038 |     1087   6219 |        0 |        0
360.12/360.23	c  360s |      23 |  3022929 |  2749738 |     1087   6245 |        0 |        0
362.13/362.24	c  362s |      23 |  3038916 |  2764438 |     1087   6272 |        0 |        0
364.13/364.25	c  364s |      23 |  3055026 |  2779138 |     1087   6298 |        0 |        0
366.12/366.26	c  366s |      23 |  3071964 |  2793938 |     1087   6324 |        0 |        0
368.12/368.26	c  368s |      23 |  3088834 |  2808538 |     1087   6350 |        0 |        0
370.12/370.27	c  370s |      23 |  3104812 |  2823338 |     1087   6376 |        0 |        0
372.12/372.28	c  372s |      23 |  3120606 |  2838038 |     1087   6402 |        0 |        0
374.12/374.29	c  374s |      23 |  3137021 |  2852438 |     1087   6428 |        0 |        0
376.12/376.30	c  376s |      23 |  3154369 |  2867338 |     1087   6454 |        0 |        0
378.22/378.30	c  378s |      23 |  3170460 |  2881938 |     1087   6480 |        0 |        0
380.21/380.31	c  380s |      23 |  3187444 |  2896538 |     1087   6506 |        0 |        0
382.21/382.32	c  382s |      23 |  3204665 |  2911338 |     1087   6533 |        0 |        0
384.21/384.33	c  384s |      23 |  3221272 |  2925938 |     1087   6559 |        0 |        0
386.21/386.33	c  386s |      23 |  3238244 |  2940538 |     1087   6584 |        0 |        0
388.21/388.33	c  388s |      23 |  3254971 |  2955238 |     1087   6611 |        0 |        0
390.21/390.35	c  390s |      23 |  3271735 |  2970138 |     1087   6637 |        0 |        0
392.20/392.35	c  392s |      23 |  3288300 |  2984938 |     1087   6664 |        0 |        0
394.20/394.35	c  394s |      23 |  3305193 |  2999738 |     1087   6690 |        0 |        0
396.20/396.35	c  396s |      23 |  3322285 |  3014638 |     1087   6716 |        0 |        0
398.21/398.36	c  398s |      23 |  3339714 |  3029638 |     1087   6743 |        0 |        0
400.20/400.37	c  400s |      23 |  3355499 |  3044538 |     1087   6770 |        0 |        0
402.20/402.38	c  402s |      23 |  3372636 |  3059538 |     1087   6796 |        0 |        0
404.19/404.39	c  404s |      23 |  3389469 |  3074138 |     1087   6822 |        0 |        0
406.29/406.40	c  406s |      23 |  3407205 |  3088738 |     1087   6848 |        0 |        0
408.30/408.41	c  408s |      23 |  3423833 |  3103638 |     1087   6875 |        0 |        0
410.31/410.41	c  410s |      23 |  3439984 |  3118238 |     1087   6900 |        0 |        0
412.30/412.42	c  412s |      23 |  3456508 |  3132938 |     1087   6926 |        0 |        0
414.30/414.42	c  414s |      23 |  3473588 |  3147538 |     1087   6952 |        0 |        0
416.30/416.43	c  416s |      23 |  3490246 |  3162138 |     1087   6978 |        0 |        0
418.30/418.43	c  418s |      23 |  3507410 |  3176838 |     1087   7004 |        0 |        0
420.30/420.44	c  420s |      23 |  3523238 |  3191538 |     1087   7030 |        0 |        0
422.30/422.45	c  422s |      23 |  3539104 |  3206038 |     1087   7056 |        0 |        0
424.29/424.45	c  424s |      23 |  3555211 |  3220638 |     1087   7081 |        0 |        0
426.29/426.47	c  426s |      23 |  3571346 |  3235038 |     1087   7107 |        0 |        0
428.29/428.48	c  428s |      23 |  3587220 |  3249538 |     1087   7133 |        0 |        0
430.29/430.49	c  430s |      23 |  3603550 |  3264038 |     1087   7158 |        0 |        0
432.30/432.49	c  432s |      23 |  3619187 |  3278538 |     1087   7184 |        0 |        0
434.29/434.50	c  434s |      23 |  3634880 |  3293138 |     1087   7210 |        0 |        0
436.39/436.50	c  436s |      23 |  3651106 |  3307638 |     1087   7236 |        0 |        0
438.39/438.50	c  438s |      23 |  3667054 |  3322038 |     1087   7261 |        0 |        0
440.38/440.51	c  440s |      23 |  3683406 |  3336838 |     1087   7288 |        0 |        0
442.38/442.53	c  442s |      23 |  3699726 |  3351638 |     1087   7314 |        0 |        0
444.39/444.54	c  444s |      23 |  3715727 |  3366438 |     1196   7338 |        0 |        0
445.78/445.93	c  445s |      24 |  3726593 |  3376662 |     1196   7354 |        0 |        0
447.78/447.94	c  447s |      24 |  3742856 |  3391562 |     1196   7378 |        0 |        0
449.78/449.94	c  449s |      24 |  3759080 |  3406362 |     1196   7402 |        0 |        0
451.78/451.95	c  451s |      24 |  3775040 |  3420962 |     1196   7425 |        0 |        0
453.78/453.96	c  453s |      24 |  3791311 |  3435762 |     1196   7449 |        0 |        0
455.78/455.97	c  455s |      24 |  3806913 |  3450362 |     1196   7473 |        0 |        0
457.78/457.98	c  457s |      24 |  3822912 |  3465162 |     1196   7497 |        0 |        0
459.79/459.99	c  459s |      24 |  3839289 |  3479862 |     1196   7520 |        0 |        0
461.78/462.00	c  461s |      24 |  3855413 |  3494962 |     1196   7545 |        0 |        0
463.88/464.01	c  463s |      24 |  3871695 |  3509662 |     1196   7569 |        0 |        0
465.88/466.01	c  466s |      24 |  3887566 |  3524262 |     1196   7592 |        0 |        0
467.87/468.03	c  468s |      24 |  3903467 |  3538962 |     1196   7616 |        0 |        0
469.87/470.04	c  470s |      24 |  3919838 |  3553462 |     1196   7639 |        0 |        0
471.88/472.05	c  472s |      24 |  3935924 |  3567862 |     1196   7663 |        0 |        0
473.87/474.06	c  474s |      24 |  3951857 |  3582262 |     1196   7686 |        0 |        0
475.87/476.07	c  476s |      24 |  3968366 |  3596862 |     1196   7709 |        0 |        0
477.87/478.08	c  478s |      24 |  3984666 |  3611662 |     1196   7733 |        0 |        0
479.87/480.08	c  480s |      24 |  4001356 |  3626662 |     1196   7757 |        0 |        0
481.87/482.09	c  482s |      24 |  4018266 |  3641462 |     1196   7781 |        0 |        0
483.87/484.09	c  484s |      24 |  4034144 |  3655962 |     1196   7805 |        0 |        0
485.97/486.10	c  486s |      24 |  4050244 |  3670662 |     1196   7828 |        0 |        0
487.97/488.10	c  488s |      24 |  4065767 |  3685162 |     1196   7852 |        0 |        0
489.96/490.11	c  490s |      24 |  4081781 |  3699862 |     1196   7876 |        0 |        0
491.96/492.11	c  492s |      24 |  4097724 |  3714262 |     1196   7899 |        0 |        0
493.96/494.12	c  494s |      24 |  4114672 |  3728862 |     1196   7922 |        0 |        0
495.98/496.12	c  496s |      24 |  4130225 |  3743362 |     1196   7946 |        0 |        0
497.97/498.12	c  498s |      24 |  4146292 |  3758062 |     1196   7969 |        0 |        0
499.97/500.13	c  500s |      24 |  4162148 |  3772762 |     1196   7993 |        0 |        0
501.97/502.14	c  502s |      24 |  4178361 |  3787462 |     1196   8017 |        0 |        0
503.97/504.14	c  504s |      24 |  4194425 |  3802262 |     1196   8041 |        0 |        0
505.97/506.14	c  506s |      24 |  4210689 |  3816962 |     1196   8065 |        0 |        0
507.96/508.15	c  508s |      24 |  4226553 |  3831662 |     1196   8088 |        0 |        0
509.96/510.16	c  510s |      24 |  4242537 |  3846462 |     1196   8112 |        0 |        0
511.96/512.17	c  512s |      24 |  4258305 |  3861262 |     1196   8136 |        0 |        0
513.95/514.18	c  514s |      24 |  4274045 |  3875862 |     1196   8160 |        0 |        0
515.95/516.19	c  516s |      24 |  4290432 |  3890762 |     1196   8184 |        0 |        0
517.96/518.20	c  518s |      24 |  4305918 |  3905362 |     1196   8207 |        0 |        0
520.05/520.20	c  520s |      24 |  4321638 |  3920062 |     1196   8231 |        0 |        0
522.05/522.20	c  522s |      24 |  4337431 |  3934362 |     1196   8254 |        0 |        0
524.06/524.22	c  524s |      24 |  4353457 |  3948962 |     1196   8278 |        0 |        0
526.06/526.23	c  526s |      24 |  4369403 |  3963662 |     1196   8301 |        0 |        0
528.06/528.23	c  528s |      24 |  4385455 |  3977862 |     1196   8324 |        0 |        0
530.06/530.23	c  530s |      24 |  4401253 |  3992362 |     1196   8348 |        0 |        0
532.06/532.24	c  532s |      24 |  4417236 |  4007362 |     1196   8372 |        0 |        0
534.05/534.24	c  534s |      24 |  4432877 |  4022162 |     1196   8396 |        0 |        0
536.05/536.25	c  536s |      24 |  4448449 |  4036762 |     1196   8419 |        0 |        0
538.05/538.26	c  538s |      24 |  4464988 |  4051662 |     1196   8444 |        0 |        0
540.05/540.27	c  540s |      24 |  4480828 |  4066462 |     1196   8467 |        0 |        0
542.05/542.28	c  542s |      24 |  4497386 |  4081462 |     1196   8492 |        0 |        0
544.04/544.29	c  544s |      24 |  4513133 |  4096162 |     1196   8516 |        0 |        0
546.14/546.30	c  546s |      24 |  4529021 |  4110562 |     1196   8539 |        0 |        0
548.14/548.30	c  548s |      24 |  4544802 |  4125062 |     1196   8562 |        0 |        0
550.14/550.31	c  550s |      24 |  4561470 |  4139662 |     1196   8586 |        0 |        0
552.15/552.31	c  552s |      24 |  4577181 |  4154162 |     1196   8609 |        0 |        0
554.14/554.32	c  554s |      24 |  4592778 |  4168962 |     1196   8633 |        0 |        0
556.14/556.32	c  556s |      24 |  4608783 |  4183562 |     1196   8657 |        0 |        0
558.14/558.33	c  558s |      24 |  4624340 |  4198062 |     1196   8681 |        0 |        0
560.14/560.33	c  560s |      24 |  4639777 |  4212762 |     1196   8704 |        0 |        0
562.14/562.34	c  562s |      24 |  4655951 |  4227462 |     1196   8728 |        0 |        0
564.15/564.35	c  564s |      24 |  4672974 |  4241962 |     1196   8752 |        0 |        0
566.14/566.35	c  566s |      24 |  4688922 |  4256862 |     1196   8776 |        0 |        0
568.14/568.36	c  568s |      24 |  4705878 |  4271662 |     1196   8800 |        0 |        0
570.14/570.36	c  570s |      24 |  4721757 |  4286362 |     1196   8823 |        0 |        0
572.14/572.37	c  572s |      24 |  4738072 |  4301062 |     1196   8847 |        0 |        0
574.14/574.39	c  574s |      24 |  4754216 |  4315862 |     1196   8871 |        0 |        0
576.14/576.39	c  576s |      24 |  4770414 |  4330662 |     1196   8895 |        0 |        0
578.13/578.39	c  578s |      24 |  4786800 |  4345362 |     1196   8919 |        0 |        0
580.23/580.40	c  580s |      24 |  4803226 |  4360162 |     1196   8943 |        0 |        0
582.23/582.41	c  582s |      24 |  4819617 |  4374962 |     1196   8967 |        0 |        0
584.23/584.41	c  584s |      24 |  4835413 |  4389762 |     1196   8991 |        0 |        0
586.24/586.42	c  586s |      24 |  4852095 |  4404662 |     1196   9015 |        0 |        0
588.23/588.42	c  588s |      24 |  4868650 |  4419562 |     1196   9039 |        0 |        0
590.23/590.43	c  590s |      24 |  4884161 |  4433862 |     1196   9062 |        0 |        0
592.23/592.44	c  592s |      24 |  4900331 |  4448362 |     1196   9086 |        0 |        0
594.22/594.44	c  594s |      24 |  4916237 |  4462962 |     1196   9109 |        0 |        0
596.22/596.45	c  596s |      24 |  4932655 |  4477962 |     1196   9134 |        0 |        0
598.23/598.46	c  598s |      24 |  4949471 |  4492662 |     1196   9158 |        0 |        0
600.22/600.47	c  600s |      24 |  4965075 |  4507362 |     1196   9181 |        0 |        0
602.22/602.47	c  602s |      24 |  4980809 |  4522162 |     1196   9205 |        0 |        0
604.22/604.48	c  604s |      24 |  4996704 |  4536562 |     1196   9228 |        0 |        0
606.22/606.48	c  606s |      24 |  5012898 |  4551562 |     1196   9253 |        0 |        0
608.23/608.48	c  608s |      24 |  5028942 |  4566562 |     1196   9277 |        0 |        0
610.22/610.48	c  610s |      24 |  5044632 |  4581462 |     1196   9301 |        0 |        0
612.22/612.48	c  612s |      24 |  5060651 |  4596162 |     1196   9325 |        0 |        0
614.21/614.49	c  614s |      24 |  5077195 |  4611162 |     1196   9349 |        0 |        0
616.31/616.50	c  616s |      24 |  5093604 |  4625962 |     1196   9373 |        0 |        0
618.31/618.51	c  618s |      24 |  5109644 |  4640762 |     1196   9397 |        0 |        0
620.32/620.51	c  620s |      24 |  5125375 |  4655562 |     1196   9421 |        0 |        0
622.31/622.52	c  622s |      24 |  5141356 |  4670462 |     1196   9445 |        0 |        0
624.31/624.53	c  624s |      24 |  5157747 |  4685262 |     1196   9469 |        0 |        0
626.31/626.54	c  626s |      24 |  5174043 |  4699962 |     1196   9492 |        0 |        0
628.31/628.55	c  628s |      24 |  5190433 |  4714362 |     1196   9516 |        0 |        0
630.31/630.55	c  630s |      24 |  5206458 |  4729262 |     1196   9540 |        0 |        0
632.31/632.56	c  632s |      24 |  5222656 |  4744262 |     1196   9564 |        0 |        0
634.30/634.56	c  634s |      24 |  5240193 |  4759062 |     1196   9588 |        0 |        0
636.30/636.57	c  636s |      24 |  5257404 |  4774062 |     1196   9612 |        0 |        0
638.30/638.58	c  638s |      24 |  5274803 |  4789162 |     1196   9637 |        0 |        0
640.30/640.59	c  640s |      24 |  5291195 |  4804062 |     1196   9661 |        0 |        0
642.31/642.59	c  642s |      24 |  5308924 |  4818762 |     1196   9685 |        0 |        0
644.30/644.60	c  644s |      24 |  5326447 |  4833862 |     1196   9709 |        0 |        0
646.40/646.60	c  646s |      24 |  5344251 |  4849062 |     1196   9733 |        0 |        0
648.40/648.61	c  648s |      24 |  5361368 |  4864162 |     1196   9758 |        0 |        0
650.40/650.63	c  650s |      24 |  5378153 |  4879062 |     1196   9782 |        0 |        0
652.39/652.63	c  652s |      24 |  5394716 |  4893862 |     1196   9806 |        0 |        0
654.40/654.64	c  654s |      24 |  5410932 |  4908862 |     1196   9830 |        0 |        0
656.40/656.64	c  656s |      24 |  5427536 |  4923662 |     1196   9854 |        0 |        0
658.40/658.64	c  658s |      24 |  5444024 |  4938362 |     1196   9877 |        0 |        0
660.40/660.65	c  660s |      24 |  5459954 |  4953162 |     1196   9901 |        0 |        0
662.40/662.66	c  662s |      24 |  5476062 |  4968162 |     1196   9926 |        0 |        0
664.39/664.67	c  664s |      24 |  5492391 |  4982962 |     1196   9949 |        0 |        0
666.40/666.68	c  666s |      24 |  5509209 |  4998062 |     1196   9974 |        0 |        0
668.39/668.68	c  668s |      24 |  5525760 |  5013062 |     1196   9998 |        0 |        0
670.39/670.69	c  670s |      24 |  5542744 |  5028062 |     1196  10022 |        0 |        0
672.49/672.70	c  672s |      24 |  5560408 |  5043162 |     1316  10045 |        0 |        0
674.48/674.70	c  674s |      24 |  5577083 |  5057962 |     1316  10066 |        0 |        0
675.38/675.69	c  675s |      25 |  5585251 |  5065098 |     1316  10077 |        0 |        0
677.39/677.69	c  677s |      25 |  5601524 |  5079898 |     1316  10099 |        0 |        0
679.38/679.69	c  679s |      25 |  5618698 |  5094798 |     1316  10121 |        0 |        0
681.48/681.70	c  681s |      25 |  5635696 |  5109498 |     1316  10142 |        0 |        0
683.48/683.71	c  683s |      25 |  5652742 |  5123998 |     1316  10164 |        0 |        0
685.47/685.72	c  685s |      25 |  5670010 |  5138798 |     1316  10185 |        0 |        0
687.47/687.72	c  687s |      25 |  5687553 |  5153598 |     1316  10207 |        0 |        0
689.48/689.73	c  689s |      25 |  5704129 |  5168298 |     1316  10229 |        0 |        0
691.48/691.73	c  691s |      25 |  5721103 |  5182998 |     1316  10250 |        0 |        0
693.48/693.74	c  693s |      25 |  5738522 |  5197598 |     1316  10272 |        0 |        0
695.48/695.75	c  695s |      25 |  5755264 |  5212298 |     1316  10294 |        0 |        0
697.48/697.76	c  697s |      25 |  5771699 |  5226798 |     1316  10315 |        0 |        0
699.48/699.77	c  699s |      25 |  5787386 |  5241298 |     1316  10336 |        0 |        0
701.47/701.78	c  701s |      25 |  5803563 |  5256098 |     1316  10358 |        0 |        0
703.47/703.79	c  703s |      25 |  5819841 |  5270598 |     1316  10379 |        0 |        0
705.47/705.79	c  705s |      25 |  5836006 |  5285298 |     1316  10401 |        0 |        0
707.57/707.80	c  707s |      25 |  5852507 |  5300198 |     1316  10423 |        0 |        0
709.57/709.81	c  709s |      25 |  5869184 |  5315198 |     1316  10445 |        0 |        0
711.57/711.81	c  711s |      25 |  5885861 |  5329898 |     1316  10467 |        0 |        0
713.57/713.82	c  713s |      25 |  5902316 |  5344598 |     1316  10488 |        0 |        0
715.57/715.82	c  715s |      25 |  5918650 |  5359198 |     1316  10510 |        0 |        0
717.57/717.82	c  717s |      25 |  5935694 |  5373998 |     1316  10532 |        0 |        0
719.57/719.83	c  719s |      25 |  5951751 |  5388698 |     1316  10554 |        0 |        0
721.57/721.84	c  721s |      25 |  5968519 |  5403198 |     1316  10575 |        0 |        0
723.57/723.84	c  723s |      25 |  5985413 |  5417598 |     1316  10596 |        0 |        0
725.56/725.85	c  725s |      25 |  6001551 |  5432398 |     1316  10618 |        0 |        0
727.56/727.86	c  727s |      25 |  6017977 |  5447398 |     1316  10640 |        0 |        0
729.56/729.87	c  729s |      25 |  6033986 |  5461598 |     1316  10661 |        0 |        0
731.56/731.87	c  731s |      25 |  6050115 |  5476298 |     1316  10683 |        0 |        0
733.56/733.88	c  733s |      25 |  6066383 |  5491098 |     1316  10704 |        0 |        0
735.56/735.88	c  735s |      25 |  6082188 |  5505898 |     1316  10726 |        0 |        0
737.56/737.89	c  737s |      25 |  6098113 |  5520498 |     1316  10748 |        0 |        0
739.56/739.90	c  739s |      25 |  6114176 |  5535298 |     1316  10769 |        0 |        0
741.66/741.91	c  741s |      25 |  6130531 |  5550198 |     1316  10791 |        0 |        0
743.65/743.91	c  743s |      25 |  6147271 |  5564898 |     1316  10813 |        0 |        0
745.66/745.91	c  745s |      25 |  6163468 |  5579398 |     1316  10834 |        0 |        0
747.65/747.92	c  747s |      25 |  6179161 |  5593898 |     1316  10856 |        0 |        0
749.65/749.93	c  749s |      25 |  6195675 |  5608698 |     1316  10877 |        0 |        0
751.65/751.94	c  751s |      25 |  6211980 |  5622998 |     1316  10898 |        0 |        0
753.65/753.94	c  753s |      25 |  6228212 |  5637498 |     1316  10920 |        0 |        0
755.65/755.95	c  755s |      25 |  6244390 |  5652098 |     1316  10941 |        0 |        0
757.65/757.96	c  757s |      25 |  6261302 |  5667198 |     1316  10963 |        0 |        0
759.64/759.96	c  759s |      25 |  6278089 |  5681598 |     1316  10985 |        0 |        0
761.65/761.97	c  761s |      25 |  6294814 |  5696098 |     1316  11006 |        0 |        0
763.65/763.98	c  763s |      25 |  6310952 |  5710698 |     1316  11028 |        0 |        0
765.65/765.98	c  765s |      25 |  6327802 |  5725598 |     1316  11050 |        0 |        0
767.65/767.99	c  767s |      25 |  6344199 |  5740198 |     1316  11071 |        0 |        0
769.65/769.99	c  769s |      25 |  6359838 |  5754298 |     1316  11092 |        0 |        0
771.75/772.00	c  771s |      25 |  6375366 |  5768898 |     1316  11113 |        0 |        0
773.74/774.01	c  773s |      25 |  6391445 |  5783298 |     1316  11135 |        0 |        0
775.74/776.02	c  776s |      25 |  6407065 |  5797798 |     1316  11156 |        0 |        0
777.74/778.03	c  778s |      25 |  6423031 |  5812298 |     1316  11177 |        0 |        0
779.75/780.04	c  780s |      25 |  6440503 |  5827398 |     1316  11199 |        0 |        0
781.74/782.04	c  782s |      25 |  6457150 |  5842298 |     1316  11221 |        0 |        0
783.73/784.04	c  784s |      25 |  6473762 |  5857198 |     1316  11243 |        0 |        0
785.73/786.05	c  786s |      25 |  6491132 |  5872298 |     1316  11265 |        0 |        0
787.73/788.05	c  788s |      25 |  6508110 |  5887298 |     1316  11288 |        0 |        0
789.73/790.06	c  790s |      25 |  6524863 |  5902198 |     1316  11309 |        0 |        0
791.74/792.07	c  792s |      25 |  6542130 |  5917098 |     1316  11331 |        0 |        0
793.73/794.07	c  794s |      25 |  6558933 |  5931798 |     1316  11353 |        0 |        0
795.73/796.07	c  796s |      25 |  6575816 |  5946798 |     1316  11375 |        0 |        0
797.72/798.07	c  798s |      25 |  6593059 |  5961398 |     1316  11397 |        0 |        0
799.72/800.08	c  800s |      25 |  6609826 |  5976198 |     1316  11418 |        0 |        0
801.73/802.08	c  802s |      25 |  6626028 |  5990698 |     1316  11440 |        0 |        0
803.72/804.09	c  804s |      25 |  6642121 |  6005398 |     1316  11461 |        0 |        0
805.72/806.09	c  806s |      25 |  6658250 |  6019598 |     1316  11482 |        0 |        0
807.83/808.10	c  808s |      25 |  6674272 |  6034298 |     1316  11504 |        0 |        0
809.83/810.11	c  810s |      25 |  6690505 |  6049098 |     1316  11526 |        0 |        0
811.83/812.12	c  812s |      25 |  6706758 |  6063998 |     1316  11548 |        0 |        0
813.83/814.14	c  814s |      25 |  6723500 |  6078998 |     1316  11570 |        0 |        0
815.82/816.14	c  816s |      25 |  6740054 |  6093998 |     1316  11592 |        0 |        0
817.82/818.14	c  818s |      25 |  6756501 |  6108898 |     1316  11614 |        0 |        0
819.82/820.15	c  820s |      25 |  6772718 |  6123598 |     1316  11635 |        0 |        0
821.82/822.17	c  822s |      25 |  6788619 |  6138298 |     1316  11657 |        0 |        0
823.82/824.17	c  824s |      25 |  6804620 |  6153098 |     1316  11679 |        0 |        0
825.82/826.18	c  826s |      25 |  6820447 |  6167698 |     1316  11700 |        0 |        0
827.82/828.18	c  828s |      25 |  6836171 |  6181998 |     1316  11721 |        0 |        0
829.81/830.19	c  830s |      25 |  6852048 |  6196498 |     1316  11743 |        0 |        0
831.81/832.19	c  832s |      25 |  6868846 |  6211198 |     1316  11764 |        0 |        0
833.91/834.21	c  834s |      25 |  6885367 |  6225898 |     1316  11786 |        0 |        0
835.91/836.21	c  836s |      25 |  6901770 |  6240498 |     1316  11807 |        0 |        0
837.91/838.21	c  838s |      25 |  6918116 |  6254998 |     1316  11829 |        0 |        0
839.91/840.22	c  840s |      25 |  6934283 |  6269498 |     1316  11850 |        0 |        0
841.91/842.23	c  842s |      25 |  6950695 |  6284198 |     1316  11872 |        0 |        0
843.91/844.25	c  844s |      25 |  6966953 |  6299198 |     1316  11894 |        0 |        0
845.90/846.26	c  846s |      25 |  6983345 |  6313798 |     1316  11915 |        0 |        0
847.91/848.26	c  848s |      25 |  7000047 |  6328398 |     1316  11937 |        0 |        0
849.90/850.26	c  850s |      25 |  7015857 |  6343198 |     1316  11958 |        0 |        0
851.90/852.27	c  852s |      25 |  7031837 |  6357998 |     1316  11980 |        0 |        0
853.90/854.27	c  854s |      25 |  7048962 |  6372398 |     1316  12001 |        0 |        0
855.90/856.28	c  856s |      25 |  7066088 |  6386898 |     1316  12023 |        0 |        0
857.90/858.28	c  858s |      25 |  7082302 |  6401798 |     1316  12045 |        0 |        0
859.90/860.29	c  860s |      25 |  7098641 |  6416498 |     1316  12066 |        0 |        0
861.90/862.30	c  862s |      25 |  7115853 |  6431298 |     1316  12088 |        0 |        0
863.99/864.30	c  864s |      25 |  7132044 |  6446098 |     1316  12110 |        0 |        0
865.99/866.30	c  866s |      25 |  7149684 |  6460598 |     1316  12131 |        0 |        0
868.00/868.31	c  868s |      25 |  7166265 |  6474998 |     1316  12152 |        0 |        0
870.00/870.32	c  870s |      25 |  7182131 |  6489998 |     1316  12175 |        0 |        0
872.01/872.33	c  872s |      25 |  7197986 |  6504298 |     1316  12196 |        0 |        0
874.00/874.33	c  874s |      25 |  7213906 |  6519098 |     1316  12217 |        0 |        0
875.99/876.33	c  876s |      25 |  7230489 |  6533898 |     1316  12239 |        0 |        0
877.99/878.33	c  878s |      25 |  7246688 |  6548498 |     1316  12261 |        0 |        0
879.99/880.34	c  880s |      25 |  7263185 |  6563598 |     1316  12283 |        0 |        0
882.00/882.34	c  882s |      25 |  7279435 |  6578598 |     1316  12305 |        0 |        0
883.98/884.35	c  884s |      25 |  7295914 |  6593198 |     1316  12327 |        0 |        0
885.98/886.36	c  886s |      25 |  7312699 |  6608098 |     1316  12349 |        0 |        0
887.98/888.36	c  888s |      25 |  7329749 |  6623098 |     1316  12371 |        0 |        0
889.98/890.37	c  890s |      25 |  7347308 |  6638198 |     1316  12393 |        0 |        0
891.98/892.37	c  892s |      25 |  7364238 |  6652698 |     1316  12415 |        0 |        0
893.99/894.39	c  894s |      25 |  7380255 |  6667398 |     1316  12436 |        0 |        0
895.98/896.39	c  896s |      25 |  7396672 |  6681898 |     1316  12458 |        0 |        0
898.09/898.40	c  898s |      25 |  7413190 |  6696498 |     1316  12479 |        0 |        0
900.09/900.40	c  900s |      25 |  7429362 |  6711398 |     1316  12501 |        0 |        0
902.09/902.41	c  902s |      25 |  7445876 |  6726098 |     1316  12523 |        0 |        0
904.08/904.42	c  904s |      25 |  7461976 |  6741098 |     1316  12545 |        0 |        0
906.09/906.43	c  906s |      25 |  7478568 |  6755898 |     1316  12567 |        0 |        0
908.08/908.43	c  908s |      25 |  7495020 |  6770898 |     1316  12589 |        0 |        0
910.08/910.44	c  910s |      25 |  7511954 |  6785998 |     1316  12611 |        0 |        0
912.08/912.44	c  912s |      25 |  7528814 |  6800498 |     1316  12633 |        0 |        0
914.08/914.45	c  914s |      25 |  7545584 |  6814998 |     1316  12654 |        0 |        0
916.09/916.46	c  916s |      25 |  7562518 |  6829798 |     1316  12676 |        0 |        0
918.08/918.47	c  918s |      25 |  7578941 |  6844498 |     1316  12698 |        0 |        0
920.08/920.48	c  920s |      25 |  7596312 |  6859298 |     1316  12719 |        0 |        0
922.08/922.49	c  922s |      25 |  7614683 |  6873998 |     1316  12741 |        0 |        0
924.17/924.50	c  924s |      25 |  7631779 |  6888698 |     1316  12763 |        0 |        0
926.17/926.51	c  926s |      25 |  7648828 |  6903298 |     1316  12784 |        0 |        0
928.18/928.52	c  928s |      25 |  7664782 |  6917998 |     1316  12806 |        0 |        0
930.17/930.53	c  930s |      25 |  7681143 |  6932598 |     1316  12828 |        0 |        0
932.17/932.53	c  932s |      25 |  7697480 |  6947398 |     1316  12849 |        0 |        0
934.17/934.55	c  934s |      25 |  7713217 |  6962398 |     1316  12871 |        0 |        0
936.16/936.56	c  936s |      25 |  7729759 |  6977498 |     1316  12894 |        0 |        0
938.16/938.56	c  938s |      25 |  7746895 |  6992398 |     1316  12915 |        0 |        0
940.17/940.56	c  940s |      25 |  7763595 |  7007298 |     1316  12937 |        0 |        0
942.16/942.57	c  942s |      25 |  7779978 |  7022198 |     1316  12959 |        0 |        0
944.16/944.58	c  944s |      25 |  7796298 |  7036998 |     1316  12981 |        0 |        0
946.16/946.59	c  946s |      25 |  7812742 |  7051598 |     1316  13002 |        0 |        0
948.16/948.59	c  948s |      25 |  7829327 |  7066498 |     1316  13024 |        0 |        0
950.17/950.59	c  950s |      25 |  7845435 |  7081498 |     1316  13046 |        0 |        0
952.16/952.60	c  952s |      25 |  7861403 |  7096298 |     1316  13068 |        0 |        0
954.26/954.61	c  954s |      25 |  7877437 |  7110898 |     1316  13090 |        0 |        0
956.26/956.61	c  956s |      25 |  7893970 |  7125898 |     1316  13112 |        0 |        0
958.26/958.61	c  958s |      25 |  7910839 |  7140798 |     1316  13134 |        0 |        0
960.26/960.61	c  960s |      25 |  7927790 |  7155598 |     1316  13156 |        0 |        0
962.27/962.62	c  962s |      25 |  7944148 |  7170098 |     1316  13177 |        0 |        0
964.26/964.62	c  964s |      25 |  7960205 |  7184698 |     1316  13198 |        0 |        0
966.26/966.63	c  966s |      25 |  7976982 |  7199598 |     1316  13220 |        0 |        0
968.26/968.64	c  968s |      25 |  7994041 |  7214498 |     1316  13242 |        0 |        0
970.26/970.65	c  970s |      25 |  8010757 |  7229098 |     1316  13264 |        0 |        0
972.26/972.66	c  972s |      25 |  8027289 |  7243798 |     1316  13285 |        0 |        0
974.26/974.67	c  974s |      25 |  8043582 |  7258298 |     1316  13307 |        0 |        0
976.25/976.67	c  976s |      25 |  8060083 |  7272898 |     1316  13328 |        0 |        0
978.25/978.68	c  978s |      25 |  8076467 |  7287698 |     1316  13350 |        0 |        0
980.25/980.68	c  980s |      25 |  8092994 |  7302398 |     1316  13372 |        0 |        0
982.35/982.70	c  982s |      25 |  8109545 |  7317298 |     1316  13394 |        0 |        0
984.35/984.70	c  984s |      25 |  8126151 |  7332198 |     1316  13416 |        0 |        0
986.25/986.70	c  986s |      25 |  8142803 |  7346798 |     1316  13437 |        0 |        0
988.35/988.71	c  988s |      25 |  8158957 |  7360898 |     1316  13458 |        0 |        0
990.35/990.71	c  990s |      25 |  8175636 |  7375998 |     1316  13480 |        0 |        0
992.35/992.72	c  992s |      25 |  8191989 |  7390898 |     1316  13502 |        0 |        0
994.35/994.73	c  994s |      25 |  8208680 |  7405898 |     1316  13524 |        0 |        0
996.36/996.74	c  996s |      25 |  8225336 |  7420898 |     1316  13546 |        0 |        0
998.35/998.74	c  998s |      25 |  8242099 |  7435798 |     1316  13568 |        0 |        0
1000.35/1000.75	c 1000s |      25 |  8258747 |  7450598 |     1316  13590 |        0 |        0
1002.35/1002.75	c 1002s |      25 |  8274791 |  7465098 |     1316  13612 |        0 |        0
1004.35/1004.75	c 1004s |      25 |  8292131 |  7479998 |     1316  13634 |        0 |        0
1006.35/1006.76	c 1006s |      25 |  8308914 |  7494698 |     1316  13655 |        0 |        0
1008.36/1008.77	c 1008s |      25 |  8325739 |  7509598 |     1316  13677 |        0 |        0
1010.35/1010.77	c 1010s |      25 |  8342276 |  7524498 |     1316  13699 |        0 |        0
1012.35/1012.77	c 1012s |      25 |  8359382 |  7539498 |     1316  13722 |        0 |        0
1014.35/1014.77	c 1014s |      25 |  8376336 |  7554398 |     1448  13742 |        0 |        0
1016.34/1016.77	c 1016s |      25 |  8392372 |  7568998 |     1448  13761 |        0 |        0
1018.35/1018.78	c 1018s |      25 |  8408158 |  7583398 |     1448  13781 |        0 |        0
1020.34/1020.79	c 1020s |      25 |  8423689 |  7597698 |     1448  13800 |        0 |        0
1020.34/1020.80	c 1020s |      26 |  8423739 |  7597752 |     1448  13800 |        0 |        0
1022.44/1022.80	c 1022s |      26 |  8440116 |  7612552 |     1448  13820 |        0 |        0
1024.44/1024.80	c 1024s |      26 |  8456271 |  7627152 |     1448  13839 |        0 |        0
1026.44/1026.81	c 1026s |      26 |  8471955 |  7641452 |     1448  13858 |        0 |        0
1028.44/1028.82	c 1028s |      26 |  8487828 |  7655852 |     1448  13877 |        0 |        0
1030.45/1030.84	c 1030s |      26 |  8503286 |  7669752 |     1448  13896 |        0 |        0
1032.44/1032.84	c 1032s |      26 |  8518838 |  7683952 |     1448  13915 |        0 |        0
1034.44/1034.85	c 1034s |      26 |  8534351 |  7698052 |     1448  13934 |        0 |        0
1036.44/1036.85	c 1036s |      26 |  8549719 |  7712052 |     1448  13953 |        0 |        0
1038.44/1038.86	c 1038s |      26 |  8565313 |  7726152 |     1448  13972 |        0 |        0
1040.44/1040.86	c 1040s |      26 |  8581221 |  7740452 |     1448  13991 |        0 |        0
1042.45/1042.87	c 1042s |      26 |  8598169 |  7755152 |     1448  14010 |        0 |        0
1044.45/1044.88	c 1044s |      26 |  8614428 |  7769852 |     1448  14030 |        0 |        0
1046.45/1046.89	c 1046s |      26 |  8630253 |  7784252 |     1448  14049 |        0 |        0
1048.55/1048.90	c 1048s |      26 |  8646106 |  7798752 |     1448  14069 |        0 |        0
1050.55/1050.90	c 1050s |      26 |  8661794 |  7812952 |     1448  14088 |        0 |        0
1052.55/1052.90	c 1052s |      26 |  8678031 |  7827252 |     1448  14107 |        0 |        0
1054.55/1054.91	c 1054s |      26 |  8694984 |  7841752 |     1448  14126 |        0 |        0
1056.54/1056.92	c 1056s |      26 |  8711168 |  7856352 |     1448  14146 |        0 |        0
1058.54/1058.93	c 1058s |      26 |  8727467 |  7871052 |     1448  14165 |        0 |        0
1060.54/1060.93	c 1060s |      26 |  8743219 |  7885352 |     1448  14184 |        0 |        0
1062.54/1062.94	c 1062s |      26 |  8759373 |  7899852 |     1448  14204 |        0 |        0
1064.55/1064.96	c 1064s |      26 |  8775610 |  7914352 |     1448  14223 |        0 |        0
1066.54/1066.96	c 1066s |      26 |  8791441 |  7928752 |     1448  14242 |        0 |        0
1068.54/1068.97	c 1068s |      26 |  8806916 |  7943252 |     1448  14262 |        0 |        0
1070.54/1070.97	c 1070s |      26 |  8822827 |  7957852 |     1448  14281 |        0 |        0
1072.54/1072.98	c 1072s |      26 |  8839101 |  7972552 |     1448  14301 |        0 |        0
1074.53/1074.99	c 1074s |      26 |  8854962 |  7987052 |     1448  14321 |        0 |        0
1076.55/1076.99	c 1076s |      26 |  8870901 |  8001352 |     1448  14340 |        0 |        0
1078.54/1078.99	c 1078s |      26 |  8886233 |  8015652 |     1448  14359 |        0 |        0
1080.64/1081.01	c 1080s |      26 |  8902031 |  8030152 |     1448  14378 |        0 |        0
1082.64/1083.02	c 1083s |      26 |  8918026 |  8044552 |     1448  14398 |        0 |        0
1084.64/1085.03	c 1085s |      26 |  8933791 |  8059052 |     1448  14417 |        0 |        0
1086.64/1087.03	c 1087s |      26 |  8950012 |  8073952 |     1448  14437 |        0 |        0
1088.65/1089.03	c 1089s |      26 |  8966249 |  8088552 |     1448  14456 |        0 |        0
1090.64/1091.04	c 1091s |      26 |  8982024 |  8103152 |     1448  14476 |        0 |        0
1092.64/1093.06	c 1093s |      26 |  8998502 |  8117852 |     1448  14496 |        0 |        0
1094.64/1095.06	c 1095s |      26 |  9015117 |  8132452 |     1448  14515 |        0 |        0
1096.64/1097.07	c 1097s |      26 |  9030996 |  8147152 |     1448  14535 |        0 |        0
1098.65/1099.08	c 1099s |      26 |  9046834 |  8161352 |     1448  14554 |        0 |        0
1100.64/1101.08	c 1101s |      26 |  9062660 |  8175852 |     1448  14573 |        0 |        0
1102.64/1103.08	c 1103s |      26 |  9077847 |  8190152 |     1448  14592 |        0 |        0
1104.64/1105.09	c 1105s |      26 |  9093472 |  8204852 |     1448  14612 |        0 |        0
1106.74/1107.10	c 1107s |      26 |  9109171 |  8219452 |     1448  14632 |        0 |        0
1108.74/1109.11	c 1109s |      26 |  9125020 |  8233652 |     1448  14651 |        0 |        0
1110.74/1111.11	c 1111s |      26 |  9140530 |  8247952 |     1448  14670 |        0 |        0
1112.73/1113.12	c 1113s |      26 |  9155793 |  8262352 |     1448  14689 |        0 |        0
1114.73/1115.13	c 1115s |      26 |  9171565 |  8276852 |     1448  14708 |        0 |        0
1116.73/1117.13	c 1117s |      26 |  9187555 |  8291652 |     1448  14728 |        0 |        0
1118.73/1119.15	c 1119s |      26 |  9203192 |  8306352 |     1448  14748 |        0 |        0
1120.73/1121.15	c 1121s |      26 |  9218822 |  8320752 |     1448  14767 |        0 |        0
1122.74/1123.16	c 1123s |      26 |  9234352 |  8335352 |     1448  14787 |        0 |        0
1124.73/1125.16	c 1125s |      26 |  9250180 |  8350152 |     1448  14806 |        0 |        0
1126.73/1127.17	c 1127s |      26 |  9266001 |  8364752 |     1448  14826 |        0 |        0
1128.73/1129.18	c 1129s |      26 |  9281938 |  8379452 |     1448  14846 |        0 |        0
1130.73/1131.19	c 1131s |      26 |  9298146 |  8394152 |     1448  14865 |        0 |        0
1132.83/1133.20	c 1133s |      26 |  9313780 |  8408552 |     1448  14885 |        0 |        0
1134.83/1135.22	c 1135s |      26 |  9329536 |  8422952 |     1448  14904 |        0 |        0
1136.82/1137.23	c 1137s |      26 |  9345535 |  8437352 |     1448  14923 |        0 |        0
1138.82/1139.23	c 1139s |      26 |  9360901 |  8451552 |     1448  14942 |        0 |        0
1140.82/1141.25	c 1141s |      26 |  9376346 |  8465952 |     1448  14961 |        0 |        0
1142.82/1143.25	c 1143s |      26 |  9391488 |  8480352 |     1448  14981 |        0 |        0
1144.84/1145.26	c 1145s |      26 |  9407730 |  8495052 |     1448  15000 |        0 |        0
1146.83/1147.27	c 1147s |      26 |  9423355 |  8509452 |     1448  15020 |        0 |        0
1148.83/1149.27	c 1149s |      26 |  9439338 |  8524352 |     1448  15040 |        0 |        0
1150.83/1151.28	c 1151s |      26 |  9454851 |  8538752 |     1448  15059 |        0 |        0
1152.83/1153.28	c 1153s |      26 |  9470772 |  8553552 |     1448  15079 |        0 |        0
1154.83/1155.28	c 1155s |      26 |  9486681 |  8568152 |     1448  15098 |        0 |        0
1156.84/1157.29	c 1157s |      26 |  9502430 |  8582752 |     1448  15118 |        0 |        0
1158.83/1159.30	c 1159s |      26 |  9518625 |  8597452 |     1448  15138 |        0 |        0
1160.93/1161.30	c 1161s |      26 |  9534304 |  8612152 |     1448  15157 |        0 |        0
1162.93/1163.30	c 1163s |      26 |  9549799 |  8626552 |     1448  15177 |        0 |        0
1164.93/1165.30	c 1165s |      26 |  9565649 |  8641452 |     1448  15197 |        0 |        0
1166.92/1167.31	c 1167s |      26 |  9581448 |  8656252 |     1448  15216 |        0 |        0
1168.93/1169.32	c 1169s |      26 |  9597318 |  8670752 |     1448  15236 |        0 |        0
1170.92/1171.32	c 1171s |      26 |  9612788 |  8684952 |     1448  15255 |        0 |        0
1172.92/1173.33	c 1173s |      26 |  9628668 |  8699052 |     1448  15274 |        0 |        0
1174.92/1175.34	c 1175s |      26 |  9644592 |  8713352 |     1448  15293 |        0 |        0
1176.92/1177.34	c 1177s |      26 |  9660578 |  8727552 |     1448  15312 |        0 |        0
1178.93/1179.35	c 1179s |      26 |  9676501 |  8742052 |     1448  15332 |        0 |        0
1180.92/1181.36	c 1181s |      26 |  9692827 |  8756552 |     1448  15351 |        0 |        0
1182.92/1183.37	c 1183s |      26 |  9708445 |  8771352 |     1448  15371 |        0 |        0
1184.92/1185.37	c 1185s |      26 |  9724120 |  8785952 |     1448  15390 |        0 |        0
1186.92/1187.38	c 1187s |      26 |  9739552 |  8800552 |     1448  15410 |        0 |        0
1188.92/1189.39	c 1189s |      26 |  9754821 |  8814952 |     1448  15429 |        0 |        0
1190.92/1191.40	c 1191s |      26 |  9770622 |  8829252 |     1448  15449 |        0 |        0
1193.02/1193.41	c 1193s |      26 |  9786381 |  8843652 |     1448  15468 |        0 |        0
1195.03/1195.42	c 1195s |      26 |  9802542 |  8858252 |     1448  15488 |        0 |        0
1197.03/1197.44	c 1197s |      26 |  9818442 |  8872352 |     1448  15507 |        0 |        0
1199.02/1199.45	c 1199s |      26 |  9834431 |  8886752 |     1448  15526 |        0 |        0
1201.02/1201.46	c 1201s |      26 |  9850618 |  8901852 |     1448  15546 |        0 |        0
1203.03/1203.46	c 1203s |      26 |  9866767 |  8916652 |     1448  15566 |        0 |        0
1205.02/1205.47	c 1205s |      26 |  9883008 |  8931152 |     1448  15586 |        0 |        0
1207.02/1207.47	c 1207s |      26 |  9899195 |  8945752 |     1448  15605 |        0 |        0
1209.02/1209.48	c 1209s |      26 |  9915224 |  8960552 |     1448  15625 |        0 |        0
1211.02/1211.49	c 1211s |      26 |  9931373 |  8975052 |     1448  15645 |        0 |        0
1213.03/1213.49	c 1213s |      26 |  9947401 |  8989652 |     1448  15664 |        0 |        0
1215.02/1215.50	c 1215s |      26 |  9962971 |  9004052 |     1448  15683 |        0 |        0
1217.12/1217.50	c 1217s |      26 |  9978316 |  9018052 |     1448  15702 |        0 |        0
1219.12/1219.51	c 1219s |      26 |  9994351 |  9032452 |     1448  15721 |        0 |        0
1221.12/1221.52	c 1221s |      26 | 10010283 |  9047052 |     1448  15741 |        0 |        0
1223.12/1223.53	c 1223s |      26 | 10027054 |  9061452 |     1448  15760 |        0 |        0
1225.12/1225.53	c 1225s |      26 | 10043414 |  9075752 |     1448  15779 |        0 |        0
1227.11/1227.55	c 1227s |      26 | 10058558 |  9089952 |     1448  15798 |        0 |        0
1229.11/1229.56	c 1229s |      26 | 10074471 |  9104452 |     1448  15818 |        0 |        0
1231.11/1231.56	c 1231s |      26 | 10090234 |  9119052 |     1448  15837 |        0 |        0
1233.11/1233.57	c 1233s |      26 | 10106029 |  9133852 |     1448  15857 |        0 |        0
1235.11/1235.58	c 1235s |      26 | 10122288 |  9148652 |     1448  15877 |        0 |        0
1237.12/1237.59	c 1237s |      26 | 10138423 |  9163252 |     1448  15896 |        0 |        0
1239.21/1239.60	c 1239s |      26 | 10154341 |  9177852 |     1448  15916 |        0 |        0
1241.21/1241.60	c 1241s |      26 | 10170217 |  9192652 |     1448  15936 |        0 |        0
1243.21/1243.62	c 1243s |      26 | 10186344 |  9207252 |     1448  15955 |        0 |        0
1245.21/1245.62	c 1245s |      26 | 10202001 |  9221652 |     1448  15975 |        0 |        0
1247.21/1247.64	c 1247s |      26 | 10218235 |  9236052 |     1448  15994 |        0 |        0
1249.21/1249.64	c 1249s |      26 | 10234214 |  9250752 |     1448  16013 |        0 |        0
1251.22/1251.65	c 1251s |      26 | 10249819 |  9265152 |     1448  16033 |        0 |        0
1253.22/1253.65	c 1253s |      26 | 10265279 |  9279652 |     1448  16052 |        0 |        0
1255.22/1255.67	c 1255s |      26 | 10280750 |  9294152 |     1448  16072 |        0 |        0
1257.21/1257.68	c 1257s |      26 | 10297433 |  9308652 |     1448  16091 |        0 |        0
1259.22/1259.69	c 1259s |      26 | 10313346 |  9323352 |     1448  16111 |        0 |        0
1261.21/1261.69	c 1261s |      26 | 10329980 |  9338052 |     1448  16130 |        0 |        0
1263.21/1263.69	c 1263s |      26 | 10345533 |  9352452 |     1448  16149 |        0 |        0
1265.31/1265.70	c 1265s |      26 | 10361138 |  9366852 |     1448  16169 |        0 |        0
1267.31/1267.70	c 1267s |      26 | 10376983 |  9381352 |     1448  16188 |        0 |        0
1269.31/1269.72	c 1269s |      26 | 10392706 |  9395952 |     1448  16208 |        0 |        0
1271.31/1271.72	c 1271s |      26 | 10408717 |  9410752 |     1448  16228 |        0 |        0
1273.31/1273.73	c 1273s |      26 | 10424685 |  9425452 |     1448  16247 |        0 |        0
1275.31/1275.74	c 1275s |      26 | 10440566 |  9440052 |     1448  16267 |        0 |        0
1277.31/1277.75	c 1277s |      26 | 10456407 |  9454652 |     1448  16286 |        0 |        0
1279.31/1279.75	c 1279s |      26 | 10472429 |  9469152 |     1448  16306 |        0 |        0
1281.31/1281.76	c 1281s |      26 | 10488718 |  9483952 |     1448  16326 |        0 |        0
1283.32/1283.77	c 1283s |      26 | 10504484 |  9498752 |     1448  16346 |        0 |        0
1285.31/1285.79	c 1285s |      26 | 10520933 |  9513252 |     1448  16365 |        0 |        0
1287.31/1287.79	c 1287s |      26 | 10537220 |  9527552 |     1448  16384 |        0 |        0
1289.41/1289.80	c 1289s |      26 | 10554172 |  9542152 |     1448  16404 |        0 |        0
1291.41/1291.80	c 1291s |      26 | 10569745 |  9556152 |     1448  16423 |        0 |        0
1293.41/1293.81	c 1293s |      26 | 10585840 |  9570752 |     1448  16442 |        0 |        0
1295.42/1295.81	c 1295s |      26 | 10601736 |  9585252 |     1448  16462 |        0 |        0
1297.41/1297.81	c 1297s |      26 | 10617378 |  9599652 |     1448  16481 |        0 |        0
1299.41/1299.82	c 1299s |      26 | 10632997 |  9614152 |     1448  16500 |        0 |        0
1301.41/1301.82	c 1301s |      26 | 10648622 |  9628452 |     1448  16519 |        0 |        0
1303.41/1303.82	c 1303s |      26 | 10665104 |  9643052 |     1448  16539 |        0 |        0
1305.41/1305.83	c 1305s |      26 | 10681510 |  9657652 |     1448  16558 |        0 |        0
1307.40/1307.84	c 1307s |      26 | 10697792 |  9672352 |     1448  16578 |        0 |        0
1309.40/1309.84	c 1309s |      26 | 10713241 |  9686652 |     1448  16597 |        0 |        0
1311.40/1311.84	c 1311s |      26 | 10729140 |  9700552 |     1448  16616 |        0 |        0
1313.40/1313.85	c 1313s |      26 | 10745333 |  9714752 |     1448  16635 |        0 |        0
1315.40/1315.86	c 1315s |      26 | 10761774 |  9729652 |     1448  16655 |        0 |        0
1317.41/1317.86	c 1317s |      26 | 10777599 |  9744352 |     1448  16674 |        0 |        0
1319.40/1319.87	c 1319s |      26 | 10794017 |  9758952 |     1448  16694 |        0 |        0
1321.40/1321.87	c 1321s |      26 | 10810012 |  9773352 |     1448  16713 |        0 |        0
1323.40/1323.88	c 1323s |      26 | 10825760 |  9787752 |     1448  16732 |        0 |        0
1325.40/1325.88	c 1325s |      26 | 10841219 |  9801852 |     1448  16751 |        0 |        0
1327.40/1327.89	c 1327s |      26 | 10856956 |  9816252 |     1448  16771 |        0 |        0
1329.41/1329.89	c 1329s |      26 | 10872734 |  9830652 |     1448  16790 |        0 |        0
1331.50/1331.90	c 1331s |      26 | 10888662 |  9845352 |     1448  16809 |        0 |        0
1333.50/1333.91	c 1333s |      26 | 10904700 |  9859852 |     1448  16829 |        0 |        0
1335.50/1335.92	c 1335s |      26 | 10921098 |  9874452 |     1448  16848 |        0 |        0
1337.50/1337.92	c 1337s |      26 | 10937603 |  9888952 |     1448  16868 |        0 |        0
1339.51/1339.92	c 1339s |      26 | 10954165 |  9903052 |     1448  16887 |        0 |        0
1341.50/1341.93	c 1341s |      26 | 10970055 |  9917452 |     1448  16906 |        0 |        0
1343.50/1343.93	c 1343s |      26 | 10986059 |  9931952 |     1448  16925 |        0 |        0
1345.50/1345.94	c 1345s |      26 | 11002694 |  9946652 |     1448  16945 |        0 |        0
1347.50/1347.94	c 1347s |      26 | 11019136 |  9961252 |     1448  16965 |        0 |        0
1349.49/1349.95	c 1349s |      26 | 11034951 |  9975352 |     1448  16984 |        0 |        0
1351.50/1351.96	c 1351s |      26 | 11050839 |  9989652 |     1448  17003 |        0 |        0
1353.49/1353.96	c 1353s |      26 | 11066386 | 10003852 |     1448  17022 |        0 |        0
1355.49/1355.97	c 1355s |      26 | 11082360 | 10018152 |     1448  17041 |        0 |        0
1357.49/1357.98	c 1357s |      26 | 11098142 | 10032552 |     1448  17060 |        0 |        0
1359.50/1359.99	c 1359s |      26 | 11113417 | 10047052 |     1448  17079 |        0 |        0
1361.60/1362.00	c 1361s |      26 | 11128846 | 10061252 |     1448  17098 |        0 |        0
1363.60/1364.01	c 1363s |      26 | 11144655 | 10075752 |     1448  17118 |        0 |        0
1365.60/1366.02	c 1366s |      26 | 11160068 | 10089752 |     1448  17137 |        0 |        0
1367.60/1368.02	c 1368s |      26 | 11175510 | 10104152 |     1448  17156 |        0 |        0
1369.60/1370.03	c 1370s |      26 | 11191358 | 10118552 |     1448  17175 |        0 |        0
1371.60/1372.04	c 1372s |      26 | 11206872 | 10133052 |     1448  17195 |        0 |        0
1373.60/1374.05	c 1374s |      26 | 11223253 | 10147752 |     1448  17214 |        0 |        0
1375.59/1376.06	c 1376s |      26 | 11238834 | 10162252 |     1448  17234 |        0 |        0
1377.59/1378.07	c 1378s |      26 | 11254665 | 10176452 |     1448  17253 |        0 |        0
1379.59/1380.07	c 1380s |      26 | 11270622 | 10190552 |     1448  17272 |        0 |        0
1381.59/1382.07	c 1382s |      26 | 11286563 | 10204952 |     1448  17291 |        0 |        0
1383.59/1384.08	c 1384s |      26 | 11302774 | 10219452 |     1448  17310 |        0 |        0
1385.60/1386.09	c 1386s |      26 | 11319102 | 10233952 |     1448  17330 |        0 |        0
1387.59/1388.09	c 1388s |      26 | 11334600 | 10248652 |     1448  17349 |        0 |        0
1389.59/1390.09	c 1390s |      26 | 11350987 | 10262952 |     1448  17368 |        0 |        0
1391.69/1392.11	c 1392s |      26 | 11366867 | 10277352 |     1448  17387 |        0 |        0
1393.69/1394.11	c 1394s |      26 | 11382927 | 10291652 |     1448  17407 |        0 |        0
1395.69/1396.12	c 1396s |      26 | 11399065 | 10305752 |     1448  17425 |        0 |        0
1397.69/1398.13	c 1398s |      26 | 11414749 | 10319952 |     1448  17444 |        0 |        0
1399.69/1400.13	c 1400s |      26 | 11430572 | 10333852 |     1448  17463 |        0 |        0
1401.69/1402.13	c 1402s |      26 | 11446645 | 10348252 |     1448  17482 |        0 |        0
1403.68/1404.14	c 1404s |      26 | 11461941 | 10361952 |     1448  17500 |        0 |        0
1405.68/1406.14	c 1406s |      26 | 11477535 | 10376252 |     1448  17520 |        0 |        0
1407.69/1408.14	c 1408s |      26 | 11493477 | 10390952 |     1448  17539 |        0 |        0
1409.69/1410.16	c 1410s |      26 | 11509437 | 10405652 |     1448  17559 |        0 |        0
1411.69/1412.16	c 1412s |      26 | 11525057 | 10420152 |     1448  17578 |        0 |        0
1413.69/1414.17	c 1414s |      26 | 11540850 | 10434652 |     1448  17598 |        0 |        0
1415.69/1416.18	c 1416s |      26 | 11556424 | 10448852 |     1448  17617 |        0 |        0
1417.69/1418.19	c 1418s |      26 | 11572245 | 10463352 |     1448  17636 |        0 |        0
1419.69/1420.19	c 1420s |      26 | 11588260 | 10477752 |     1448  17655 |        0 |        0
1421.79/1422.21	c 1422s |      26 | 11603799 | 10492052 |     1448  17675 |        0 |        0
1423.79/1424.21	c 1424s |      26 | 11619471 | 10506552 |     1448  17694 |        0 |        0
1425.79/1426.21	c 1426s |      26 | 11635059 | 10521052 |     1448  17713 |        0 |        0
1427.79/1428.21	c 1428s |      26 | 11650221 | 10535552 |     1448  17733 |        0 |        0
1429.78/1430.21	c 1430s |      26 | 11665902 | 10550152 |     1448  17752 |        0 |        0
1431.79/1432.22	c 1432s |      26 | 11681541 | 10564652 |     1448  17772 |        0 |        0
1433.78/1434.24	c 1434s |      26 | 11697044 | 10578752 |     1448  17791 |        0 |        0
1435.78/1436.24	c 1436s |      26 | 11712395 | 10592752 |     1448  17809 |        0 |        0
1437.78/1438.24	c 1438s |      26 | 11728424 | 10607052 |     1448  17828 |        0 |        0
1439.78/1440.26	c 1440s |      26 | 11744375 | 10621152 |     1448  17847 |        0 |        0
1441.79/1442.26	c 1442s |      26 | 11760523 | 10635652 |     1448  17867 |        0 |        0
1443.78/1444.27	c 1444s |      26 | 11776150 | 10649952 |     1448  17886 |        0 |        0
1445.78/1446.28	c 1446s |      26 | 11792889 | 10664352 |     1448  17905 |        0 |        0
1447.79/1448.28	c 1448s |      26 | 11809729 | 10678652 |     1448  17925 |        0 |        0
1449.79/1450.28	c 1450s |      26 | 11826052 | 10693352 |     1448  17944 |        0 |        0
1451.79/1452.28	c 1452s |      26 | 11841495 | 10707952 |     1448  17964 |        0 |        0
1453.79/1454.28	c 1454s |      26 | 11856949 | 10722552 |     1448  17983 |        0 |        0
1455.78/1456.29	c 1456s |      26 | 11873160 | 10737352 |     1448  18003 |        0 |        0
1457.88/1458.30	c 1458s |      26 | 11888677 | 10752252 |     1448  18023 |        0 |        0
1459.88/1460.31	c 1460s |      26 | 11903854 | 10766752 |     1448  18043 |        0 |        0
1461.88/1462.32	c 1462s |      26 | 11919473 | 10781552 |     1448  18063 |        0 |        0
1463.88/1464.33	c 1464s |      26 | 11935117 | 10796252 |     1448  18082 |        0 |        0
1465.88/1466.34	c 1466s |      26 | 11950966 | 10811252 |     1448  18102 |        0 |        0
1467.88/1468.35	c 1468s |      26 | 11966862 | 10826052 |     1448  18122 |        0 |        0
1469.88/1470.36	c 1470s |      26 | 11982259 | 10840552 |     1448  18142 |        0 |        0
1471.88/1472.36	c 1472s |      26 | 11998080 | 10855052 |     1448  18161 |        0 |        0
1473.88/1474.37	c 1474s |      26 | 12013785 | 10869552 |     1448  18180 |        0 |        0
1475.88/1476.37	c 1476s |      26 | 12029411 | 10884252 |     1448  18200 |        0 |        0
1477.87/1478.38	c 1478s |      26 | 12045228 | 10898752 |     1448  18220 |        0 |        0
1479.87/1480.38	c 1480s |      26 | 12060631 | 10913252 |     1448  18239 |        0 |        0
1481.87/1482.39	c 1482s |      26 | 12076592 | 10928152 |     1448  18259 |        0 |        0
1483.87/1484.39	c 1484s |      26 | 12092384 | 10942752 |     1448  18279 |        0 |        0
1485.98/1486.40	c 1486s |      26 | 12108604 | 10957352 |     1448  18298 |        0 |        0
1487.99/1488.42	c 1488s |      26 | 12124336 | 10971652 |     1448  18317 |        0 |        0
1489.98/1490.42	c 1490s |      26 | 12139760 | 10985852 |     1448  18336 |        0 |        0
1491.98/1492.42	c 1492s |      26 | 12155268 | 11000152 |     1448  18355 |        0 |        0
1493.98/1494.43	c 1494s |      26 | 12171240 | 11014652 |     1448  18375 |        0 |        0
1495.98/1496.44	c 1496s |      26 | 12186879 | 11029052 |     1448  18394 |        0 |        0
1497.98/1498.44	c 1498s |      26 | 12202189 | 11043252 |     1448  18413 |        0 |        0
1499.98/1500.45	c 1500s |      26 | 12218320 | 11057952 |     1448  18433 |        0 |        0
1501.98/1502.45	c 1502s |      26 | 12234607 | 11072352 |     1448  18452 |        0 |        0
1503.98/1504.46	c 1504s |      26 | 12251451 | 11087052 |     1448  18472 |        0 |        0
1505.98/1506.46	c 1506s |      26 | 12267423 | 11101252 |     1448  18491 |        0 |        0
1507.97/1508.47	c 1508s |      26 | 12282957 | 11115752 |     1448  18510 |        0 |        0
1509.98/1510.47	c 1510s |      26 | 12298178 | 11130252 |     1448  18530 |        0 |        0
1511.97/1512.48	c 1512s |      26 | 12314111 | 11145052 |     1448  18550 |        0 |        0
1513.97/1514.49	c 1514s |      26 | 12330261 | 11159752 |     1448  18569 |        0 |        0
1516.07/1516.50	c 1516s |      26 | 12345557 | 11173952 |     1448  18588 |        0 |        0
1518.07/1518.50	c 1518s |      26 | 12361383 | 11188352 |     1448  18608 |        0 |        0
1520.07/1520.51	c 1520s |      26 | 12376820 | 11202752 |     1448  18627 |        0 |        0
1522.08/1522.51	c 1522s |      26 | 12392527 | 11217152 |     1448  18646 |        0 |        0
1524.07/1524.52	c 1524s |      26 | 12408197 | 11231252 |     1448  18665 |        0 |        0
1526.07/1526.52	c 1526s |      26 | 12423824 | 11245552 |     1448  18684 |        0 |        0
1528.07/1528.53	c 1528s |      26 | 12439414 | 11260152 |     1448  18704 |        0 |        0
1530.07/1530.54	c 1530s |      26 | 12454845 | 11274752 |     1448  18723 |        0 |        0
1532.07/1532.54	c 1532s |      26 | 12470853 | 11289452 |     1448  18743 |        0 |        0
1534.07/1534.54	c 1534s |      26 | 12486289 | 11304052 |     1448  18763 |        0 |        0
1536.07/1536.55	c 1536s |      26 | 12501779 | 11318552 |     1593  18782 |        0 |        0
1538.07/1538.55	c 1538s |      26 | 12516988 | 11332852 |     1593  18799 |        0 |        0
1540.06/1540.56	c 1540s |      26 | 12533339 | 11347352 |     1593  18817 |        0 |        0
1542.06/1542.57	c 1542s |      26 | 12549131 | 11361952 |     1593  18835 |        0 |        0
1544.07/1544.58	c 1544s |      26 | 12564477 | 11376052 |     1593  18852 |        0 |        0
1546.07/1546.58	c 1546s |      26 | 12580131 | 11389952 |     1593  18869 |        0 |        0
1547.07/1547.56	c 1547s |      27 | 12587438 | 11396733 |     1593  18877 |        0 |        0
1549.07/1549.57	c 1549s |      27 | 12602848 | 11410833 |     1593  18894 |        0 |        0
1551.07/1551.58	c 1551s |      27 | 12618825 | 11425333 |     1593  18912 |        0 |        0
1553.07/1553.59	c 1553s |      27 | 12635046 | 11439533 |     1593  18929 |        0 |        0
1555.08/1555.59	c 1555s |      27 | 12651537 | 11453933 |     1593  18947 |        0 |        0
1557.07/1557.59	c 1557s |      27 | 12667242 | 11468033 |     1593  18964 |        0 |        0
1559.17/1559.60	c 1559s |      27 | 12683081 | 11482333 |     1593  18981 |        0 |        0
1561.17/1561.61	c 1561s |      27 | 12698803 | 11496333 |     1593  18998 |        0 |        0
1563.17/1563.62	c 1563s |      27 | 12714891 | 11510533 |     1593  19016 |        0 |        0
1565.17/1565.63	c 1565s |      27 | 12731241 | 11524833 |     1593  19033 |        0 |        0
1567.17/1567.63	c 1567s |      27 | 12746857 | 11538533 |     1593  19050 |        0 |        0
1569.17/1569.64	c 1569s |      27 | 12762982 | 11552933 |     1593  19067 |        0 |        0
1571.17/1571.65	c 1571s |      27 | 12778808 | 11566633 |     1593  19084 |        0 |        0
1573.17/1573.66	c 1573s |      27 | 12794758 | 11581033 |     1593  19101 |        0 |        0
1575.16/1575.66	c 1575s |      27 | 12810180 | 11595033 |     1593  19119 |        0 |        0
1577.16/1577.68	c 1577s |      27 | 12826304 | 11608733 |     1593  19135 |        0 |        0
1579.17/1579.68	c 1579s |      27 | 12842566 | 11623333 |     1593  19153 |        0 |        0
1581.16/1581.69	c 1581s |      27 | 12858116 | 11637333 |     1593  19170 |        0 |        0
1583.16/1583.69	c 1583s |      27 | 12873884 | 11651833 |     1593  19188 |        0 |        0
1585.16/1585.70	c 1585s |      27 | 12889783 | 11666033 |     1593  19205 |        0 |        0
1587.26/1587.70	c 1587s |      27 | 12905389 | 11680433 |     1593  19223 |        0 |        0
1589.26/1589.70	c 1589s |      27 | 12920725 | 11694833 |     1593  19240 |        0 |        0
1591.27/1591.70	c 1591s |      27 | 12936963 | 11709133 |     1593  19258 |        0 |        0
1593.26/1593.71	c 1593s |      27 | 12952966 | 11723433 |     1593  19275 |        0 |        0
1595.26/1595.71	c 1595s |      27 | 12968358 | 11737633 |     1593  19292 |        0 |        0
1597.26/1597.72	c 1597s |      27 | 12983375 | 11751933 |     1593  19310 |        0 |        0
1599.26/1599.72	c 1599s |      27 | 12998832 | 11766533 |     1593  19328 |        0 |        0
1601.26/1601.73	c 1601s |      27 | 13014375 | 11781233 |     1593  19345 |        0 |        0
1603.26/1603.74	c 1603s |      27 | 13029856 | 11795733 |     1593  19363 |        0 |        0
1605.26/1605.75	c 1605s |      27 | 13045924 | 11810233 |     1593  19381 |        0 |        0
1607.26/1607.75	c 1607s |      27 | 13061394 | 11824733 |     1593  19399 |        0 |        0
1609.26/1609.76	c 1609s |      27 | 13076957 | 11838833 |     1593  19416 |        0 |        0
1611.26/1611.76	c 1611s |      27 | 13092884 | 11853033 |     1593  19433 |        0 |        0
1613.26/1613.78	c 1613s |      27 | 13107997 | 11867133 |     1593  19450 |        0 |        0
1615.25/1615.78	c 1615s |      27 | 13123300 | 11881233 |     1593  19467 |        0 |        0
1617.25/1617.78	c 1617s |      27 | 13138437 | 11895533 |     1593  19485 |        0 |        0
1619.25/1619.78	c 1619s |      27 | 13154060 | 11910033 |     1593  19502 |        0 |        0
1621.26/1621.79	c 1621s |      27 | 13169948 | 11924433 |     1593  19520 |        0 |        0
1623.36/1623.81	c 1623s |      27 | 13185776 | 11938733 |     1593  19538 |        0 |        0
1625.37/1625.82	c 1625s |      27 | 13200941 | 11952733 |     1593  19555 |        0 |        0
1627.36/1627.82	c 1627s |      27 | 13216533 | 11967333 |     1593  19572 |        0 |        0
1629.36/1629.82	c 1629s |      27 | 13232409 | 11981833 |     1593  19590 |        0 |        0
1631.36/1631.83	c 1631s |      27 | 13248459 | 11996133 |     1593  19607 |        0 |        0
1633.36/1633.85	c 1633s |      27 | 13263709 | 12010433 |     1593  19625 |        0 |        0
1635.37/1635.86	c 1635s |      27 | 13278832 | 12024733 |     1593  19642 |        0 |        0
1637.36/1637.87	c 1637s |      27 | 13294138 | 12038933 |     1593  19660 |        0 |        0
1639.36/1639.88	c 1639s |      27 | 13309289 | 12053033 |     1593  19677 |        0 |        0
1641.36/1641.89	c 1641s |      27 | 13324453 | 12067133 |     1593  19694 |        0 |        0
1643.36/1643.89	c 1643s |      27 | 13340220 | 12081933 |     1593  19712 |        0 |        0
1645.45/1645.90	c 1645s |      27 | 13356024 | 12096333 |     1593  19729 |        0 |        0
1647.46/1647.91	c 1647s |      27 | 13372045 | 12110733 |     1593  19747 |        0 |        0
1649.45/1649.91	c 1649s |      27 | 13387378 | 12125033 |     1593  19764 |        0 |        0
1651.45/1651.91	c 1651s |      27 | 13402579 | 12138933 |     1593  19781 |        0 |        0
1653.45/1653.93	c 1653s |      27 | 13417555 | 12153133 |     1593  19799 |        0 |        0
1655.45/1655.94	c 1655s |      27 | 13432753 | 12167433 |     1593  19816 |        0 |        0
1657.45/1657.95	c 1657s |      27 | 13448424 | 12181933 |     1593  19834 |        0 |        0
1659.46/1659.95	c 1659s |      27 | 13464221 | 12196233 |     1593  19851 |        0 |        0
1661.45/1661.95	c 1661s |      27 | 13479501 | 12210633 |     1593  19869 |        0 |        0
1663.45/1663.97	c 1663s |      27 | 13495264 | 12225333 |     1593  19887 |        0 |        0
1665.45/1665.98	c 1665s |      27 | 13510828 | 12239933 |     1593  19904 |        0 |        0
1667.45/1667.99	c 1667s |      27 | 13526575 | 12254233 |     1593  19922 |        0 |        0
1669.55/1670.00	c 1669s |      27 | 13542308 | 12268333 |     1593  19939 |        0 |        0
1671.55/1672.01	c 1671s |      27 | 13557126 | 12282333 |     1593  19956 |        0 |        0
1673.55/1674.02	c 1674s |      27 | 13572403 | 12295933 |     1593  19973 |        0 |        0
1675.54/1676.02	c 1676s |      27 | 13587706 | 12310133 |     1593  19990 |        0 |        0
1677.54/1678.03	c 1678s |      27 | 13602630 | 12324233 |     1593  20007 |        0 |        0
1679.54/1680.04	c 1680s |      27 | 13617965 | 12338333 |     1593  20024 |        0 |        0
1681.55/1682.04	c 1682s |      27 | 13634566 | 12352533 |     1593  20042 |        0 |        0
1683.54/1684.04	c 1684s |      27 | 13649898 | 12366333 |     1593  20058 |        0 |        0
1685.55/1686.05	c 1686s |      27 | 13665184 | 12380833 |     1593  20076 |        0 |        0
1687.55/1688.05	c 1688s |      27 | 13680723 | 12395233 |     1593  20094 |        0 |        0
1689.55/1690.06	c 1690s |      27 | 13696427 | 12409833 |     1593  20112 |        0 |        0
1691.55/1692.08	c 1692s |      27 | 13712374 | 12424533 |     1593  20130 |        0 |        0
1693.56/1694.08	c 1694s |      27 | 13728872 | 12438933 |     1593  20147 |        0 |        0
1695.55/1696.09	c 1696s |      27 | 13744376 | 12453333 |     1593  20165 |        0 |        0
1697.55/1698.10	c 1698s |      27 | 13760146 | 12467433 |     1593  20182 |        0 |        0
1699.65/1700.11	c 1700s |      27 | 13775840 | 12481733 |     1593  20199 |        0 |        0
1701.65/1702.12	c 1702s |      27 | 13791747 | 12496033 |     1593  20216 |        0 |        0
1703.65/1704.13	c 1704s |      27 | 13806238 | 12509633 |     1593  20233 |        0 |        0
1705.65/1706.14	c 1706s |      27 | 13821082 | 12523133 |     1593  20249 |        0 |        0
1707.64/1708.14	c 1708s |      27 | 13836079 | 12537333 |     1593  20267 |        0 |        0
1709.64/1710.15	c 1710s |      27 | 13851540 | 12551833 |     1593  20284 |        0 |        0
1711.64/1712.16	c 1712s |      27 | 13866769 | 12566233 |     1593  20302 |        0 |        0
1713.64/1714.17	c 1714s |      27 | 13881612 | 12580433 |     1593  20319 |        0 |        0
1715.64/1716.18	c 1716s |      27 | 13896979 | 12594933 |     1593  20337 |        0 |        0
1717.64/1718.19	c 1718s |      27 | 13913010 | 12609233 |     1593  20354 |        0 |        0
1719.64/1720.19	c 1720s |      27 | 13928325 | 12623533 |     1593  20372 |        0 |        0
1721.74/1722.20	c 1722s |      27 | 13943617 | 12637833 |     1593  20389 |        0 |        0
1723.74/1724.20	c 1724s |      27 | 13958838 | 12651733 |     1593  20406 |        0 |        0
1725.74/1726.20	c 1726s |      27 | 13975024 | 12666133 |     1593  20424 |        0 |        0
1727.74/1728.22	c 1728s |      27 | 13990418 | 12680433 |     1593  20441 |        0 |        0
1729.74/1730.22	c 1730s |      27 | 14005980 | 12694833 |     1593  20459 |        0 |        0
1731.73/1732.24	c 1732s |      27 | 14021532 | 12709133 |     1593  20476 |        0 |        0
1733.74/1734.24	c 1734s |      27 | 14037173 | 12723233 |     1593  20493 |        0 |        0
1735.74/1736.25	c 1736s |      27 | 14052645 | 12737533 |     1593  20511 |        0 |        0
1737.74/1738.26	c 1738s |      27 | 14068130 | 12752133 |     1593  20529 |        0 |        0
1739.75/1740.26	c 1740s |      27 | 14083430 | 12766533 |     1593  20546 |        0 |        0
1741.74/1742.28	c 1742s |      27 | 14098884 | 12780733 |     1593  20564 |        0 |        0
1743.74/1744.28	c 1744s |      27 | 14114022 | 12794833 |     1593  20581 |        0 |        0
1745.74/1746.29	c 1746s |      27 | 14129593 | 12809433 |     1593  20599 |        0 |        0
1747.84/1748.30	c 1748s |      27 | 14144571 | 12823733 |     1593  20616 |        0 |        0
1749.84/1750.32	c 1750s |      27 | 14160155 | 12838033 |     1593  20634 |        0 |        0
1751.84/1752.32	c 1752s |      27 | 14175899 | 12852233 |     1593  20651 |        0 |        0
1753.84/1754.32	c 1754s |      27 | 14191317 | 12865933 |     1593  20668 |        0 |        0
1755.84/1756.33	c 1756s |      27 | 14206618 | 12879833 |     1593  20684 |        0 |        0
1757.84/1758.34	c 1758s |      27 | 14221927 | 12893933 |     1593  20702 |        0 |        0
1759.84/1760.36	c 1760s |      27 | 14237666 | 12907833 |     1593  20719 |        0 |        0
1761.84/1762.36	c 1762s |      27 | 14253258 | 12922033 |     1593  20736 |        0 |        0
1763.84/1764.37	c 1764s |      27 | 14268992 | 12936333 |     1593  20753 |        0 |        0
1765.84/1766.38	c 1766s |      27 | 14285176 | 12950433 |     1593  20771 |        0 |        0
1767.84/1768.39	c 1768s |      27 | 14300483 | 12964633 |     1593  20788 |        0 |        0
1769.93/1770.40	c 1770s |      27 | 14316123 | 12978833 |     1593  20805 |        0 |        0
1771.93/1772.42	c 1772s |      27 | 14331653 | 12993133 |     1593  20823 |        0 |        0
1773.94/1774.43	c 1774s |      27 | 14347474 | 13007633 |     1593  20840 |        0 |        0
1775.93/1776.43	c 1776s |      27 | 14362543 | 13021933 |     1593  20858 |        0 |        0
1777.93/1778.44	c 1778s |      27 | 14377615 | 13036033 |     1593  20875 |        0 |        0
1779.93/1780.44	c 1780s |      27 | 14392642 | 13050133 |     1593  20892 |        0 |        0
1781.93/1782.44	c 1782s |      27 | 14407855 | 13064133 |     1593  20909 |        0 |        0
1783.93/1784.45	c 1784s |      27 | 14423220 | 13077933 |     1593  20926 |        0 |        0
1785.93/1786.47	c 1786s |      27 | 14438587 | 13092033 |     1593  20943 |        0 |        0
1787.93/1788.48	c 1788s |      27 | 14454644 | 13106433 |     1593  20961 |        0 |        0
1789.93/1790.48	c 1790s |      27 | 14470422 | 13120233 |     1593  20977 |        0 |        0
1791.93/1792.49	c 1792s |      27 | 14485590 | 13134533 |     1593  20995 |        0 |        0
1793.93/1794.49	c 1794s |      27 | 14501148 | 13148733 |     1593  21012 |        0 |        0
1796.03/1796.50	c 1796s |      27 | 14517382 | 13162433 |     1593  21029 |        0 |        0
1797.93/1798.50	c 1798s |      27 | 14532580 | 13176233 |     1593  21046 |        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-4089169-1466022857/watcher-4089169-1466022857 -o /tmp/evaluation-result-4089169-1466022857/solver-4089169-1466022857 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089169-1466022857.opb 

pid=7017
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: 2.46 2.33 2.23 3/179 7020
/proc/meminfo: memFree=29461432/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 3076 0 0 0 0 0 0 0 20 0 4 0 4332167 840364032 2927 33554432000 4194304 16246674 140734009940592 140734009940016 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 205679 2938 441 2943 0 202573 0
[pid=7020/tid=7021] ppid=7017 vsize=838076 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 858189824 2997 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=842172 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 862384128 3013 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=846268 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4332167 866578432 3030 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.46 2.33 2.23 3/179 7020
/proc/meminfo: memFree=29461432/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 29307 0 0 0 5 4 0 0 20 0 4 0 4332167 1247350784 29146 33554432000 4194304 16246674 140734009940592 140734009922496 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 304529 29161 710 2943 0 301423 0
[pid=7020/tid=7021] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 29169 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 29170 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 29175 33554432000 4194304 16246674 140734009940592 140335895268528 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.200574 s]
/proc/loadavg: 2.46 2.33 2.23 3/179 7020
/proc/meminfo: memFree=29461432/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 57631 0 0 0 12 7 0 0 20 0 4 0 4332167 1247350784 57471 33554432000 4194304 16246674 140734009940592 140734009922496 13194563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 304529 57482 710 2943 0 301423 0
[pid=7020/tid=7021] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 57490 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 57500 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 57511 33554432000 4194304 16246674 140734009940592 140335895268528 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.300537 s]
/proc/loadavg: 2.46 2.33 2.23 3/179 7020
/proc/meminfo: memFree=29461432/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 86306 0 0 0 18 11 0 0 20 0 4 0 4332167 1247350784 86146 33554432000 4194304 16246674 140734009940592 140734009922496 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 304529 86159 710 2943 0 301423 0
[pid=7020/tid=7021] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 86165 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 86173 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 86182 33554432000 4194304 16246674 140734009940592 140335895268528 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.700428 s]
/proc/loadavg: 2.46 2.33 2.23 3/179 7020
/proc/meminfo: memFree=29461432/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 201936 0 0 0 43 26 0 0 20 0 4 0 4332167 1247350784 201776 33554432000 4194304 16246674 140734009940592 140734009922496 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 304529 201789 711 2943 0 301423 0
[pid=7020/tid=7021] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 201798 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 201810 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4332167 1247350784 201821 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.46 2.33 2.23 3/183 7024
/proc/meminfo: memFree=28480800/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267253 0 0 0 114 35 0 0 20 0 4 0 4332167 1336479744 267072 33554432000 4194304 16246674 140734009940592 140734009922496 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326289 267072 788 2943 0 323183 0
[pid=7020/tid=7021] ppid=7017 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1336479744 267072 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1336479744 267072 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1336479744 267072 33554432000 4194304 16246674 140734009940592 140335895268528 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) 1305156

[startup+3.10047 s]
/proc/loadavg: 2.42 2.33 2.23 3/183 7024
/proc/meminfo: memFree=28392124/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267424 0 0 0 274 35 0 0 20 0 4 0 4332167 1337528320 267243 33554432000 4194304 16246674 140734009940592 140734009922496 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326545 267243 788 2943 0 323439 0
[pid=7020/tid=7021] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267243 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267243 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267243 33554432000 4194304 16246674 140734009940592 140335895268528 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.30039 s]
/proc/loadavg: 2.42 2.33 2.23 3/183 7024
/proc/meminfo: memFree=28392604/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267435 0 0 0 594 35 0 0 20 0 4 0 4332167 1337528320 267254 33554432000 4194304 16246674 140734009940592 140734009922496 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326545 267254 788 2943 0 323439 0
[pid=7020/tid=7021] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267254 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267254 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267254 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.32 2.22 4/183 7024
/proc/meminfo: memFree=28392576/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267468 0 0 0 1234 35 0 0 20 0 4 0 4332167 1337528320 267287 33554432000 4194304 16246674 140734009940592 140734009922496 5721616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326545 267287 788 2943 0 323439 0
[pid=7020/tid=7021] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267287 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267287 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267287 33554432000 4194304 16246674 140734009940592 140335895268528 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: 2.45 2.34 2.23 3/183 7025
/proc/meminfo: memFree=28392296/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267502 0 0 0 2513 36 0 0 20 0 4 0 4332167 1337528320 267321 33554432000 4194304 16246674 140734009940592 140734009922496 5672988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326545 267321 790 2943 0 323439 0
[pid=7020/tid=7021] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267321 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267321 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267321 33554432000 4194304 16246674 140734009940592 140335895268528 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: 2.42 2.34 2.24 3/183 7025
/proc/meminfo: memFree=28392512/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267573 0 0 0 5072 37 0 0 20 0 4 0 4332167 1337528320 267392 33554432000 4194304 16246674 140734009940592 140734009922496 5721639 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326545 267392 791 2943 0 323439 0
[pid=7020/tid=7021] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267392 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267392 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1337528320 267392 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.39 2.34 2.24 4/183 7026
/proc/meminfo: memFree=28391936/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1307204 CPUtime=102.29 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 267656 0 0 0 10191 38 0 0 20 0 4 0 4332167 1338576896 267475 33554432000 4194304 16246674 140734009940592 140734009922496 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7020/statm: 326801 267475 792 2943 0 323695 0
[pid=7020/tid=7021] ppid=7017 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1338576896 267475 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1338576896 267475 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1338576896 267475 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1307204


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

/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.22 2.29 2.29 3/183 7154
/proc/meminfo: memFree=28387124/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1314372 CPUtime=1361.9 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 269900 0 0 0 136122 68 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140734009923592 5546023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 328593 269697 792 2943 0 325487 0
[pid=7020/tid=7021] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.29 2.29 2.28 3/183 7155
/proc/meminfo: memFree=28387048/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1314372 CPUtime=1421.89 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 269900 0 0 0 142120 69 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140734009923592 13198437 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 328593 269697 792 2943 0 325487 0
[pid=7020/tid=7021] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 7156
/proc/meminfo: memFree=28387128/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1314372 CPUtime=1481.87 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 269900 0 0 0 148117 70 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140734009923592 5722604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 328593 269697 792 2943 0 325487 0
[pid=7020/tid=7021] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.16 2.25 2.26 3/183 7158
/proc/meminfo: memFree=28386652/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1314372 CPUtime=1541.87 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 269900 0 0 0 154116 71 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140734009922496 13815568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 328593 269697 792 2943 0 325487 0
[pid=7020/tid=7021] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1345916928 269697 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.09 2.21 2.25 3/184 7162
/proc/meminfo: memFree=28384220/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1601.86 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270649 0 0 0 160114 72 0 0 20 0 4 0 4332167 1349062656 270446 33554432000 4194304 16246674 140734009940592 140734009923592 6011855 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270446 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270446 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270446 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270446 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.26 3/184 7186
/proc/meminfo: memFree=28384128/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1661.85 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270668 0 0 0 166112 73 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140734009923592 5516221 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270465 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.25 3/183 7187
/proc/meminfo: memFree=28384148/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1721.84 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270668 0 0 0 172110 74 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140734009922496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270465 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.26 2.22 2.25 3/183 7188
/proc/meminfo: memFree=28381056/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1781.83 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270668 0 0 0 178108 75 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140734009922496 5721725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270465 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.23 2.25 3/183 7189
/proc/meminfo: memFree=28380936/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1800.03 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270668 0 0 0 179927 76 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140734009923592 5722674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270465 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.23 2.25 3/183 7189
/proc/meminfo: memFree=28380936/32872528 swapFree=1369816/1516984
[pid=7020] ppid=7017 vsize=1317444 CPUtime=1800.03 cores=1,3,5,7
/proc/7020/stat : 7020 (toysat) R 7017 7020 5822 0 -1 4202496 270668 0 0 0 179927 76 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140734009923592 5722674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7020/statm: 329361 270465 792 2943 0 326255 0
[pid=7020/tid=7021] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7021/stat : 7021 (toysat) S 7017 7020 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335916231920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7020/tid=7022] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7022/stat : 7022 (toysat) S 7017 7020 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335905742064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7020/tid=7023] ppid=7017 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7020/task/7023/stat : 7023 (toysat) S 7017 7020 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4332167 1349062656 270465 33554432000 4194304 16246674 140734009940592 140335895268528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.28
CPU system time (s): 0.760884
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.760884
maximum resident set size= 1081860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270668
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= 400
involuntary context switches= 1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66783 second user time and 20.1569 second system time

The end

Begin job on node129 at 2016-06-15 22:34:17
IDJOB=4089169
IDBENCH=107368
IDSOLVER=2542
FILE ID=node129/4089169-1466022857
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 0e940b6d5477255619c7cad9bdca1be3
RANDOM SEED=54220147

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29461968 kB
Buffers:           16464 kB
Cached:            74572 kB
SwapCached:        20176 kB
Active:          1140720 kB
Inactive:          51408 kB
Active(anon):    1083220 kB
Inactive(anon):    20104 kB
Active(file):      57500 kB
Inactive(file):    31304 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2681072 kB
Mapped:            10332 kB
Shmem:                 0 kB
Slab:             566200 kB
SReclaimable:      10532 kB
SUnreclaim:       555668 kB
KernelStack:        1520 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2743300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 23:04:17