0.00/0.00	c 2016-06-16T20:29:29+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-4096064-1466101769.opb"]
0.00/0.01	c use --random-gen="3017604618 646493999 765309404 1873549246 3870930762 2152421164 2076951846 4208549175 2897008222 4202342757 3721592488 1549418266 1851316289 3384536689 2508361723 2570641393 4022863504 3566982807 3639055630 1186206521 1561939293 3284917993 3467793814 3715739294 1773135246 958294737 1491138069 2746431239 279426511 2781140933 1503819207 4010084135 2341746118 3454858197 1915024393 1011614861 373529577 3486700975 2900034295 4030760034 2134907636 3680870360 1663233110 1357935859 1569459981 1630943701 2335842445 3468760784 3382242905 4285765162 3129733889 1479120915 2084906655 2033816537 1878466149 1311096565 327465289 1621466311 2275463761 4161391679 245914927 720080876 3780538719 3954378246 3398626922 608800103 3150868722 2279008306 1502506147 2847358343 3476901853 1236777435 2291383690 1504318331 2014161796 1136374605 1262702526 2594061598 149641981 701251059 3653684338 987631104 3165269628 710170223 3214515154 3869907111 3635634010 825460044 703120083 1739051185 2336759690 4153885728 3478987362 4247134713 581603171 3823369189 751584547 329423921 1185101604 31374805 3355120991 916304569 3788202416 3886542968 1796436251 814341856 2807841316 929466569 2333363834 3950151655 408783227 2359011618 3740975764 1099508131 887253523 1065291198 1291219332 906173422 157035107 739189297 430228832 488112374 4240932642 308316688 214688802 4252002144 2207582943 3623658623 3639669292 3293852064 1899802036 221294284 1317294843 211969068 2290530467 617789197 2623866200 2012044935 2422029620 1397295355 2820909259 2740281273 2786581508 3584209233 2007499960 1054242254 612118900 1359000878 4002402057 541504725 1765894565 1302643953 3259764385 1435996444 3035331231 2763222500 726291003 3905687581 1951813465 3230572822 2598329421 4080162338 64979969 1787116578 1208478235 62454923 449182905 2775610228 3278613009 293573866 1819848167 108198610 370740237 3297561687 2890156203 2735805513 2248577840 3270795060 3977722118 2866702233 2926284385 4045677621 2122051530 3106734499 2332431922 280395752 3491582122 4167588818 1446108907 965336863 266452258 1267839281 3556868634 3684337624 2817143829 1320247523 899171767 2170145760 2603287696 1750748588 3110361922 1968655887 1351074781 2214764501 4145933605 660544220 3940931953 473733591 1835519660 497988193 15306724 2133846176 2745520557 190504325 1524647722 1679648389 1375734163 3855023238 75078502 2658465495 3595688184 1181987893 3459864002 683780778 176199239 3432995554 4140505551 3943451034 4041199265 3908998369 460039590 4267383194 348057230 2500113111 3873228136 3702694199 3858403942 265085962 779781530 291598493 2485492135 2348770045 2672765708 1315146188 3154603936 3023927995 3928507234 4164812430 2170405625 3572464009 1970154346 457693413 2328099451 3401048804 1968123233 3225550307 255 362436" option to reproduce the execution
0.00/0.01	c #vars 161
0.00/0.01	c #constraints 80
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 |      107      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      155 |      100 |      107      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      409 |      250 |      118      1 |        0 |        0
0.00/0.06	c  0.1s |       3 |      842 |      475 |      130      4 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1347 |      813 |      143      7 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2058 |     1320 |      158     11 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3244 |     2081 |      192     17 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4968 |     3223 |      212     26 |        0 |        0
0.49/0.52	c  0.5s |       8 |     7895 |     4936 |      234     39 |        0 |        0
0.79/0.80	c  0.8s |       9 |    12130 |     7506 |      258     57 |        0 |        0
1.10/1.19	c  1.2s |      10 |    17341 |    11361 |      284     84 |        0 |        0
1.59/1.61	c  1.6s |      11 |    25796 |    17144 |      313    118 |        0 |        0
2.20/2.30	c  2.3s |      12 |    37052 |    25819 |      345    160 |        0 |        0
3.19/3.28	c  3.3s |      13 |    54777 |    38832 |      380    220 |        0 |        0
4.89/4.91	c  4.9s |      14 |    79433 |    58352 |      419    304 |        0 |        0
6.89/6.92	c  6.9s |      14 |   113918 |    83752 |      419    409 |        0 |        0
7.19/7.26	c  7.2s |      15 |   119204 |    87632 |      461    425 |        0 |        0
9.19/9.27	c  9.3s |      15 |   152130 |   112332 |      461    523 |        0 |        0
10.89/10.95	c 10.9s |      16 |   177752 |   131552 |      508    597 |        0 |        0
12.89/12.96	c 12.9s |      16 |   210051 |   154952 |      508    678 |        0 |        0
14.89/14.96	c 14.9s |      16 |   240779 |   177552 |      508    758 |        0 |        0
16.79/16.80	c 16.8s |      17 |   269424 |   197432 |      559    829 |        0 |        0
18.80/18.81	c 18.8s |      17 |   298532 |   218932 |      559    901 |        0 |        0
20.79/20.81	c 20.8s |      17 |   323369 |   238532 |      559    965 |        0 |        0
22.79/22.81	c 22.8s |      17 |   349337 |   258432 |      559   1031 |        0 |        0
24.79/24.82	c 24.8s |      17 |   373484 |   277632 |      559   1095 |        0 |        0
26.58/26.60	c 26.6s |      18 |   398885 |   296252 |      615   1156 |        0 |        0
28.59/28.61	c 28.6s |      18 |   423918 |   314752 |      615   1211 |        0 |        0
30.58/30.61	c 30.6s |      18 |   448188 |   332852 |      615   1266 |        0 |        0
32.58/32.61	c 32.6s |      18 |   473128 |   351352 |      615   1320 |        0 |        0
34.58/34.62	c 34.6s |      18 |   500850 |   370352 |      615   1377 |        0 |        0
36.58/36.62	c 36.6s |      18 |   527761 |   389052 |      615   1433 |        0 |        0
38.59/38.62	c 38.6s |      18 |   553175 |   407252 |      615   1488 |        0 |        0
40.58/40.63	c 40.6s |      18 |   579166 |   426352 |      615   1545 |        0 |        0
42.49/42.55	c 42.5s |      19 |   604766 |   444482 |      677   1598 |        0 |        0
44.49/44.56	c 44.5s |      19 |   633937 |   464782 |      677   1654 |        0 |        0
46.49/46.56	c 46.6s |      19 |   663649 |   486782 |      677   1716 |        0 |        0
48.49/48.57	c 48.6s |      19 |   690369 |   506782 |      677   1772 |        0 |        0
50.48/50.57	c 50.6s |      19 |   721054 |   527582 |      677   1830 |        0 |        0
52.48/52.58	c 52.6s |      19 |   749528 |   547682 |      677   1887 |        0 |        0
54.48/54.58	c 54.6s |      19 |   779093 |   569382 |      677   1946 |        0 |        0
56.48/56.59	c 56.6s |      19 |   808943 |   591382 |      677   2007 |        0 |        0
58.58/58.60	c 58.6s |      19 |   838105 |   612082 |      677   2065 |        0 |        0
60.59/60.60	c 60.6s |      19 |   866770 |   632582 |      677   2121 |        0 |        0
62.58/62.61	c 62.6s |      19 |   895684 |   652582 |      677   2178 |        0 |        0
63.78/63.90	c 63.9s |      20 |   916019 |   666827 |      745   2216 |        0 |        0
65.87/65.90	c 65.9s |      20 |   948207 |   688227 |      745   2271 |        0 |        0
67.87/67.91	c 67.9s |      20 |   975522 |   707427 |      745   2320 |        0 |        0
69.87/69.92	c 69.9s |      20 |  1007157 |   728727 |      745   2375 |        0 |        0
71.87/71.92	c 71.9s |      20 |  1033629 |   748527 |      745   2425 |        0 |        0
73.86/73.93	c 73.9s |      20 |  1059593 |   767927 |      745   2474 |        0 |        0
75.87/75.94	c 75.9s |      20 |  1086318 |   787927 |      745   2525 |        0 |        0
77.86/77.94	c 77.9s |      20 |  1114059 |   807427 |      745   2575 |        0 |        0
79.86/79.95	c 79.9s |      20 |  1143425 |   827927 |      745   2628 |        0 |        0
81.86/81.95	c 81.9s |      20 |  1170072 |   847027 |      745   2676 |        0 |        0
83.86/83.96	c 83.9s |      20 |  1197572 |   867127 |      745   2728 |        0 |        0
85.86/85.97	c 86.0s |      20 |  1225540 |   887027 |      745   2778 |        0 |        0
87.86/87.98	c 88.0s |      20 |  1254429 |   906427 |      745   2827 |        0 |        0
89.86/89.98	c 90.0s |      20 |  1282417 |   925827 |      745   2876 |        0 |        0
91.87/91.99	c 92.0s |      20 |  1312990 |   946127 |      745   2928 |        0 |        0
93.86/93.99	c 94.0s |      20 |  1338956 |   965227 |      745   2977 |        0 |        0
95.96/96.00	c 96.0s |      20 |  1368153 |   985527 |      745   3029 |        0 |        0
97.36/97.47	c 97.5s |      21 |  1389596 |  1000345 |      820   3065 |        0 |        0
99.36/99.48	c 99.5s |      21 |  1420854 |  1020845 |      820   3112 |        0 |        0
101.36/101.49	c  101s |      21 |  1452852 |  1041445 |      820   3160 |        0 |        0
103.37/103.49	c  103s |      21 |  1483048 |  1062045 |      820   3208 |        0 |        0
105.36/105.49	c  105s |      21 |  1511774 |  1082145 |      820   3255 |        0 |        0
107.36/107.49	c  107s |      21 |  1540355 |  1102145 |      820   3302 |        0 |        0
109.36/109.49	c  109s |      21 |  1569586 |  1122345 |      820   3349 |        0 |        0
111.46/111.50	c  111s |      21 |  1596937 |  1143245 |      820   3396 |        0 |        0
113.46/113.50	c  113s |      21 |  1623282 |  1163545 |      820   3443 |        0 |        0
115.46/115.51	c  115s |      21 |  1648651 |  1183545 |      820   3489 |        0 |        0
117.46/117.51	c  117s |      21 |  1676391 |  1203745 |      820   3536 |        0 |        0
119.46/119.51	c  119s |      21 |  1706663 |  1224945 |      820   3585 |        0 |        0
121.45/121.51	c  121s |      21 |  1734334 |  1245545 |      820   3633 |        0 |        0
123.45/123.52	c  123s |      21 |  1760357 |  1265445 |      820   3679 |        0 |        0
125.46/125.53	c  125s |      21 |  1789510 |  1286745 |      820   3729 |        0 |        0
127.45/127.53	c  127s |      21 |  1819158 |  1307545 |      820   3778 |        0 |        0
129.45/129.53	c  129s |      21 |  1847736 |  1328145 |      820   3827 |        0 |        0
131.45/131.54	c  131s |      21 |  1876057 |  1349545 |      820   3877 |        0 |        0
133.45/133.54	c  133s |      21 |  1903769 |  1369845 |      820   3925 |        0 |        0
135.45/135.55	c  135s |      21 |  1929562 |  1389145 |      820   3970 |        0 |        0
137.45/137.55	c  137s |      21 |  1955026 |  1408245 |      820   4015 |        0 |        0
139.44/139.55	c  139s |      21 |  1983260 |  1428745 |      820   4063 |        0 |        0
141.44/141.55	c  141s |      21 |  2010598 |  1449445 |      820   4112 |        0 |        0
143.44/143.56	c  143s |      21 |  2039970 |  1470245 |      820   4160 |        0 |        0
145.43/145.56	c  145s |      21 |  2068800 |  1491045 |      903   4208 |        0 |        0
146.43/146.55	c  146s |      22 |  2081411 |  1500622 |      903   4229 |        0 |        0
148.44/148.56	c  148s |      22 |  2108943 |  1521122 |      903   4272 |        0 |        0
150.43/150.56	c  150s |      22 |  2135942 |  1540922 |      903   4313 |        0 |        0
152.44/152.57	c  152s |      22 |  2165056 |  1562222 |      903   4358 |        0 |        0
154.44/154.58	c  154s |      22 |  2192286 |  1582622 |      903   4401 |        0 |        0
156.44/156.58	c  156s |      22 |  2216958 |  1601622 |      903   4441 |        0 |        0
158.44/158.58	c  158s |      22 |  2242372 |  1621022 |      903   4482 |        0 |        0
160.43/160.59	c  160s |      22 |  2268381 |  1640822 |      903   4524 |        0 |        0
162.43/162.59	c  162s |      22 |  2295592 |  1660822 |      903   4566 |        0 |        0
164.53/164.60	c  164s |      22 |  2323115 |  1681422 |      903   4609 |        0 |        0
166.53/166.60	c  166s |      22 |  2351902 |  1702722 |      903   4655 |        0 |        0
168.53/168.61	c  168s |      22 |  2380654 |  1723722 |      903   4700 |        0 |        0
170.54/170.61	c  170s |      22 |  2406606 |  1743122 |      903   4742 |        0 |        0
172.53/172.63	c  172s |      22 |  2433387 |  1763422 |      903   4785 |        0 |        0
174.53/174.63	c  174s |      22 |  2460860 |  1783722 |      903   4828 |        0 |        0
176.53/176.63	c  176s |      22 |  2489496 |  1804122 |      903   4871 |        0 |        0
178.53/178.64	c  178s |      22 |  2518620 |  1824422 |      903   4915 |        0 |        0
180.53/180.64	c  180s |      22 |  2546232 |  1843422 |      903   4955 |        0 |        0
182.53/182.65	c  182s |      22 |  2573759 |  1863822 |      903   4998 |        0 |        0
184.53/184.65	c  184s |      22 |  2601731 |  1884622 |      903   5041 |        0 |        0
186.53/186.65	c  186s |      22 |  2628652 |  1903322 |      903   5081 |        0 |        0
188.53/188.66	c  188s |      22 |  2654961 |  1921622 |      903   5120 |        0 |        0
190.53/190.66	c  190s |      22 |  2681231 |  1939922 |      903   5159 |        0 |        0
192.53/192.67	c  192s |      22 |  2707261 |  1958322 |      903   5199 |        0 |        0
194.52/194.67	c  194s |      22 |  2735140 |  1978722 |      903   5242 |        0 |        0
196.52/196.68	c  196s |      22 |  2764075 |  1999622 |      903   5287 |        0 |        0
198.53/198.68	c  198s |      22 |  2791371 |  2019722 |      903   5329 |        0 |        0
200.53/200.69	c  200s |      22 |  2817608 |  2039322 |      903   5371 |        0 |        0
202.63/202.70	c  202s |      22 |  2840215 |  2056022 |      903   5407 |        0 |        0
204.63/204.71	c  204s |      22 |  2866736 |  2075022 |      903   5448 |        0 |        0
206.62/206.71	c  206s |      22 |  2896364 |  2095522 |      903   5492 |        0 |        0
208.62/208.71	c  208s |      22 |  2923636 |  2115722 |      903   5535 |        0 |        0
210.62/210.72	c  210s |      22 |  2950558 |  2135822 |      903   5578 |        0 |        0
212.62/212.73	c  212s |      22 |  2977891 |  2156322 |      903   5622 |        0 |        0
214.61/214.73	c  214s |      22 |  3005406 |  2177222 |      903   5667 |        0 |        0
216.62/216.73	c  216s |      22 |  3032776 |  2197422 |      903   5710 |        0 |        0
218.61/218.74	c  218s |      22 |  3060883 |  2218222 |      903   5754 |        0 |        0
220.61/220.75	c  220s |      22 |  3088785 |  2239122 |      994   5798 |        0 |        0
221.81/221.93	c  221s |      23 |  3104646 |  2251038 |      994   5820 |        0 |        0
223.81/223.93	c  223s |      23 |  3130818 |  2269638 |      994   5857 |        0 |        0
225.80/225.94	c  225s |      23 |  3155055 |  2287338 |      994   5891 |        0 |        0
227.80/227.94	c  227s |      23 |  3176289 |  2303938 |      994   5924 |        0 |        0
229.81/229.94	c  229s |      23 |  3198460 |  2320638 |      994   5956 |        0 |        0
231.80/231.94	c  231s |      23 |  3220005 |  2337038 |      994   5988 |        0 |        0
233.80/233.94	c  233s |      23 |  3241058 |  2353138 |      994   6020 |        0 |        0
235.80/235.95	c  235s |      23 |  3261363 |  2368538 |      994   6050 |        0 |        0
237.81/237.96	c  237s |      23 |  3287334 |  2386338 |      994   6084 |        0 |        0
239.82/239.96	c  239s |      23 |  3311659 |  2403338 |      994   6118 |        0 |        0
241.81/241.97	c  241s |      23 |  3336833 |  2420938 |      994   6152 |        0 |        0
243.80/243.99	c  243s |      23 |  3359455 |  2437438 |      994   6184 |        0 |        0
245.90/246.00	c  245s |      23 |  3388090 |  2456438 |      994   6221 |        0 |        0
247.90/248.00	c  247s |      23 |  3418572 |  2476038 |      994   6259 |        0 |        0
249.90/250.00	c  249s |      23 |  3445427 |  2494038 |      994   6294 |        0 |        0
251.90/252.01	c  251s |      23 |  3473875 |  2512838 |      994   6330 |        0 |        0
253.89/254.02	c  254s |      23 |  3499052 |  2529838 |      994   6363 |        0 |        0
255.89/256.02	c  256s |      23 |  3522873 |  2546338 |      994   6395 |        0 |        0
257.90/258.04	c  258s |      23 |  3548547 |  2563538 |      994   6429 |        0 |        0
259.90/260.04	c  260s |      23 |  3571554 |  2580138 |      994   6461 |        0 |        0
261.90/262.05	c  262s |      23 |  3597592 |  2597638 |      994   6495 |        0 |        0
263.90/264.05	c  264s |      23 |  3621656 |  2614238 |      994   6527 |        0 |        0
265.90/266.06	c  266s |      23 |  3645891 |  2631138 |      994   6560 |        0 |        0
267.90/268.06	c  268s |      23 |  3672307 |  2648938 |      994   6595 |        0 |        0
269.90/270.07	c  270s |      23 |  3695986 |  2666338 |      994   6628 |        0 |        0
271.90/272.08	c  272s |      23 |  3723636 |  2684738 |      994   6664 |        0 |        0
273.90/274.09	c  274s |      23 |  3749815 |  2702738 |      994   6699 |        0 |        0
275.89/276.10	c  276s |      23 |  3775256 |  2720038 |      994   6733 |        0 |        0
277.99/278.10	c  278s |      23 |  3802596 |  2738638 |      994   6769 |        0 |        0
279.99/280.10	c  280s |      23 |  3828265 |  2756138 |      994   6803 |        0 |        0
281.98/282.11	c  282s |      23 |  3852366 |  2772938 |      994   6836 |        0 |        0
283.98/284.11	c  284s |      23 |  3880488 |  2791938 |      994   6873 |        0 |        0
285.99/286.11	c  286s |      23 |  3906538 |  2810138 |      994   6908 |        0 |        0
287.98/288.11	c  288s |      23 |  3927912 |  2826738 |      994   6941 |        0 |        0
289.98/290.12	c  290s |      23 |  3953273 |  2845038 |      994   6976 |        0 |        0
291.99/292.13	c  292s |      23 |  3977422 |  2862638 |      994   7011 |        0 |        0
293.98/294.14	c  294s |      23 |  4003117 |  2880938 |      994   7046 |        0 |        0
295.98/296.15	c  296s |      23 |  4028950 |  2899238 |      994   7082 |        0 |        0
297.99/298.15	c  298s |      23 |  4054677 |  2916838 |      994   7116 |        0 |        0
299.98/300.16	c  300s |      23 |  4082700 |  2935638 |      994   7152 |        0 |        0
301.98/302.17	c  302s |      23 |  4111004 |  2955038 |      994   7190 |        0 |        0
303.97/304.18	c  304s |      23 |  4137732 |  2973238 |      994   7225 |        0 |        0
305.97/306.19	c  306s |      23 |  4160353 |  2989638 |      994   7257 |        0 |        0
307.98/308.19	c  308s |      23 |  4187592 |  3007938 |      994   7292 |        0 |        0
309.97/310.20	c  310s |      23 |  4215500 |  3026538 |      994   7329 |        0 |        0
312.07/312.20	c  312s |      23 |  4241831 |  3043738 |      994   7362 |        0 |        0
314.07/314.20	c  314s |      23 |  4268412 |  3061538 |      994   7397 |        0 |        0
316.07/316.21	c  316s |      23 |  4296118 |  3079438 |      994   7432 |        0 |        0
318.07/318.21	c  318s |      23 |  4324548 |  3097738 |      994   7468 |        0 |        0
320.07/320.22	c  320s |      23 |  4355162 |  3117238 |      994   7506 |        0 |        0
322.06/322.23	c  322s |      23 |  4381243 |  3135838 |      994   7542 |        0 |        0
324.07/324.23	c  324s |      23 |  4407068 |  3153738 |      994   7577 |        0 |        0
326.07/326.24	c  326s |      23 |  4434590 |  3172338 |      994   7613 |        0 |        0
328.07/328.25	c  328s |      23 |  4459437 |  3189638 |      994   7647 |        0 |        0
330.07/330.25	c  330s |      23 |  4487730 |  3208938 |      994   7685 |        0 |        0
332.08/332.25	c  332s |      23 |  4514343 |  3227338 |      994   7720 |        0 |        0
334.06/334.26	c  334s |      23 |  4539903 |  3245338 |      994   7755 |        0 |        0
336.06/336.27	c  336s |      23 |  4564365 |  3262938 |      994   7790 |        0 |        0
338.06/338.29	c  338s |      23 |  4591336 |  3281638 |      994   7826 |        0 |        0
340.06/340.29	c  340s |      23 |  4614814 |  3298438 |      994   7858 |        0 |        0
342.06/342.29	c  342s |      23 |  4636898 |  3314638 |      994   7889 |        0 |        0
344.05/344.30	c  344s |      23 |  4658948 |  3330938 |      994   7921 |        0 |        0
346.15/346.30	c  346s |      23 |  4678867 |  3346238 |      994   7950 |        0 |        0
348.15/348.32	c  348s |      23 |  4703235 |  3363238 |     1094   7981 |        0 |        0
349.76/349.92	c  349s |      24 |  4722086 |  3376662 |     1094   8005 |        0 |        0
351.75/351.93	c  351s |      24 |  4745589 |  3393962 |     1094   8034 |        0 |        0
353.75/353.94	c  353s |      24 |  4767695 |  3410962 |     1094   8063 |        0 |        0
355.75/355.94	c  355s |      24 |  4792083 |  3429462 |     1094   8095 |        0 |        0
357.75/357.94	c  357s |      24 |  4818426 |  3448962 |     1094   8129 |        0 |        0
359.75/359.95	c  359s |      24 |  4842720 |  3467362 |     1094   8161 |        0 |        0
361.75/361.96	c  361s |      24 |  4866629 |  3485462 |     1094   8192 |        0 |        0
363.74/363.96	c  363s |      24 |  4890703 |  3503562 |     1094   8223 |        0 |        0
365.74/365.96	c  365s |      24 |  4913713 |  3521262 |     1094   8254 |        0 |        0
367.74/367.96	c  367s |      24 |  4937201 |  3539062 |     1094   8285 |        0 |        0
369.74/369.96	c  369s |      24 |  4960643 |  3556562 |     1094   8316 |        0 |        0
371.75/371.97	c  371s |      24 |  4983705 |  3574462 |     1094   8347 |        0 |        0
373.74/373.97	c  373s |      24 |  5007871 |  3592962 |     1094   8379 |        0 |        0
375.73/375.99	c  375s |      24 |  5030953 |  3610662 |     1094   8411 |        0 |        0
377.73/378.00	c  377s |      24 |  5054889 |  3628962 |     1094   8443 |        0 |        0
379.83/380.00	c  379s |      24 |  5079556 |  3647862 |     1094   8476 |        0 |        0
381.83/382.00	c  381s |      24 |  5103626 |  3665862 |     1094   8507 |        0 |        0
383.84/384.01	c  383s |      24 |  5127676 |  3684462 |     1094   8540 |        0 |        0
385.83/386.01	c  386s |      24 |  5150211 |  3702262 |     1094   8572 |        0 |        0
387.83/388.02	c  388s |      24 |  5172371 |  3719562 |     1094   8602 |        0 |        0
389.83/390.03	c  390s |      24 |  5194333 |  3736862 |     1094   8633 |        0 |        0
391.83/392.03	c  392s |      24 |  5218283 |  3755062 |     1094   8665 |        0 |        0
393.82/394.03	c  394s |      24 |  5243587 |  3774362 |     1094   8699 |        0 |        0
395.83/396.04	c  396s |      24 |  5270509 |  3793562 |     1094   8732 |        0 |        0
397.82/398.04	c  398s |      24 |  5296683 |  3812862 |     1094   8766 |        0 |        0
399.82/400.04	c  400s |      24 |  5320762 |  3830862 |     1094   8797 |        0 |        0
401.83/402.04	c  402s |      24 |  5343911 |  3848162 |     1094   8827 |        0 |        0
403.82/404.05	c  404s |      24 |  5367125 |  3865862 |     1094   8858 |        0 |        0
405.83/406.06	c  406s |      24 |  5389623 |  3883262 |     1094   8889 |        0 |        0
407.82/408.06	c  408s |      24 |  5414631 |  3902362 |     1094   8922 |        0 |        0
409.82/410.07	c  410s |      24 |  5439559 |  3920862 |     1094   8954 |        0 |        0
411.82/412.08	c  412s |      24 |  5464534 |  3939962 |     1094   8988 |        0 |        0
413.81/414.08	c  414s |      24 |  5488637 |  3958462 |     1094   9020 |        0 |        0
415.81/416.08	c  416s |      24 |  5512101 |  3976662 |     1094   9051 |        0 |        0
417.82/418.10	c  418s |      24 |  5532473 |  3992862 |     1094   9080 |        0 |        0
419.91/420.10	c  420s |      24 |  5555642 |  4010762 |     1094   9111 |        0 |        0
421.91/422.11	c  422s |      24 |  5576871 |  4027462 |     1094   9140 |        0 |        0
423.90/424.11	c  424s |      24 |  5599701 |  4044662 |     1094   9170 |        0 |        0
425.90/426.11	c  426s |      24 |  5622178 |  4061862 |     1094   9200 |        0 |        0
427.91/428.13	c  428s |      24 |  5647089 |  4080162 |     1094   9232 |        0 |        0
429.92/430.13	c  430s |      24 |  5670308 |  4097762 |     1094   9262 |        0 |        0
431.91/432.14	c  432s |      24 |  5693076 |  4115162 |     1094   9293 |        0 |        0
433.91/434.15	c  434s |      24 |  5715377 |  4132562 |     1094   9323 |        0 |        0
435.91/436.15	c  436s |      24 |  5737358 |  4149762 |     1094   9353 |        0 |        0
437.91/438.16	c  438s |      24 |  5759723 |  4167362 |     1094   9384 |        0 |        0
439.91/440.16	c  440s |      24 |  5781702 |  4184262 |     1094   9414 |        0 |        0
441.90/442.17	c  442s |      24 |  5805539 |  4202362 |     1094   9446 |        0 |        0
443.90/444.18	c  444s |      24 |  5829570 |  4220562 |     1094   9478 |        0 |        0
445.90/446.19	c  446s |      24 |  5853991 |  4238962 |     1094   9510 |        0 |        0
448.00/448.20	c  448s |      24 |  5876054 |  4256062 |     1094   9540 |        0 |        0
450.00/450.20	c  450s |      24 |  5899847 |  4273862 |     1094   9572 |        0 |        0
452.00/452.20	c  452s |      24 |  5920583 |  4289562 |     1094   9599 |        0 |        0
453.99/454.21	c  454s |      24 |  5942744 |  4306662 |     1094   9629 |        0 |        0
455.99/456.21	c  456s |      24 |  5966667 |  4323862 |     1094   9659 |        0 |        0
457.99/458.22	c  458s |      24 |  5988470 |  4340662 |     1094   9688 |        0 |        0
459.99/460.22	c  460s |      24 |  6011500 |  4358462 |     1094   9719 |        0 |        0
461.99/462.23	c  462s |      24 |  6035245 |  4375862 |     1094   9750 |        0 |        0
463.99/464.23	c  464s |      24 |  6058096 |  4392962 |     1094   9780 |        0 |        0
465.99/466.24	c  466s |      24 |  6082152 |  4411262 |     1094   9812 |        0 |        0
467.99/468.24	c  468s |      24 |  6106199 |  4429362 |     1094   9844 |        0 |        0
469.98/470.25	c  470s |      24 |  6129500 |  4447262 |     1094   9876 |        0 |        0
471.98/472.26	c  472s |      24 |  6152266 |  4464962 |     1094   9907 |        0 |        0
473.99/474.26	c  474s |      24 |  6174341 |  4481962 |     1094   9937 |        0 |        0
475.98/476.26	c  476s |      24 |  6196649 |  4499362 |     1094   9968 |        0 |        0
477.98/478.27	c  478s |      24 |  6220853 |  4517762 |     1094  10000 |        0 |        0
479.98/480.27	c  480s |      24 |  6244681 |  4535562 |     1094  10032 |        0 |        0
481.98/482.28	c  482s |      24 |  6268281 |  4553062 |     1094  10063 |        0 |        0
483.98/484.28	c  484s |      24 |  6293596 |  4571862 |     1094  10096 |        0 |        0
485.99/486.28	c  486s |      24 |  6316074 |  4589362 |     1094  10127 |        0 |        0
487.98/488.29	c  488s |      24 |  6337193 |  4606262 |     1094  10157 |        0 |        0
490.08/490.30	c  490s |      24 |  6361317 |  4624462 |     1094  10189 |        0 |        0
492.08/492.31	c  492s |      24 |  6385129 |  4642362 |     1094  10221 |        0 |        0
494.08/494.31	c  494s |      24 |  6407438 |  4659762 |     1094  10251 |        0 |        0
496.07/496.31	c  496s |      24 |  6428589 |  4676262 |     1094  10281 |        0 |        0
498.08/498.31	c  498s |      24 |  6448831 |  4692362 |     1094  10309 |        0 |        0
500.07/500.32	c  500s |      24 |  6467627 |  4707562 |     1094  10336 |        0 |        0
502.07/502.32	c  502s |      24 |  6489424 |  4724062 |     1094  10366 |        0 |        0
504.07/504.33	c  504s |      24 |  6511115 |  4740062 |     1094  10394 |        0 |        0
506.07/506.33	c  506s |      24 |  6532972 |  4756762 |     1094  10424 |        0 |        0
508.08/508.34	c  508s |      24 |  6557134 |  4775162 |     1094  10456 |        0 |        0
510.07/510.35	c  510s |      24 |  6582656 |  4793562 |     1094  10489 |        0 |        0
512.07/512.35	c  512s |      24 |  6607323 |  4812162 |     1094  10521 |        0 |        0
514.06/514.36	c  514s |      24 |  6633758 |  4831462 |     1094  10555 |        0 |        0
516.06/516.37	c  516s |      24 |  6658177 |  4849562 |     1094  10587 |        0 |        0
518.06/518.38	c  518s |      24 |  6683217 |  4868262 |     1094  10620 |        0 |        0
520.07/520.38	c  520s |      24 |  6708216 |  4887062 |     1094  10653 |        0 |        0
522.06/522.39	c  522s |      24 |  6733476 |  4905862 |     1094  10685 |        0 |        0
524.15/524.40	c  524s |      24 |  6759998 |  4925162 |     1094  10719 |        0 |        0
526.15/526.41	c  526s |      24 |  6783640 |  4943262 |     1094  10750 |        0 |        0
528.15/528.41	c  528s |      24 |  6807391 |  4960962 |     1094  10781 |        0 |        0
530.16/530.42	c  530s |      24 |  6830513 |  4978562 |     1094  10811 |        0 |        0
532.17/532.43	c  532s |      24 |  6854732 |  4997062 |     1094  10844 |        0 |        0
534.16/534.43	c  534s |      24 |  6880125 |  5016162 |     1094  10878 |        0 |        0
536.15/536.44	c  536s |      24 |  6903197 |  5033662 |     1204  10908 |        0 |        0
538.15/538.45	c  538s |      24 |  6927242 |  5051862 |     1204  10937 |        0 |        0
539.65/539.93	c  539s |      25 |  6944670 |  5065098 |     1204  10958 |        0 |        0
541.65/541.93	c  541s |      25 |  6966598 |  5082298 |     1204  10985 |        0 |        0
543.65/543.93	c  543s |      25 |  6990163 |  5100198 |     1204  11014 |        0 |        0
545.65/545.94	c  545s |      25 |  7014681 |  5118898 |     1204  11043 |        0 |        0
547.65/547.94	c  547s |      25 |  7039677 |  5137498 |     1204  11072 |        0 |        0
549.65/549.94	c  549s |      25 |  7061452 |  5154398 |     1204  11098 |        0 |        0
551.65/551.95	c  551s |      25 |  7084152 |  5171698 |     1204  11126 |        0 |        0
553.64/553.96	c  553s |      25 |  7107075 |  5189298 |     1204  11153 |        0 |        0
555.64/555.96	c  555s |      25 |  7130167 |  5206798 |     1204  11181 |        0 |        0
557.64/557.97	c  557s |      25 |  7152000 |  5223998 |     1204  11208 |        0 |        0
559.65/559.97	c  559s |      25 |  7173450 |  5240598 |     1204  11234 |        0 |        0
561.64/561.98	c  561s |      25 |  7194023 |  5256498 |     1204  11260 |        0 |        0
563.63/563.99	c  563s |      25 |  7215407 |  5272798 |     1204  11285 |        0 |        0
565.63/565.99	c  565s |      25 |  7235215 |  5288298 |     1204  11310 |        0 |        0
567.64/567.99	c  567s |      25 |  7256231 |  5303998 |     1204  11335 |        0 |        0
569.74/570.00	c  569s |      25 |  7276960 |  5319798 |     1204  11360 |        0 |        0
571.75/572.01	c  571s |      25 |  7297871 |  5335898 |     1204  11385 |        0 |        0
573.74/574.02	c  574s |      25 |  7319343 |  5352598 |     1204  11411 |        0 |        0
575.74/576.03	c  576s |      25 |  7341700 |  5369298 |     1204  11438 |        0 |        0
577.74/578.03	c  578s |      25 |  7361202 |  5384898 |     1204  11463 |        0 |        0
579.73/580.03	c  580s |      25 |  7381406 |  5400298 |     1204  11487 |        0 |        0
581.74/582.03	c  582s |      25 |  7401862 |  5415398 |     1204  11511 |        0 |        0
583.73/584.04	c  584s |      25 |  7423502 |  5432198 |     1204  11538 |        0 |        0
585.73/586.05	c  586s |      25 |  7446212 |  5448998 |     1204  11565 |        0 |        0
587.73/588.05	c  588s |      25 |  7469493 |  5466598 |     1204  11593 |        0 |        0
589.73/590.05	c  590s |      25 |  7492015 |  5483898 |     1204  11621 |        0 |        0
591.73/592.05	c  592s |      25 |  7513427 |  5499898 |     1204  11646 |        0 |        0
593.73/594.06	c  594s |      25 |  7535515 |  5516698 |     1204  11673 |        0 |        0
595.72/596.07	c  596s |      25 |  7557045 |  5532698 |     1204  11699 |        0 |        0
597.72/598.08	c  598s |      25 |  7578250 |  5548698 |     1204  11724 |        0 |        0
599.72/600.09	c  600s |      25 |  7599211 |  5564498 |     1204  11749 |        0 |        0
601.72/602.09	c  602s |      25 |  7620662 |  5580998 |     1204  11775 |        0 |        0
603.81/604.10	c  604s |      25 |  7643394 |  5598398 |     1204  11803 |        0 |        0
605.82/606.11	c  606s |      25 |  7666420 |  5615798 |     1204  11831 |        0 |        0
607.81/608.11	c  608s |      25 |  7689139 |  5632898 |     1204  11858 |        0 |        0
609.81/610.12	c  610s |      25 |  7710421 |  5649498 |     1204  11885 |        0 |        0
611.81/612.13	c  612s |      25 |  7732333 |  5666298 |     1204  11912 |        0 |        0
613.81/614.13	c  614s |      25 |  7753381 |  5682198 |     1204  11937 |        0 |        0
615.82/616.14	c  616s |      25 |  7776457 |  5699098 |     1204  11964 |        0 |        0
617.81/618.15	c  618s |      25 |  7799032 |  5715398 |     1204  11991 |        0 |        0
619.81/620.15	c  620s |      25 |  7820911 |  5732198 |     1204  12018 |        0 |        0
621.81/622.17	c  622s |      25 |  7842928 |  5748898 |     1204  12045 |        0 |        0
623.81/624.17	c  624s |      25 |  7863390 |  5764698 |     1204  12070 |        0 |        0
625.80/626.18	c  626s |      25 |  7883853 |  5780398 |     1204  12096 |        0 |        0
627.81/628.19	c  628s |      25 |  7905362 |  5796598 |     1204  12122 |        0 |        0
629.80/630.19	c  630s |      25 |  7927018 |  5813098 |     1204  12148 |        0 |        0
631.90/632.20	c  632s |      25 |  7947586 |  5828998 |     1204  12174 |        0 |        0
633.89/634.21	c  634s |      25 |  7968304 |  5844998 |     1204  12200 |        0 |        0
635.89/636.21	c  636s |      25 |  7991433 |  5862498 |     1204  12228 |        0 |        0
637.89/638.22	c  638s |      25 |  8015026 |  5880098 |     1204  12256 |        0 |        0
639.91/640.22	c  640s |      25 |  8037972 |  5897398 |     1204  12284 |        0 |        0
641.90/642.23	c  642s |      25 |  8061699 |  5915198 |     1204  12312 |        0 |        0
643.89/644.24	c  644s |      25 |  8083379 |  5931598 |     1204  12338 |        0 |        0
645.89/646.24	c  646s |      25 |  8102289 |  5945998 |     1204  12362 |        0 |        0
647.89/648.24	c  648s |      25 |  8122169 |  5960698 |     1204  12385 |        0 |        0
649.90/650.25	c  650s |      25 |  8143502 |  5976698 |     1204  12411 |        0 |        0
651.89/652.25	c  652s |      25 |  8165489 |  5993398 |     1204  12438 |        0 |        0
653.88/654.26	c  654s |      25 |  8187527 |  6009698 |     1204  12464 |        0 |        0
655.88/656.27	c  656s |      25 |  8210512 |  6027098 |     1204  12492 |        0 |        0
657.88/658.27	c  658s |      25 |  8234494 |  6044498 |     1204  12520 |        0 |        0
659.88/660.28	c  660s |      25 |  8256065 |  6060598 |     1204  12545 |        0 |        0
661.89/662.28	c  662s |      25 |  8279787 |  6078098 |     1204  12573 |        0 |        0
663.87/664.29	c  664s |      25 |  8302519 |  6095098 |     1204  12601 |        0 |        0
665.87/666.29	c  666s |      25 |  8325101 |  6112198 |     1204  12628 |        0 |        0
667.87/668.29	c  668s |      25 |  8347784 |  6129498 |     1204  12655 |        0 |        0
669.87/670.29	c  670s |      25 |  8370404 |  6146198 |     1204  12682 |        0 |        0
671.87/672.30	c  672s |      25 |  8392551 |  6163098 |     1204  12709 |        0 |        0
673.97/674.31	c  674s |      25 |  8413818 |  6179698 |     1204  12736 |        0 |        0
675.97/676.31	c  676s |      25 |  8434078 |  6195398 |     1204  12761 |        0 |        0
677.97/678.31	c  678s |      25 |  8455773 |  6211898 |     1204  12788 |        0 |        0
679.97/680.32	c  680s |      25 |  8478886 |  6228898 |     1204  12815 |        0 |        0
681.97/682.32	c  682s |      25 |  8502501 |  6246098 |     1204  12843 |        0 |        0
683.97/684.33	c  684s |      25 |  8524316 |  6262898 |     1204  12869 |        0 |        0
685.97/686.34	c  686s |      25 |  8546870 |  6279898 |     1204  12896 |        0 |        0
687.97/688.34	c  688s |      25 |  8570650 |  6297698 |     1204  12924 |        0 |        0
689.97/690.35	c  690s |      25 |  8593877 |  6314998 |     1204  12952 |        0 |        0
691.96/692.36	c  692s |      25 |  8614913 |  6330598 |     1204  12977 |        0 |        0
693.96/694.37	c  694s |      25 |  8633979 |  6345398 |     1204  13000 |        0 |        0
695.97/696.37	c  696s |      25 |  8657312 |  6363098 |     1204  13029 |        0 |        0
697.96/698.38	c  698s |      25 |  8680984 |  6380798 |     1204  13057 |        0 |        0
699.96/700.38	c  700s |      25 |  8703230 |  6397498 |     1204  13084 |        0 |        0
701.96/702.39	c  702s |      25 |  8726394 |  6414498 |     1204  13111 |        0 |        0
703.96/704.39	c  704s |      25 |  8749660 |  6431098 |     1204  13138 |        0 |        0
706.06/706.40	c  706s |      25 |  8774192 |  6448298 |     1204  13166 |        0 |        0
707.96/708.40	c  708s |      25 |  8797933 |  6465498 |     1204  13193 |        0 |        0
710.05/710.41	c  710s |      25 |  8820851 |  6482898 |     1204  13221 |        0 |        0
712.05/712.42	c  712s |      25 |  8842884 |  6499398 |     1204  13247 |        0 |        0
714.05/714.43	c  714s |      25 |  8865536 |  6516298 |     1204  13274 |        0 |        0
716.05/716.43	c  716s |      25 |  8885767 |  6531598 |     1204  13299 |        0 |        0
718.06/718.43	c  718s |      25 |  8906857 |  6547298 |     1204  13324 |        0 |        0
720.05/720.44	c  720s |      25 |  8929885 |  6564398 |     1204  13351 |        0 |        0
722.05/722.44	c  722s |      25 |  8952690 |  6581498 |     1204  13379 |        0 |        0
724.05/724.45	c  724s |      25 |  8974290 |  6598398 |     1204  13406 |        0 |        0
726.05/726.45	c  726s |      25 |  8995853 |  6614998 |     1204  13432 |        0 |        0
728.05/728.45	c  728s |      25 |  9018351 |  6632398 |     1204  13459 |        0 |        0
730.06/730.46	c  730s |      25 |  9039586 |  6648598 |     1204  13485 |        0 |        0
732.05/732.47	c  732s |      25 |  9059484 |  6663598 |     1204  13508 |        0 |        0
734.05/734.48	c  734s |      25 |  9079863 |  6679298 |     1204  13533 |        0 |        0
736.05/736.48	c  736s |      25 |  9102638 |  6696098 |     1204  13560 |        0 |        0
738.05/738.49	c  738s |      25 |  9125599 |  6713098 |     1204  13588 |        0 |        0
740.15/740.50	c  740s |      25 |  9149219 |  6730498 |     1204  13615 |        0 |        0
742.16/742.51	c  742s |      25 |  9170430 |  6746998 |     1204  13642 |        0 |        0
744.15/744.52	c  744s |      25 |  9191003 |  6762398 |     1204  13667 |        0 |        0
746.15/746.53	c  746s |      25 |  9212770 |  6779098 |     1204  13693 |        0 |        0
748.15/748.53	c  748s |      25 |  9235286 |  6796098 |     1204  13720 |        0 |        0
750.15/750.53	c  750s |      25 |  9256691 |  6812198 |     1204  13746 |        0 |        0
752.16/752.53	c  752s |      25 |  9276699 |  6828098 |     1204  13771 |        0 |        0
754.15/754.54	c  754s |      25 |  9296938 |  6843398 |     1204  13795 |        0 |        0
756.15/756.55	c  756s |      25 |  9316593 |  6858098 |     1204  13818 |        0 |        0
758.15/758.55	c  758s |      25 |  9337676 |  6873798 |     1204  13843 |        0 |        0
760.15/760.57	c  760s |      25 |  9357237 |  6889098 |     1204  13868 |        0 |        0
762.15/762.58	c  762s |      25 |  9377892 |  6904898 |     1204  13893 |        0 |        0
764.16/764.59	c  764s |      25 |  9399467 |  6920798 |     1204  13918 |        0 |        0
766.25/766.60	c  766s |      25 |  9421149 |  6936898 |     1204  13944 |        0 |        0
768.25/768.60	c  768s |      25 |  9442423 |  6953098 |     1204  13970 |        0 |        0
770.25/770.60	c  770s |      25 |  9464413 |  6969998 |     1204  13997 |        0 |        0
772.25/772.61	c  772s |      25 |  9486236 |  6986798 |     1204  14025 |        0 |        0
774.25/774.63	c  774s |      25 |  9508427 |  7003798 |     1204  14052 |        0 |        0
776.25/776.63	c  776s |      25 |  9532198 |  7021498 |     1204  14081 |        0 |        0
778.24/778.64	c  778s |      25 |  9556325 |  7039698 |     1204  14110 |        0 |        0
780.24/780.64	c  780s |      25 |  9577695 |  7056298 |     1204  14137 |        0 |        0
782.24/782.65	c  782s |      25 |  9599007 |  7072998 |     1204  14164 |        0 |        0
784.24/784.66	c  784s |      25 |  9620281 |  7089898 |     1204  14191 |        0 |        0
786.25/786.66	c  786s |      25 |  9641438 |  7106198 |     1204  14217 |        0 |        0
788.25/788.67	c  788s |      25 |  9660986 |  7121398 |     1204  14241 |        0 |        0
790.25/790.68	c  790s |      25 |  9682197 |  7137498 |     1204  14267 |        0 |        0
792.25/792.69	c  792s |      25 |  9701296 |  7152498 |     1204  14291 |        0 |        0
794.25/794.69	c  794s |      25 |  9720676 |  7168098 |     1204  14317 |        0 |        0
796.35/796.70	c  796s |      25 |  9742031 |  7184498 |     1204  14343 |        0 |        0
798.35/798.71	c  798s |      25 |  9762846 |  7200298 |     1204  14368 |        0 |        0
800.34/800.71	c  800s |      25 |  9783568 |  7216498 |     1204  14395 |        0 |        0
802.34/802.72	c  802s |      25 |  9805763 |  7233598 |     1204  14422 |        0 |        0
804.34/804.73	c  804s |      25 |  9824426 |  7248798 |     1204  14447 |        0 |        0
806.34/806.74	c  806s |      25 |  9846149 |  7265398 |     1204  14473 |        0 |        0
808.34/808.74	c  808s |      25 |  9866026 |  7280698 |     1204  14498 |        0 |        0
810.35/810.75	c  810s |      25 |  9885538 |  7295898 |     1204  14523 |        0 |        0
812.34/812.75	c  812s |      25 |  9905960 |  7311698 |     1204  14548 |        0 |        0
814.34/814.76	c  814s |      25 |  9926253 |  7327498 |     1204  14573 |        0 |        0
816.34/816.76	c  816s |      25 |  9947055 |  7343398 |     1204  14599 |        0 |        0
818.34/818.77	c  818s |      25 |  9968673 |  7359398 |     1204  14625 |        0 |        0
820.34/820.78	c  820s |      25 |  9989389 |  7374898 |     1204  14650 |        0 |        0
822.34/822.78	c  822s |      25 | 10009302 |  7389898 |     1204  14675 |        0 |        0
824.33/824.79	c  824s |      25 | 10026905 |  7403598 |     1204  14697 |        0 |        0
826.33/826.79	c  826s |      25 | 10045278 |  7417698 |     1204  14720 |        0 |        0
828.33/828.79	c  828s |      25 | 10066480 |  7433798 |     1204  14746 |        0 |        0
830.43/830.80	c  830s |      25 | 10086604 |  7449198 |     1204  14771 |        0 |        0
832.44/832.82	c  832s |      25 | 10107620 |  7465098 |     1204  14797 |        0 |        0
834.43/834.83	c  834s |      25 | 10125620 |  7479398 |     1204  14819 |        0 |        0
836.44/836.83	c  836s |      25 | 10145458 |  7494298 |     1204  14844 |        0 |        0
838.44/838.84	c  838s |      25 | 10165930 |  7509398 |     1204  14868 |        0 |        0
840.44/840.85	c  840s |      25 | 10185394 |  7524298 |     1204  14892 |        0 |        0
842.44/842.87	c  842s |      25 | 10204980 |  7539098 |     1204  14916 |        0 |        0
844.44/844.87	c  844s |      25 | 10224199 |  7554198 |     1325  14939 |        0 |        0
846.44/846.88	c  846s |      25 | 10242994 |  7569798 |     1325  14961 |        0 |        0
848.44/848.89	c  848s |      25 | 10262304 |  7584998 |     1325  14984 |        0 |        0
850.14/850.51	c  850s |      26 | 10279226 |  7597752 |     1325  15002 |        0 |        0
852.14/852.53	c  852s |      26 | 10301490 |  7613852 |     1325  15026 |        0 |        0
854.13/854.54	c  854s |      26 | 10320701 |  7628452 |     1325  15047 |        0 |        0
856.13/856.55	c  856s |      26 | 10340647 |  7643952 |     1325  15069 |        0 |        0
858.13/858.56	c  858s |      26 | 10362345 |  7659752 |     1325  15093 |        0 |        0
860.13/860.57	c  860s |      26 | 10383543 |  7674552 |     1325  15114 |        0 |        0
862.14/862.58	c  862s |      26 | 10404639 |  7690052 |     1325  15137 |        0 |        0
864.13/864.58	c  864s |      26 | 10426373 |  7705552 |     1325  15159 |        0 |        0
866.13/866.58	c  866s |      26 | 10449081 |  7721852 |     1325  15183 |        0 |        0
868.13/868.59	c  868s |      26 | 10471336 |  7738152 |     1325  15207 |        0 |        0
870.13/870.60	c  870s |      26 | 10494021 |  7754252 |     1325  15230 |        0 |        0
872.23/872.60	c  872s |      26 | 10517638 |  7770952 |     1325  15255 |        0 |        0
874.23/874.61	c  874s |      26 | 10541815 |  7787352 |     1325  15279 |        0 |        0
876.23/876.62	c  876s |      26 | 10564656 |  7803752 |     1325  15302 |        0 |        0
878.23/878.62	c  878s |      26 | 10585388 |  7818552 |     1325  15324 |        0 |        0
880.23/880.63	c  880s |      26 | 10606826 |  7833952 |     1325  15347 |        0 |        0
882.23/882.63	c  882s |      26 | 10629062 |  7849852 |     1325  15370 |        0 |        0
884.23/884.63	c  884s |      26 | 10650900 |  7865852 |     1325  15393 |        0 |        0
886.23/886.64	c  886s |      26 | 10668939 |  7880152 |     1325  15414 |        0 |        0
888.23/888.65	c  888s |      26 | 10692386 |  7896552 |     1325  15438 |        0 |        0
890.23/890.66	c  890s |      26 | 10713121 |  7912052 |     1325  15461 |        0 |        0
892.22/892.66	c  892s |      26 | 10736244 |  7928752 |     1325  15485 |        0 |        0
894.22/894.66	c  894s |      26 | 10757433 |  7944452 |     1325  15508 |        0 |        0
896.24/896.67	c  896s |      26 | 10779635 |  7961052 |     1325  15533 |        0 |        0
898.23/898.68	c  898s |      26 | 10798719 |  7976152 |     1325  15554 |        0 |        0
900.23/900.69	c  900s |      26 | 10820483 |  7992252 |     1325  15578 |        0 |        0
902.33/902.70	c  902s |      26 | 10840694 |  8007652 |     1325  15601 |        0 |        0
904.33/904.71	c  904s |      26 | 10862042 |  8024152 |     1325  15625 |        0 |        0
906.33/906.71	c  906s |      26 | 10884393 |  8040552 |     1325  15649 |        0 |        0
908.34/908.72	c  908s |      26 | 10904801 |  8055852 |     1325  15671 |        0 |        0
910.33/910.73	c  910s |      26 | 10925044 |  8071052 |     1325  15693 |        0 |        0
912.33/912.73	c  912s |      26 | 10944056 |  8085752 |     1325  15715 |        0 |        0
914.33/914.74	c  914s |      26 | 10964885 |  8101052 |     1325  15737 |        0 |        0
916.33/916.75	c  916s |      26 | 10986807 |  8116552 |     1325  15760 |        0 |        0
918.33/918.75	c  918s |      26 | 11007768 |  8131852 |     1325  15783 |        0 |        0
920.33/920.76	c  920s |      26 | 11030336 |  8147752 |     1325  15806 |        0 |        0
922.32/922.77	c  922s |      26 | 11054004 |  8164352 |     1325  15831 |        0 |        0
924.32/924.78	c  924s |      26 | 11078544 |  8180952 |     1325  15855 |        0 |        0
926.32/926.79	c  926s |      26 | 11100864 |  8197152 |     1325  15878 |        0 |        0
928.42/928.80	c  928s |      26 | 11121188 |  8211852 |     1325  15900 |        0 |        0
930.42/930.80	c  930s |      26 | 11143943 |  8227852 |     1325  15923 |        0 |        0
932.32/932.80	c  932s |      26 | 11166109 |  8243652 |     1325  15947 |        0 |        0
934.42/934.80	c  934s |      26 | 11187812 |  8260152 |     1325  15971 |        0 |        0
936.42/936.82	c  936s |      26 | 11209930 |  8276452 |     1325  15995 |        0 |        0
938.42/938.83	c  938s |      26 | 11230722 |  8292552 |     1325  16018 |        0 |        0
940.42/940.83	c  940s |      26 | 11249552 |  8307352 |     1325  16039 |        0 |        0
942.43/942.83	c  942s |      26 | 11266753 |  8320852 |     1325  16059 |        0 |        0
944.42/944.83	c  944s |      26 | 11288290 |  8336852 |     1325  16083 |        0 |        0
946.42/946.83	c  946s |      26 | 11310602 |  8353252 |     1325  16106 |        0 |        0
948.42/948.84	c  948s |      26 | 11336070 |  8370352 |     1325  16132 |        0 |        0
950.42/950.85	c  950s |      26 | 11355774 |  8385352 |     1325  16153 |        0 |        0
952.42/952.86	c  952s |      26 | 11376885 |  8401052 |     1325  16177 |        0 |        0
954.42/954.87	c  954s |      26 | 11397005 |  8415952 |     1325  16198 |        0 |        0
956.42/956.88	c  956s |      26 | 11417595 |  8430852 |     1325  16220 |        0 |        0
958.42/958.89	c  958s |      26 | 11439732 |  8446452 |     1325  16243 |        0 |        0
960.52/960.90	c  960s |      26 | 11462391 |  8462252 |     1325  16267 |        0 |        0
962.51/962.90	c  962s |      26 | 11484264 |  8478052 |     1325  16290 |        0 |        0
964.51/964.92	c  964s |      26 | 11505133 |  8493552 |     1325  16313 |        0 |        0
966.52/966.92	c  966s |      26 | 11525312 |  8508452 |     1325  16334 |        0 |        0
968.51/968.92	c  968s |      26 | 11546000 |  8523652 |     1325  16356 |        0 |        0
970.51/970.92	c  970s |      26 | 11566455 |  8538452 |     1325  16378 |        0 |        0
972.51/972.93	c  972s |      26 | 11589081 |  8555152 |     1325  16402 |        0 |        0
974.51/974.94	c  974s |      26 | 11610004 |  8571052 |     1325  16425 |        0 |        0
976.52/976.94	c  976s |      26 | 11631161 |  8587252 |     1325  16448 |        0 |        0
978.51/978.95	c  978s |      26 | 11653493 |  8603652 |     1325  16472 |        0 |        0
980.51/980.96	c  980s |      26 | 11674688 |  8619552 |     1325  16495 |        0 |        0
982.51/982.97	c  982s |      26 | 11695043 |  8634852 |     1325  16518 |        0 |        0
984.52/984.97	c  984s |      26 | 11712715 |  8648552 |     1325  16538 |        0 |        0
986.52/986.98	c  986s |      26 | 11730080 |  8662352 |     1325  16558 |        0 |        0
988.52/988.99	c  988s |      26 | 11748079 |  8676252 |     1325  16578 |        0 |        0
990.52/990.99	c  990s |      26 | 11764858 |  8689852 |     1325  16598 |        0 |        0
992.61/993.00	c  992s |      26 | 11782518 |  8704052 |     1325  16619 |        0 |        0
994.61/995.00	c  994s |      26 | 11803869 |  8719752 |     1325  16642 |        0 |        0
996.61/997.01	c  996s |      26 | 11827339 |  8736352 |     1325  16666 |        0 |        0
998.61/999.01	c  998s |      26 | 11851225 |  8753752 |     1325  16691 |        0 |        0
1000.62/1001.02	c 1001s |      26 | 11875316 |  8771152 |     1325  16716 |        0 |        0
1002.61/1003.02	c 1003s |      26 | 11895843 |  8786952 |     1325  16739 |        0 |        0
1004.61/1005.03	c 1005s |      26 | 11916025 |  8802352 |     1325  16761 |        0 |        0
1006.61/1007.03	c 1007s |      26 | 11935997 |  8817552 |     1325  16784 |        0 |        0
1008.61/1009.05	c 1009s |      26 | 11959550 |  8834452 |     1325  16809 |        0 |        0
1010.62/1011.05	c 1011s |      26 | 11978954 |  8849352 |     1325  16830 |        0 |        0
1012.61/1013.06	c 1013s |      26 | 11998725 |  8864552 |     1325  16853 |        0 |        0
1014.61/1015.06	c 1015s |      26 | 12019799 |  8880552 |     1325  16876 |        0 |        0
1016.61/1017.07	c 1017s |      26 | 12043463 |  8897952 |     1325  16901 |        0 |        0
1018.61/1019.07	c 1019s |      26 | 12066115 |  8914852 |     1325  16926 |        0 |        0
1020.60/1021.07	c 1021s |      26 | 12087260 |  8931252 |     1325  16949 |        0 |        0
1022.61/1023.08	c 1023s |      26 | 12108348 |  8947152 |     1325  16972 |        0 |        0
1024.60/1025.08	c 1025s |      26 | 12127566 |  8961852 |     1325  16993 |        0 |        0
1026.60/1027.09	c 1027s |      26 | 12146746 |  8976652 |     1325  17015 |        0 |        0
1028.70/1029.10	c 1029s |      26 | 12168364 |  8992852 |     1325  17038 |        0 |        0
1030.70/1031.11	c 1031s |      26 | 12186597 |  9007052 |     1325  17059 |        0 |        0
1032.70/1033.12	c 1033s |      26 | 12205071 |  9021252 |     1325  17080 |        0 |        0
1034.71/1035.13	c 1035s |      26 | 12226883 |  9037252 |     1325  17103 |        0 |        0
1036.71/1037.14	c 1037s |      26 | 12246741 |  9051952 |     1325  17124 |        0 |        0
1038.71/1039.15	c 1039s |      26 | 12266685 |  9066452 |     1325  17146 |        0 |        0
1040.71/1041.15	c 1041s |      26 | 12289113 |  9082452 |     1325  17169 |        0 |        0
1042.71/1043.15	c 1043s |      26 | 12310198 |  9098752 |     1325  17193 |        0 |        0
1044.72/1045.16	c 1045s |      26 | 12332932 |  9114752 |     1325  17216 |        0 |        0
1046.71/1047.17	c 1047s |      26 | 12355212 |  9130652 |     1325  17239 |        0 |        0
1048.71/1049.18	c 1049s |      26 | 12374066 |  9145052 |     1325  17261 |        0 |        0
1050.71/1051.18	c 1051s |      26 | 12391418 |  9158652 |     1325  17280 |        0 |        0
1052.71/1053.19	c 1053s |      26 | 12412839 |  9174552 |     1325  17304 |        0 |        0
1054.70/1055.19	c 1055s |      26 | 12435078 |  9190452 |     1325  17327 |        0 |        0
1056.71/1057.20	c 1057s |      26 | 12455381 |  9205752 |     1325  17350 |        0 |        0
1058.80/1059.20	c 1059s |      26 | 12475080 |  9220252 |     1325  17371 |        0 |        0
1060.80/1061.21	c 1061s |      26 | 12500455 |  9237052 |     1325  17396 |        0 |        0
1062.80/1063.21	c 1063s |      26 | 12519091 |  9251352 |     1325  17417 |        0 |        0
1064.80/1065.23	c 1065s |      26 | 12539505 |  9266252 |     1325  17438 |        0 |        0
1066.80/1067.24	c 1067s |      26 | 12564474 |  9283152 |     1325  17463 |        0 |        0
1068.81/1069.24	c 1069s |      26 | 12584815 |  9299052 |     1325  17486 |        0 |        0
1070.80/1071.25	c 1071s |      26 | 12604205 |  9313752 |     1325  17508 |        0 |        0
1072.80/1073.26	c 1073s |      26 | 12624492 |  9328752 |     1325  17530 |        0 |        0
1074.80/1075.26	c 1075s |      26 | 12646194 |  9344452 |     1325  17553 |        0 |        0
1076.80/1077.27	c 1077s |      26 | 12667015 |  9360052 |     1325  17576 |        0 |        0
1078.80/1079.27	c 1079s |      26 | 12687830 |  9376052 |     1325  17599 |        0 |        0
1080.80/1081.28	c 1081s |      26 | 12706237 |  9390452 |     1325  17620 |        0 |        0
1082.80/1083.28	c 1083s |      26 | 12723969 |  9404252 |     1325  17640 |        0 |        0
1084.79/1085.29	c 1085s |      26 | 12743340 |  9419352 |     1325  17662 |        0 |        0
1086.79/1087.29	c 1087s |      26 | 12764165 |  9434352 |     1325  17684 |        0 |        0
1088.79/1089.29	c 1089s |      26 | 12785312 |  9450152 |     1325  17707 |        0 |        0
1090.80/1091.29	c 1091s |      26 | 12804461 |  9464952 |     1325  17729 |        0 |        0
1092.89/1093.30	c 1093s |      26 | 12825172 |  9480652 |     1325  17752 |        0 |        0
1094.89/1095.31	c 1095s |      26 | 12848227 |  9497252 |     1325  17777 |        0 |        0
1096.90/1097.32	c 1097s |      26 | 12871952 |  9514252 |     1325  17802 |        0 |        0
1098.90/1099.33	c 1099s |      26 | 12891805 |  9529252 |     1325  17823 |        0 |        0
1100.90/1101.33	c 1101s |      26 | 12913765 |  9544252 |     1325  17846 |        0 |        0
1102.91/1103.34	c 1103s |      26 | 12935786 |  9559652 |     1325  17868 |        0 |        0
1104.90/1105.35	c 1105s |      26 | 12957759 |  9574952 |     1325  17891 |        0 |        0
1106.90/1107.37	c 1107s |      26 | 12982429 |  9591652 |     1325  17915 |        0 |        0
1108.90/1109.37	c 1109s |      26 | 13003969 |  9607452 |     1325  17938 |        0 |        0
1110.90/1111.38	c 1111s |      26 | 13027935 |  9623552 |     1325  17962 |        0 |        0
1112.90/1113.39	c 1113s |      26 | 13054006 |  9640352 |     1325  17987 |        0 |        0
1114.89/1115.40	c 1115s |      26 | 13082092 |  9658452 |     1325  18014 |        0 |        0
1116.99/1117.41	c 1117s |      26 | 13107084 |  9675152 |     1325  18038 |        0 |        0
1118.99/1119.41	c 1119s |      26 | 13126477 |  9689052 |     1325  18059 |        0 |        0
1120.99/1121.41	c 1121s |      26 | 13145172 |  9703152 |     1325  18080 |        0 |        0
1122.99/1123.42	c 1123s |      26 | 13166656 |  9718752 |     1325  18103 |        0 |        0
1124.99/1125.43	c 1125s |      26 | 13191311 |  9735352 |     1325  18127 |        0 |        0
1127.00/1127.44	c 1127s |      26 | 13215018 |  9751752 |     1325  18151 |        0 |        0
1129.00/1129.45	c 1129s |      26 | 13236190 |  9767152 |     1325  18174 |        0 |        0
1131.00/1131.46	c 1131s |      26 | 13259354 |  9783152 |     1325  18197 |        0 |        0
1132.99/1133.46	c 1133s |      26 | 13286095 |  9800552 |     1325  18223 |        0 |        0
1134.99/1135.47	c 1135s |      26 | 13310109 |  9817252 |     1325  18248 |        0 |        0
1137.00/1137.48	c 1137s |      26 | 13335956 |  9835052 |     1325  18274 |        0 |        0
1138.99/1139.49	c 1139s |      26 | 13357602 |  9851352 |     1325  18298 |        0 |        0
1141.09/1141.50	c 1141s |      26 | 13378795 |  9866652 |     1325  18320 |        0 |        0
1143.09/1143.50	c 1143s |      26 | 13400546 |  9882252 |     1325  18343 |        0 |        0
1145.09/1145.51	c 1145s |      26 | 13422015 |  9897752 |     1325  18366 |        0 |        0
1147.09/1147.52	c 1147s |      26 | 13445632 |  9914352 |     1325  18391 |        0 |        0
1149.10/1149.52	c 1149s |      26 | 13470101 |  9931052 |     1325  18415 |        0 |        0
1151.09/1151.53	c 1151s |      26 | 13493677 |  9947352 |     1325  18439 |        0 |        0
1153.09/1153.53	c 1153s |      26 | 13515111 |  9962752 |     1325  18462 |        0 |        0
1155.09/1155.54	c 1155s |      26 | 13540890 |  9980452 |     1325  18488 |        0 |        0
1157.09/1157.55	c 1157s |      26 | 13561163 |  9995152 |     1325  18510 |        0 |        0
1159.10/1159.56	c 1159s |      26 | 13581535 | 10009952 |     1325  18532 |        0 |        0
1161.09/1161.57	c 1161s |      26 | 13602923 | 10025352 |     1325  18554 |        0 |        0
1163.09/1163.57	c 1163s |      26 | 13623768 | 10040852 |     1325  18577 |        0 |        0
1165.09/1165.58	c 1165s |      26 | 13644490 | 10056252 |     1325  18600 |        0 |        0
1167.09/1167.58	c 1167s |      26 | 13670352 | 10073752 |     1325  18626 |        0 |        0
1169.09/1169.59	c 1169s |      26 | 13695047 | 10091152 |     1325  18651 |        0 |        0
1171.09/1171.60	c 1171s |      26 | 13719717 | 10108852 |     1325  18677 |        0 |        0
1173.18/1173.60	c 1173s |      26 | 13744480 | 10126252 |     1325  18703 |        0 |        0
1175.18/1175.61	c 1175s |      26 | 13769291 | 10142552 |     1325  18727 |        0 |        0
1177.18/1177.62	c 1177s |      26 | 13793700 | 10159052 |     1325  18751 |        0 |        0
1179.18/1179.62	c 1179s |      26 | 13817784 | 10176052 |     1325  18775 |        0 |        0
1181.18/1181.63	c 1181s |      26 | 13841083 | 10192052 |     1325  18799 |        0 |        0
1183.19/1183.63	c 1183s |      26 | 13865192 | 10209052 |     1325  18824 |        0 |        0
1185.18/1185.64	c 1185s |      26 | 13888271 | 10225552 |     1325  18848 |        0 |        0
1187.18/1187.64	c 1187s |      26 | 13910753 | 10241852 |     1325  18872 |        0 |        0
1189.18/1189.65	c 1189s |      26 | 13934819 | 10258352 |     1325  18896 |        0 |        0
1191.18/1191.65	c 1191s |      26 | 13959818 | 10275352 |     1325  18921 |        0 |        0
1193.19/1193.66	c 1193s |      26 | 13983294 | 10291452 |     1325  18944 |        0 |        0
1195.18/1195.66	c 1195s |      26 | 14007856 | 10307752 |     1325  18968 |        0 |        0
1197.18/1197.68	c 1197s |      26 | 14031916 | 10324252 |     1325  18993 |        0 |        0
1199.18/1199.68	c 1199s |      26 | 14057335 | 10340852 |     1325  19017 |        0 |        0
1201.18/1201.68	c 1201s |      26 | 14078304 | 10355952 |     1325  19039 |        0 |        0
1203.18/1203.68	c 1203s |      26 | 14099526 | 10371052 |     1325  19061 |        0 |        0
1205.18/1205.69	c 1205s |      26 | 14124772 | 10387552 |     1325  19085 |        0 |        0
1207.18/1207.69	c 1207s |      26 | 14149922 | 10405552 |     1325  19112 |        0 |        0
1209.18/1209.70	c 1209s |      26 | 14173205 | 10422352 |     1325  19136 |        0 |        0
1211.27/1211.70	c 1211s |      26 | 14196239 | 10439352 |     1325  19161 |        0 |        0
1213.27/1213.70	c 1213s |      26 | 14219375 | 10456452 |     1325  19186 |        0 |        0
1215.27/1215.71	c 1215s |      26 | 14244657 | 10473752 |     1325  19212 |        0 |        0
1217.28/1217.71	c 1217s |      26 | 14267208 | 10489652 |     1325  19235 |        0 |        0
1219.27/1219.71	c 1219s |      26 | 14291368 | 10506352 |     1325  19260 |        0 |        0
1221.27/1221.72	c 1221s |      26 | 14313511 | 10522752 |     1325  19284 |        0 |        0
1223.27/1223.72	c 1223s |      26 | 14335512 | 10538652 |     1325  19307 |        0 |        0
1225.27/1225.74	c 1225s |      26 | 14362027 | 10555952 |     1325  19333 |        0 |        0
1227.28/1227.74	c 1227s |      26 | 14385366 | 10571752 |     1325  19356 |        0 |        0
1229.27/1229.76	c 1229s |      26 | 14410777 | 10589052 |     1325  19382 |        0 |        0
1231.28/1231.76	c 1231s |      26 | 14435609 | 10605852 |     1325  19407 |        0 |        0
1233.28/1233.76	c 1233s |      26 | 14459199 | 10622252 |     1325  19431 |        0 |        0
1235.28/1235.76	c 1235s |      26 | 14484077 | 10638952 |     1325  19456 |        0 |        0
1237.28/1237.77	c 1237s |      26 | 14508801 | 10656052 |     1325  19481 |        0 |        0
1239.28/1239.77	c 1239s |      26 | 14533688 | 10672552 |     1325  19505 |        0 |        0
1241.28/1241.78	c 1241s |      26 | 14556900 | 10688652 |     1325  19529 |        0 |        0
1243.28/1243.79	c 1243s |      26 | 14580704 | 10704952 |     1325  19553 |        0 |        0
1245.28/1245.79	c 1245s |      26 | 14605504 | 10721352 |     1325  19577 |        0 |        0
1247.28/1247.79	c 1247s |      26 | 14629668 | 10737552 |     1325  19601 |        0 |        0
1249.38/1249.80	c 1249s |      26 | 14654756 | 10754252 |     1325  19626 |        0 |        0
1251.38/1251.81	c 1251s |      26 | 14680400 | 10771552 |     1325  19652 |        0 |        0
1253.37/1253.82	c 1253s |      26 | 14705612 | 10788352 |     1325  19677 |        0 |        0
1255.37/1255.82	c 1255s |      26 | 14729907 | 10804752 |     1325  19701 |        0 |        0
1257.37/1257.83	c 1257s |      26 | 14754837 | 10821052 |     1325  19725 |        0 |        0
1259.37/1259.84	c 1259s |      26 | 14777809 | 10837752 |     1325  19749 |        0 |        0
1261.38/1261.84	c 1261s |      26 | 14801342 | 10854052 |     1325  19773 |        0 |        0
1263.37/1263.85	c 1263s |      26 | 14826193 | 10870252 |     1325  19797 |        0 |        0
1265.37/1265.85	c 1265s |      26 | 14854328 | 10887652 |     1325  19823 |        0 |        0
1267.37/1267.86	c 1267s |      26 | 14882130 | 10905152 |     1325  19849 |        0 |        0
1269.37/1269.87	c 1269s |      26 | 14903127 | 10920552 |     1325  19871 |        0 |        0
1271.37/1271.87	c 1271s |      26 | 14926972 | 10936852 |     1325  19895 |        0 |        0
1273.37/1273.87	c 1273s |      26 | 14951710 | 10953352 |     1325  19920 |        0 |        0
1275.37/1275.89	c 1275s |      26 | 14974165 | 10969452 |     1325  19944 |        0 |        0
1277.47/1277.90	c 1277s |      26 | 14996924 | 10985652 |     1325  19968 |        0 |        0
1279.47/1279.90	c 1279s |      26 | 15021424 | 11002152 |     1325  19992 |        0 |        0
1281.46/1281.91	c 1281s |      26 | 15047761 | 11019052 |     1325  20017 |        0 |        0
1283.47/1283.91	c 1283s |      26 | 15072292 | 11035352 |     1325  20041 |        0 |        0
1285.48/1285.92	c 1285s |      26 | 15094077 | 11050952 |     1325  20064 |        0 |        0
1287.47/1287.93	c 1287s |      26 | 15117064 | 11066752 |     1325  20087 |        0 |        0
1289.47/1289.93	c 1289s |      26 | 15140430 | 11082952 |     1325  20111 |        0 |        0
1291.47/1291.95	c 1291s |      26 | 15165313 | 11099452 |     1325  20136 |        0 |        0
1293.47/1293.95	c 1293s |      26 | 15185708 | 11114852 |     1325  20158 |        0 |        0
1295.47/1295.95	c 1295s |      26 | 15212427 | 11132152 |     1325  20184 |        0 |        0
1297.47/1297.95	c 1297s |      26 | 15238680 | 11149252 |     1325  20209 |        0 |        0
1299.47/1299.96	c 1299s |      26 | 15263957 | 11165852 |     1325  20233 |        0 |        0
1301.47/1301.96	c 1301s |      26 | 15289800 | 11182552 |     1325  20258 |        0 |        0
1303.46/1303.97	c 1303s |      26 | 15315352 | 11199052 |     1325  20282 |        0 |        0
1305.46/1305.97	c 1305s |      26 | 15338823 | 11214652 |     1325  20305 |        0 |        0
1307.47/1307.98	c 1307s |      26 | 15361314 | 11230252 |     1325  20328 |        0 |        0
1309.56/1310.00	c 1309s |      26 | 15385341 | 11246352 |     1325  20352 |        0 |        0
1311.56/1312.00	c 1311s |      26 | 15407581 | 11262052 |     1325  20375 |        0 |        0
1313.56/1314.00	c 1313s |      26 | 15432129 | 11278552 |     1325  20400 |        0 |        0
1315.56/1316.01	c 1315s |      26 | 15459274 | 11296052 |     1325  20425 |        0 |        0
1317.56/1318.02	c 1318s |      26 | 15483725 | 11312152 |     1325  20449 |        0 |        0
1319.57/1320.02	c 1320s |      26 | 15506258 | 11327052 |     1458  20470 |        0 |        0
1321.56/1322.02	c 1322s |      26 | 15529486 | 11342952 |     1458  20491 |        0 |        0
1323.56/1324.03	c 1324s |      26 | 15553940 | 11359352 |     1458  20513 |        0 |        0
1325.56/1326.03	c 1326s |      26 | 15579995 | 11375952 |     1458  20536 |        0 |        0
1327.56/1328.04	c 1328s |      26 | 15607560 | 11393552 |     1458  20559 |        0 |        0
1327.96/1328.42	c 1328s |      27 | 15612501 | 11396733 |     1458  20563 |        0 |        0
1329.96/1330.43	c 1330s |      27 | 15633794 | 11412533 |     1458  20584 |        0 |        0
1331.96/1332.44	c 1332s |      27 | 15654806 | 11428433 |     1458  20606 |        0 |        0
1333.96/1334.45	c 1334s |      27 | 15675225 | 11443833 |     1458  20626 |        0 |        0
1335.96/1336.46	c 1336s |      27 | 15694484 | 11458533 |     1458  20646 |        0 |        0
1337.96/1338.47	c 1338s |      27 | 15713501 | 11473633 |     1458  20666 |        0 |        0
1339.95/1340.48	c 1340s |      27 | 15733943 | 11489033 |     1458  20686 |        0 |        0
1341.95/1342.48	c 1342s |      27 | 15755235 | 11504933 |     1458  20707 |        0 |        0
1343.96/1344.49	c 1344s |      27 | 15776300 | 11521333 |     1458  20729 |        0 |        0
1345.97/1346.50	c 1346s |      27 | 15797525 | 11537233 |     1458  20750 |        0 |        0
1348.06/1348.51	c 1348s |      27 | 15816995 | 11552033 |     1458  20770 |        0 |        0
1350.06/1350.52	c 1350s |      27 | 15836458 | 11566633 |     1458  20789 |        0 |        0
1352.06/1352.53	c 1352s |      27 | 15856547 | 11582133 |     1458  20810 |        0 |        0
1354.06/1354.53	c 1354s |      27 | 15877816 | 11597933 |     1458  20831 |        0 |        0
1356.06/1356.54	c 1356s |      27 | 15898419 | 11613633 |     1458  20852 |        0 |        0
1358.07/1358.54	c 1358s |      27 | 15917628 | 11628633 |     1458  20872 |        0 |        0
1360.06/1360.55	c 1360s |      27 | 15933683 | 11641433 |     1458  20888 |        0 |        0
1362.06/1362.56	c 1362s |      27 | 15954788 | 11656733 |     1458  20909 |        0 |        0
1364.06/1364.56	c 1364s |      27 | 15974140 | 11670733 |     1458  20928 |        0 |        0
1366.06/1366.56	c 1366s |      27 | 15995211 | 11686433 |     1458  20949 |        0 |        0
1368.06/1368.58	c 1368s |      27 | 16016377 | 11702333 |     1458  20970 |        0 |        0
1370.05/1370.58	c 1370s |      27 | 16035093 | 11716933 |     1458  20989 |        0 |        0
1372.15/1372.60	c 1372s |      27 | 16054512 | 11731733 |     1458  21008 |        0 |        0
1374.15/1374.60	c 1374s |      27 | 16073893 | 11746133 |     1458  21027 |        0 |        0
1376.15/1376.61	c 1376s |      27 | 16091185 | 11759833 |     1458  21046 |        0 |        0
1378.15/1378.62	c 1378s |      27 | 16108120 | 11773233 |     1458  21064 |        0 |        0
1380.16/1380.63	c 1380s |      27 | 16126858 | 11787533 |     1458  21083 |        0 |        0
1382.15/1382.64	c 1382s |      27 | 16145253 | 11801533 |     1458  21101 |        0 |        0
1384.15/1384.65	c 1384s |      27 | 16166088 | 11817133 |     1458  21122 |        0 |        0
1386.15/1386.65	c 1386s |      27 | 16186983 | 11832733 |     1458  21143 |        0 |        0
1388.15/1388.67	c 1388s |      27 | 16208142 | 11848133 |     1458  21163 |        0 |        0
1390.15/1390.69	c 1390s |      27 | 16226196 | 11861733 |     1458  21182 |        0 |        0
1392.16/1392.69	c 1392s |      27 | 16245411 | 11876233 |     1458  21201 |        0 |        0
1394.25/1394.70	c 1394s |      27 | 16266335 | 11891733 |     1458  21222 |        0 |        0
1396.25/1396.71	c 1396s |      27 | 16285414 | 11906633 |     1458  21242 |        0 |        0
1398.25/1398.72	c 1398s |      27 | 16303242 | 11920633 |     1458  21260 |        0 |        0
1400.25/1400.73	c 1400s |      27 | 16320051 | 11934233 |     1458  21278 |        0 |        0
1402.25/1402.74	c 1402s |      27 | 16337259 | 11947533 |     1458  21296 |        0 |        0
1404.25/1404.74	c 1404s |      27 | 16357631 | 11962933 |     1458  21316 |        0 |        0
1406.25/1406.74	c 1406s |      27 | 16376092 | 11977433 |     1458  21335 |        0 |        0
1408.25/1408.76	c 1408s |      27 | 16395402 | 11992333 |     1458  21355 |        0 |        0
1410.25/1410.76	c 1410s |      27 | 16415393 | 12007733 |     1458  21375 |        0 |        0
1412.25/1412.77	c 1412s |      27 | 16435060 | 12023033 |     1458  21396 |        0 |        0
1414.25/1414.77	c 1414s |      27 | 16456520 | 12038933 |     1458  21417 |        0 |        0
1416.24/1416.77	c 1416s |      27 | 16476018 | 12053433 |     1458  21437 |        0 |        0
1418.24/1418.77	c 1418s |      27 | 16495191 | 12067833 |     1458  21456 |        0 |        0
1420.24/1420.78	c 1420s |      27 | 16513878 | 12081733 |     1458  21475 |        0 |        0
1422.24/1422.78	c 1422s |      27 | 16533131 | 12095933 |     1458  21494 |        0 |        0
1424.24/1424.79	c 1424s |      27 | 16551757 | 12110033 |     1458  21513 |        0 |        0
1426.35/1426.80	c 1426s |      27 | 16571942 | 12125333 |     1458  21533 |        0 |        0
1428.34/1428.82	c 1428s |      27 | 16590319 | 12139633 |     1458  21552 |        0 |        0
1430.34/1430.83	c 1430s |      27 | 16610171 | 12154533 |     1458  21573 |        0 |        0
1432.34/1432.84	c 1432s |      27 | 16630154 | 12169233 |     1458  21592 |        0 |        0
1434.34/1434.85	c 1434s |      27 | 16649185 | 12183833 |     1458  21612 |        0 |        0
1436.34/1436.86	c 1436s |      27 | 16671033 | 12199333 |     1458  21633 |        0 |        0
1438.35/1438.87	c 1438s |      27 | 16692082 | 12214733 |     1458  21653 |        0 |        0
1440.34/1440.87	c 1440s |      27 | 16713120 | 12230433 |     1458  21675 |        0 |        0
1442.34/1442.87	c 1442s |      27 | 16735306 | 12246433 |     1458  21696 |        0 |        0
1444.35/1444.88	c 1444s |      27 | 16756470 | 12262533 |     1458  21718 |        0 |        0
1446.35/1446.88	c 1446s |      27 | 16776890 | 12278533 |     1458  21739 |        0 |        0
1448.35/1448.89	c 1448s |      27 | 16798086 | 12294433 |     1458  21761 |        0 |        0
1450.35/1450.90	c 1450s |      27 | 16819454 | 12310833 |     1458  21783 |        0 |        0
1452.44/1452.91	c 1452s |      27 | 16840229 | 12326433 |     1458  21804 |        0 |        0
1454.44/1454.92	c 1454s |      27 | 16860192 | 12341833 |     1458  21825 |        0 |        0
1456.44/1456.93	c 1456s |      27 | 16879690 | 12356733 |     1458  21845 |        0 |        0
1458.44/1458.94	c 1458s |      27 | 16897687 | 12370833 |     1458  21864 |        0 |        0
1460.45/1460.95	c 1460s |      27 | 16916117 | 12385233 |     1458  21883 |        0 |        0
1462.44/1462.95	c 1462s |      27 | 16938761 | 12401633 |     1458  21905 |        0 |        0
1464.44/1464.96	c 1464s |      27 | 16960084 | 12417133 |     1458  21926 |        0 |        0
1466.44/1466.97	c 1466s |      27 | 16981406 | 12433033 |     1458  21947 |        0 |        0
1468.44/1468.97	c 1468s |      27 | 17000823 | 12448533 |     1458  21968 |        0 |        0
1470.44/1470.97	c 1470s |      27 | 17020045 | 12463933 |     1458  21988 |        0 |        0
1472.45/1472.98	c 1472s |      27 | 17038891 | 12478733 |     1458  22008 |        0 |        0
1474.44/1474.98	c 1474s |      27 | 17059765 | 12494533 |     1458  22030 |        0 |        0
1476.44/1476.98	c 1476s |      27 | 17078914 | 12509633 |     1458  22050 |        0 |        0
1478.44/1478.98	c 1478s |      27 | 17098743 | 12525033 |     1458  22071 |        0 |        0
1480.44/1480.99	c 1480s |      27 | 17119045 | 12540533 |     1458  22092 |        0 |        0
1482.44/1482.99	c 1482s |      27 | 17139365 | 12556133 |     1458  22113 |        0 |        0
1484.43/1485.00	c 1484s |      27 | 17161476 | 12573133 |     1458  22136 |        0 |        0
1486.53/1487.01	c 1486s |      27 | 17184071 | 12590233 |     1458  22159 |        0 |        0
1488.53/1489.02	c 1489s |      27 | 17205496 | 12606933 |     1458  22181 |        0 |        0
1490.53/1491.02	c 1491s |      27 | 17227179 | 12623333 |     1458  22203 |        0 |        0
1492.53/1493.02	c 1493s |      27 | 17246508 | 12638533 |     1458  22223 |        0 |        0
1494.54/1495.03	c 1495s |      27 | 17268408 | 12655433 |     1458  22246 |        0 |        0
1496.53/1497.03	c 1497s |      27 | 17291092 | 12672633 |     1458  22269 |        0 |        0
1498.53/1499.04	c 1499s |      27 | 17313078 | 12689433 |     1458  22291 |        0 |        0
1500.53/1501.05	c 1501s |      27 | 17333143 | 12705333 |     1458  22312 |        0 |        0
1502.53/1503.06	c 1503s |      27 | 17354493 | 12721233 |     1458  22333 |        0 |        0
1504.53/1505.07	c 1505s |      27 | 17374762 | 12737133 |     1458  22354 |        0 |        0
1506.54/1507.07	c 1507s |      27 | 17396018 | 12753333 |     1458  22376 |        0 |        0
1508.53/1509.07	c 1509s |      27 | 17415367 | 12768233 |     1458  22395 |        0 |        0
1510.53/1511.08	c 1511s |      27 | 17434382 | 12783333 |     1458  22415 |        0 |        0
1512.53/1513.09	c 1513s |      27 | 17453979 | 12798633 |     1458  22436 |        0 |        0
1514.53/1515.09	c 1515s |      27 | 17474500 | 12814433 |     1458  22457 |        0 |        0
1516.63/1517.11	c 1517s |      27 | 17493503 | 12829533 |     1458  22477 |        0 |        0
1518.63/1519.12	c 1519s |      27 | 17513549 | 12844833 |     1458  22497 |        0 |        0
1520.64/1521.13	c 1521s |      27 | 17533987 | 12860233 |     1458  22518 |        0 |        0
1522.64/1523.13	c 1523s |      27 | 17554822 | 12875833 |     1458  22539 |        0 |        0
1524.63/1525.13	c 1525s |      27 | 17575117 | 12891733 |     1458  22560 |        0 |        0
1526.63/1527.14	c 1527s |      27 | 17595849 | 12907533 |     1458  22581 |        0 |        0
1528.64/1529.14	c 1529s |      27 | 17616159 | 12922933 |     1458  22602 |        0 |        0
1530.63/1531.14	c 1531s |      27 | 17638145 | 12939333 |     1458  22624 |        0 |        0
1532.63/1533.15	c 1533s |      27 | 17659560 | 12955133 |     1458  22645 |        0 |        0
1534.63/1535.16	c 1535s |      27 | 17680046 | 12970333 |     1458  22665 |        0 |        0
1536.63/1537.18	c 1537s |      27 | 17701257 | 12986033 |     1458  22687 |        0 |        0
1538.63/1539.18	c 1539s |      27 | 17721787 | 13001733 |     1458  22708 |        0 |        0
1540.63/1541.19	c 1541s |      27 | 17743967 | 13017933 |     1458  22729 |        0 |        0
1542.73/1543.21	c 1543s |      27 | 17766423 | 13034433 |     1458  22752 |        0 |        0
1544.73/1545.21	c 1545s |      27 | 17788529 | 13051333 |     1458  22774 |        0 |        0
1546.72/1547.21	c 1547s |      27 | 17809052 | 13067333 |     1458  22796 |        0 |        0
1548.72/1549.22	c 1549s |      27 | 17829788 | 13083133 |     1458  22817 |        0 |        0
1550.72/1551.22	c 1551s |      27 | 17849428 | 13098133 |     1458  22837 |        0 |        0
1552.73/1553.23	c 1553s |      27 | 17868963 | 13113533 |     1458  22858 |        0 |        0
1554.72/1555.23	c 1555s |      27 | 17890385 | 13129233 |     1458  22879 |        0 |        0
1556.73/1557.24	c 1557s |      27 | 17911003 | 13145033 |     1458  22901 |        0 |        0
1558.73/1559.25	c 1559s |      27 | 17932919 | 13161533 |     1458  22923 |        0 |        0
1560.73/1561.26	c 1561s |      27 | 17955113 | 13177833 |     1458  22945 |        0 |        0
1562.73/1563.26	c 1563s |      27 | 17977994 | 13194333 |     1458  22967 |        0 |        0
1564.73/1565.27	c 1565s |      27 | 18000335 | 13210933 |     1458  22989 |        0 |        0
1566.73/1567.28	c 1567s |      27 | 18019194 | 13226133 |     1458  23010 |        0 |        0
1568.73/1569.28	c 1569s |      27 | 18039689 | 13241833 |     1458  23030 |        0 |        0
1570.73/1571.29	c 1571s |      27 | 18060671 | 13257933 |     1458  23052 |        0 |        0
1572.83/1573.30	c 1573s |      27 | 18079572 | 13272333 |     1458  23071 |        0 |        0
1574.73/1575.30	c 1575s |      27 | 18100820 | 13288733 |     1458  23092 |        0 |        0
1576.82/1577.31	c 1577s |      27 | 18121969 | 13305033 |     1458  23113 |        0 |        0
1578.82/1579.31	c 1579s |      27 | 18141970 | 13320633 |     1458  23134 |        0 |        0
1580.82/1581.32	c 1581s |      27 | 18160488 | 13335733 |     1458  23154 |        0 |        0
1582.82/1583.32	c 1583s |      27 | 18180341 | 13351033 |     1458  23174 |        0 |        0
1584.82/1585.32	c 1585s |      27 | 18201596 | 13367233 |     1458  23196 |        0 |        0
1586.82/1587.33	c 1587s |      27 | 18220083 | 13382233 |     1458  23215 |        0 |        0
1588.82/1589.34	c 1589s |      27 | 18238999 | 13396833 |     1458  23235 |        0 |        0
1590.82/1591.35	c 1591s |      27 | 18258443 | 13412033 |     1458  23255 |        0 |        0
1592.82/1593.36	c 1593s |      27 | 18276795 | 13426833 |     1458  23275 |        0 |        0
1594.82/1595.36	c 1595s |      27 | 18297178 | 13442133 |     1458  23295 |        0 |        0
1596.83/1597.36	c 1597s |      27 | 18318817 | 13457433 |     1458  23315 |        0 |        0
1598.82/1599.37	c 1599s |      27 | 18338555 | 13471633 |     1458  23333 |        0 |        0
1600.82/1601.38	c 1601s |      27 | 18358013 | 13486233 |     1458  23353 |        0 |        0
1602.82/1603.38	c 1603s |      27 | 18376180 | 13500033 |     1458  23371 |        0 |        0
1604.82/1605.39	c 1605s |      27 | 18392609 | 13513233 |     1458  23388 |        0 |        0
1606.92/1607.40	c 1607s |      27 | 18409263 | 13526333 |     1458  23406 |        0 |        0
1608.93/1609.41	c 1609s |      27 | 18426572 | 13539833 |     1458  23424 |        0 |        0
1610.92/1611.41	c 1611s |      27 | 18445917 | 13554333 |     1458  23443 |        0 |        0
1612.92/1613.42	c 1613s |      27 | 18465574 | 13568933 |     1458  23462 |        0 |        0
1614.92/1615.43	c 1615s |      27 | 18486691 | 13584033 |     1458  23482 |        0 |        0
1616.92/1617.44	c 1617s |      27 | 18509685 | 13599733 |     1458  23503 |        0 |        0
1618.92/1619.44	c 1619s |      27 | 18530824 | 13614633 |     1458  23523 |        0 |        0
1620.92/1621.45	c 1621s |      27 | 18549417 | 13628433 |     1458  23542 |        0 |        0
1622.91/1623.45	c 1623s |      27 | 18568352 | 13642833 |     1458  23561 |        0 |        0
1624.91/1625.46	c 1625s |      27 | 18586813 | 13657133 |     1458  23580 |        0 |        0
1626.91/1627.47	c 1627s |      27 | 18606089 | 13671533 |     1458  23599 |        0 |        0
1628.91/1629.47	c 1629s |      27 | 18626856 | 13686933 |     1458  23620 |        0 |        0
1630.92/1631.47	c 1631s |      27 | 18646866 | 13701633 |     1458  23639 |        0 |        0
1632.91/1633.48	c 1633s |      27 | 18664845 | 13715533 |     1458  23658 |        0 |        0
1634.91/1635.49	c 1635s |      27 | 18685204 | 13730333 |     1458  23677 |        0 |        0
1636.91/1637.49	c 1637s |      27 | 18704460 | 13744833 |     1458  23697 |        0 |        0
1639.01/1639.50	c 1639s |      27 | 18725054 | 13759933 |     1458  23717 |        0 |        0
1641.01/1641.51	c 1641s |      27 | 18744883 | 13775033 |     1458  23737 |        0 |        0
1643.02/1643.52	c 1643s |      27 | 18764875 | 13789733 |     1458  23757 |        0 |        0
1645.01/1645.52	c 1645s |      27 | 18781440 | 13802933 |     1458  23774 |        0 |        0
1647.01/1647.52	c 1647s |      27 | 18798824 | 13816833 |     1458  23793 |        0 |        0
1649.01/1649.54	c 1649s |      27 | 18821108 | 13833033 |     1458  23814 |        0 |        0
1651.01/1651.54	c 1651s |      27 | 18840972 | 13848533 |     1458  23835 |        0 |        0
1653.01/1653.54	c 1653s |      27 | 18860213 | 13863833 |     1458  23856 |        0 |        0
1655.01/1655.55	c 1655s |      27 | 18880131 | 13879433 |     1458  23876 |        0 |        0
1657.01/1657.55	c 1657s |      27 | 18900343 | 13894333 |     1458  23896 |        0 |        0
1659.01/1659.56	c 1659s |      27 | 18920997 | 13909633 |     1458  23917 |        0 |        0
1661.01/1661.57	c 1661s |      27 | 18939490 | 13923833 |     1458  23936 |        0 |        0
1663.01/1663.58	c 1663s |      27 | 18960970 | 13939533 |     1458  23957 |        0 |        0
1665.02/1665.59	c 1665s |      27 | 18980090 | 13954133 |     1458  23976 |        0 |        0
1667.01/1667.60	c 1667s |      27 | 19000390 | 13969033 |     1458  23996 |        0 |        0
1669.11/1669.60	c 1669s |      27 | 19020734 | 13983733 |     1458  24016 |        0 |        0
1671.11/1671.61	c 1671s |      27 | 19039216 | 13997233 |     1458  24034 |        0 |        0
1673.11/1673.61	c 1673s |      27 | 19059119 | 14011933 |     1458  24054 |        0 |        0
1675.11/1675.63	c 1675s |      27 | 19079051 | 14026033 |     1458  24073 |        0 |        0
1677.12/1677.63	c 1677s |      27 | 19100186 | 14040933 |     1458  24093 |        0 |        0
1679.11/1679.64	c 1679s |      27 | 19119939 | 14055033 |     1458  24112 |        0 |        0
1681.11/1681.65	c 1681s |      27 | 19140542 | 14069733 |     1458  24131 |        0 |        0
1683.11/1683.65	c 1683s |      27 | 19162182 | 14084733 |     1458  24151 |        0 |        0
1685.11/1685.65	c 1685s |      27 | 19182659 | 14099833 |     1458  24171 |        0 |        0
1687.10/1687.66	c 1687s |      27 | 19202620 | 14114733 |     1458  24191 |        0 |        0
1689.11/1689.66	c 1689s |      27 | 19222510 | 14129333 |     1458  24210 |        0 |        0
1691.10/1691.66	c 1691s |      27 | 19243257 | 14145033 |     1458  24232 |        0 |        0
1693.10/1693.67	c 1693s |      27 | 19262687 | 14160333 |     1458  24252 |        0 |        0
1695.10/1695.67	c 1695s |      27 | 19282922 | 14175533 |     1458  24273 |        0 |        0
1697.10/1697.67	c 1697s |      27 | 19301264 | 14189533 |     1458  24292 |        0 |        0
1699.11/1699.68	c 1699s |      27 | 19319758 | 14203733 |     1458  24311 |        0 |        0
1701.11/1701.68	c 1701s |      27 | 19338273 | 14217833 |     1458  24330 |        0 |        0
1703.11/1703.69	c 1703s |      27 | 19357277 | 14231933 |     1458  24348 |        0 |        0
1705.11/1705.69	c 1705s |      27 | 19378434 | 14247433 |     1458  24369 |        0 |        0
1707.11/1707.69	c 1707s |      27 | 19399023 | 14262033 |     1458  24388 |        0 |        0
1709.21/1709.70	c 1709s |      27 | 19417556 | 14276433 |     1458  24407 |        0 |        0
1711.11/1711.70	c 1711s |      27 | 19435429 | 14290133 |     1458  24426 |        0 |        0
1713.21/1713.70	c 1713s |      27 | 19454611 | 14304233 |     1458  24444 |        0 |        0
1715.21/1715.71	c 1715s |      27 | 19474178 | 14318533 |     1458  24463 |        0 |        0
1717.21/1717.72	c 1717s |      27 | 19492780 | 14332733 |     1458  24482 |        0 |        0
1719.21/1719.73	c 1719s |      27 | 19511286 | 14346533 |     1458  24501 |        0 |        0
1721.21/1721.73	c 1721s |      27 | 19530256 | 14361133 |     1458  24520 |        0 |        0
1723.21/1723.75	c 1723s |      27 | 19547994 | 14374633 |     1458  24538 |        0 |        0
1725.20/1725.75	c 1725s |      27 | 19565922 | 14388233 |     1458  24556 |        0 |        0
1727.20/1727.77	c 1727s |      27 | 19583831 | 14401733 |     1458  24574 |        0 |        0
1729.20/1729.78	c 1729s |      27 | 19601195 | 14414833 |     1458  24592 |        0 |        0
1731.20/1731.78	c 1731s |      27 | 19620325 | 14429233 |     1458  24611 |        0 |        0
1733.21/1733.78	c 1733s |      27 | 19637815 | 14442933 |     1458  24629 |        0 |        0
1735.20/1735.79	c 1735s |      27 | 19654874 | 14456533 |     1458  24647 |        0 |        0
1737.20/1737.79	c 1737s |      27 | 19671088 | 14469633 |     1458  24665 |        0 |        0
1739.30/1739.80	c 1739s |      27 | 19688100 | 14483033 |     1458  24682 |        0 |        0
1741.30/1741.82	c 1741s |      27 | 19708146 | 14498333 |     1458  24703 |        0 |        0
1743.30/1743.83	c 1743s |      27 | 19727667 | 14513033 |     1458  24722 |        0 |        0
1745.31/1745.84	c 1745s |      27 | 19747001 | 14527433 |     1458  24741 |        0 |        0
1747.30/1747.85	c 1747s |      27 | 19766253 | 14541933 |     1458  24761 |        0 |        0
1749.30/1749.85	c 1749s |      27 | 19785180 | 14555733 |     1458  24779 |        0 |        0
1751.29/1751.86	c 1751s |      27 | 19804363 | 14569533 |     1458  24797 |        0 |        0
1753.29/1753.87	c 1753s |      27 | 19822583 | 14582733 |     1458  24815 |        0 |        0
1755.29/1755.88	c 1755s |      27 | 19841563 | 14596433 |     1458  24833 |        0 |        0
1757.30/1757.88	c 1757s |      27 | 19861601 | 14611133 |     1458  24853 |        0 |        0
1759.29/1759.89	c 1759s |      27 | 19881079 | 14625833 |     1458  24873 |        0 |        0
1761.39/1761.90	c 1761s |      27 | 19899035 | 14639533 |     1458  24891 |        0 |        0
1763.39/1763.91	c 1763s |      27 | 19915727 | 14652633 |     1458  24909 |        0 |        0
1765.39/1765.92	c 1765s |      27 | 19936451 | 14667633 |     1458  24929 |        0 |        0
1767.39/1767.93	c 1767s |      27 | 19958419 | 14683333 |     1458  24951 |        0 |        0
1769.40/1769.93	c 1769s |      27 | 19979230 | 14698233 |     1458  24970 |        0 |        0
1771.39/1771.95	c 1771s |      27 | 19998793 | 14712333 |     1458  24989 |        0 |        0
1773.40/1773.96	c 1773s |      27 | 20019747 | 14727433 |     1458  25010 |        0 |        0
1775.40/1775.97	c 1775s |      27 | 20038573 | 14741933 |     1458  25029 |        0 |        0
1777.40/1777.97	c 1777s |      27 | 20060350 | 14757833 |     1458  25050 |        0 |        0
1779.40/1779.97	c 1779s |      27 | 20081533 | 14773533 |     1458  25071 |        0 |        0
1781.40/1781.97	c 1781s |      27 | 20101398 | 14788433 |     1458  25091 |        0 |        0
1783.39/1783.98	c 1783s |      27 | 20121721 | 14803333 |     1458  25111 |        0 |        0
1785.39/1785.98	c 1785s |      27 | 20144190 | 14818833 |     1458  25132 |        0 |        0
1787.39/1787.98	c 1787s |      27 | 20168632 | 14834933 |     1458  25153 |        0 |        0
1789.39/1789.98	c 1789s |      27 | 20190670 | 14850533 |     1458  25174 |        0 |        0
1791.40/1791.98	c 1791s |      27 | 20210087 | 14864433 |     1458  25193 |        0 |        0
1793.39/1793.99	c 1793s |      27 | 20231623 | 14879533 |     1458  25213 |        0 |        0
1795.49/1796.00	c 1795s |      27 | 20251162 | 14894133 |     1458  25232 |        0 |        0
1797.49/1798.01	c 1798s |      27 | 20273149 | 14909533 |     1458  25253 |        0 |        0
1799.49/1800.02	c 1800s |      27 | 20295027 | 14925433 |     1458  25274 |        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-4096064-1466101769/watcher-4096064-1466101769 -o /tmp/evaluation-result-4096064-1466101769/solver-4096064-1466101769 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096064-1466101769.opb 

pid=29064
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.17 2.14 2.09 3/179 29067
/proc/meminfo: memFree=30360120/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 2821 0 0 0 0 0 0 0 20 0 4 0 12222335 772206592 2670 33554432000 4194304 16246674 140734348905408 140734348904832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 189295 2679 441 2943 0 186189 0
[pid=29067/tid=29068] ppid=29064 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 788983808 2733 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 794226688 2752 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222335 798420992 2770 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.17 2.14 2.09 3/179 29067
/proc/meminfo: memFree=30360120/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 24930 0 0 0 6 3 0 0 20 0 4 0 12222335 1247350784 24769 33554432000 4194304 16246674 140734348905408 140734348904832 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 304529 24775 711 2943 0 301423 0
[pid=29067/tid=29068] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 24780 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 24786 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 24792 33554432000 4194304 16246674 140734348905408 140447595875504 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.200511 s]
/proc/loadavg: 2.17 2.14 2.09 3/179 29067
/proc/meminfo: memFree=30360120/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 47237 0 0 0 13 6 0 0 20 0 4 0 12222335 1247350784 47075 33554432000 4194304 16246674 140734348905408 140734348904832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 304529 47083 711 2943 0 301423 0
[pid=29067/tid=29068] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 47089 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 47099 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 47105 33554432000 4194304 16246674 140734348905408 140447595875504 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.300414 s]
/proc/loadavg: 2.17 2.14 2.09 3/179 29067
/proc/meminfo: memFree=30360120/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 69792 0 0 0 19 10 0 0 20 0 4 0 12222335 1247350784 69631 33554432000 4194304 16246674 140734348905408 140734348904832 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 304529 69640 711 2943 0 301423 0
[pid=29067/tid=29068] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 69646 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 69654 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 69662 33554432000 4194304 16246674 140734348905408 140447595875504 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.700352 s]
/proc/loadavg: 2.17 2.14 2.09 3/179 29067
/proc/meminfo: memFree=30360120/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 162311 0 0 0 47 22 0 0 20 0 4 0 12222335 1247350784 162149 33554432000 4194304 16246674 140734348905408 140734348887296 6021174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 304529 162161 712 2943 0 301423 0
[pid=29067/tid=29068] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 162167 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 162176 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 162181 33554432000 4194304 16246674 140734348905408 140447595875504 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.50041 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 29071
/proc/meminfo: memFree=29379232/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 245521 0 0 0 115 34 0 0 20 0 4 0 12222335 1247350784 245339 33554432000 4194304 16246674 140734348905408 140734348888408 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 304529 245339 787 2943 0 301423 0
[pid=29067/tid=29068] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 245339 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 245339 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1247350784 245339 33554432000 4194304 16246674 140734348905408 140447595875504 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) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 29071
/proc/meminfo: memFree=29291688/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267410 0 0 0 272 37 0 0 20 0 4 0 12222335 1337528320 267228 33554432000 4194304 16246674 140734348905408 140734348888408 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267228 787 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267228 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267228 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267228 33554432000 4194304 16246674 140734348905408 140447595875504 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.30042 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 29120
/proc/meminfo: memFree=29624368/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267459 0 0 0 592 37 0 0 20 0 4 0 12222335 1337528320 267277 33554432000 4194304 16246674 140734348905408 140734348888408 13954417 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267277 787 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267277 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267277 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267277 33554432000 4194304 16246674 140734348905408 140447595875504 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.13 2.13 2.09 3/183 29120
/proc/meminfo: memFree=29292000/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267483 0 0 0 1232 37 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140734348887296 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267301 787 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447595875504 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.11 2.12 2.08 3/183 29120
/proc/meminfo: memFree=29291584/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267483 0 0 0 2512 37 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140734348888408 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267301 787 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267301 33554432000 4194304 16246674 140734348905408 140447595875504 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.15 2.13 2.09 3/184 29123
/proc/meminfo: memFree=29290044/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267493 0 0 0 5070 38 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140734348888408 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267566 789 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 29125
/proc/meminfo: memFree=29289200/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 267514 0 0 0 10188 39 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140734348888408 6021016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326545 267566 789 2943 0 323439 0
[pid=29067/tid=29068] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1337528320 267566 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 29154
/proc/meminfo: memFree=29282640/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1301.87 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 130122 65 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 5722972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.14 2.07 2.05 3/183 29156
/proc/meminfo: memFree=29282404/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1361.86 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 136120 66 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.17 2.10 2.06 3/183 29157
/proc/meminfo: memFree=29282400/32872528 swapFree=496360/529064
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1421.85 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 142119 66 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 5823435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/183 29158
/proc/meminfo: memFree=29282516/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1481.83 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 148116 67 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 2.06 4/183 29159
/proc/meminfo: memFree=29282252/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1541.83 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 154115 68 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.17 2.12 2.07 3/183 29160
/proc/meminfo: memFree=29282228/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 160112 70 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348904584 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.06 2.10 2.07 3/183 29162
/proc/meminfo: memFree=29282200/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1661.81 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 166110 71 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348887296 5860812 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.07 3/183 29163
/proc/meminfo: memFree=29282184/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1721.81 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 172109 72 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348887296 5827988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.09 2.09 2.07 3/183 29164
/proc/meminfo: memFree=29281556/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 178107 73 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 5675905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.08 2.07 3/183 29164
/proc/meminfo: memFree=29281808/32872528 swapFree=496356/529060
[pid=29067] ppid=29064 vsize=1307204 CPUtime=1800.09 cores=1,3,5,7
/proc/29067/stat : 29067 (toysat) R 29064 29067 28709 0 -1 4202496 268150 0 0 0 179936 73 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140734348888408 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29067/statm: 326801 267875 791 2943 0 323695 0
[pid=29067/tid=29068] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29068/stat : 29068 (toysat) S 29064 29067 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447616838896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29067/tid=29069] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29069/stat : 29069 (toysat) S 29064 29067 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447606349040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29067/tid=29070] ppid=29064 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29067/task/29070/stat : 29070 (toysat) S 29064 29067 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222335 1338576896 267875 33554432000 4194304 16246674 140734348905408 140447595875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.37
CPU system time (s): 0.734888
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.734888
maximum resident set size= 1071500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268150
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= 364
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43633 second user time and 7.08592 second system time

The end

Begin job on node141 at 2016-06-16 20:29:29
IDJOB=4096064
IDBENCH=107561
IDSOLVER=2542
FILE ID=node141/4096064-1466101769
RUNJOBID= node141-1466098167-28726
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= b8fad98e8ee12f32e7e2a42d6961ccef
RANDOM SEED=2139861186

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.55
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.547
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30360376 kB
Buffers:           50188 kB
Cached:           151868 kB
SwapCached:         2880 kB
Active:          1199028 kB
Inactive:          81220 kB
Active(anon):    1078252 kB
Inactive(anon):     2156 kB
Active(file):     120776 kB
Inactive(file):    79064 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       1682860 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             569928 kB
SReclaimable:      13900 kB
SUnreclaim:       556028 kB
KernelStack:        1520 kB
PageTables:         7176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1747832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 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= 71696 MiB
End job on node141 at 2016-06-16 20:59:30