0.00/0.00	c 2016-06-16T20:34:51+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-4096106-1466102091.opb"]
0.00/0.01	c use --random-gen="1946113633 667030553 49075368 2015867660 1913986745 920266799 244499671 3620784942 3545076933 3489940434 236850107 1764974294 4243264175 1396862478 503552022 1548321090 3746889071 2512587897 2000870702 204076264 360156351 2578313969 2969118419 2763994383 1746637426 3068856935 1075965474 1580272511 2885301217 4112711135 2222531125 2540518459 743978388 3293968312 3253045628 4122176864 3580490325 2863978894 3071270878 1828477192 1917043535 1885585855 3703763493 433153130 3583901711 3844102246 1123305413 4033831187 184456593 4056655494 1851389036 1561561064 2243428441 3664990253 1242082533 2739097662 1280444112 1549832736 786844523 1059793780 223335556 3795131139 1963236206 1641419062 2604123810 3136052920 212275288 1422277676 819030320 1544419884 117211517 3513017152 2018405322 2438780142 617721345 4216128119 3188718770 3431167001 2519656335 3315536961 804189871 2563819110 3115876044 1844163015 2786573257 3624776825 2600475830 2490127431 3881864444 72416800 183302538 105670794 90559243 2785003922 292440809 4134697517 2063822400 2865631049 306031433 2835019388 3201425834 3409502057 3779382318 2275831274 1861100139 2350894774 685152111 1513254189 3521569602 2259526543 253159381 4225250448 1677143318 3045002730 3626943685 3918304417 2613313917 3376871747 235784029 318522314 4148021499 646469309 913406072 995712405 995643958 3826984852 1207354328 4065699020 3465751343 1105905056 4104987342 3709621190 1917401076 2623278059 3588802244 965341487 1542043296 1834375696 3555155952 734362686 1059582037 3743940339 2828112246 1871244565 2321693061 421392827 849296207 3293896180 2207258374 1664255144 3782435276 2037214219 3569176824 3355060231 3424521995 3353505095 1518675899 2140322655 461797806 3250273100 3221665793 3634101542 2793057251 2594288378 947613379 1877892566 1795945655 1845102332 1256133656 962414539 3869410640 2965979907 740424427 3256360537 1815172313 1161203875 1089193595 211036000 3026075826 1604635912 4167343246 1312097836 3183419925 1080755895 3703797938 2446216827 1724161973 2549815612 1786810859 1295651051 630580116 3616505506 4131319581 3672082411 1414533424 3051733956 3667761273 3758835083 1789869408 1066043730 234260517 1067955753 2320917147 1347309076 472312452 2622884061 3850040279 3267712087 3227574539 1025212672 847719774 1398139555 433083896 154587753 984276233 2541062264 4135342878 3367058659 351732842 3330302018 1540409137 3739582624 1203618965 1441629017 1090081066 1585643723 3842597473 4268403447 3930613245 1421344193 360958184 2186492811 2875510646 1919248971 3462281873 4216005529 3377049457 4221469789 2387987807 2653490668 1834663003 1501219903 89635012 1823161530 1456398082 4395409 1144886023 2808753553 1689020230 1285774517 2419380003 2769908663 2147343573 232279726 319561450 2780144556 255 362436" option to reproduce the execution
0.00/0.01	c #vars 201
0.00/0.01	c #constraints 100
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 |      100      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      169 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      416 |      250 |      111      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      723 |      475 |      123      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1210 |      813 |      136      6 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2152 |     1320 |      150     10 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3161 |     2081 |      182     15 |        0 |        0
0.29/0.31	c  0.3s |       7 |     4914 |     3223 |      201     23 |        0 |        0
0.38/0.48	c  0.5s |       8 |     7107 |     4936 |      222     34 |        0 |        0
0.68/0.75	c  0.7s |       9 |    10559 |     7506 |      245     49 |        0 |        0
1.09/1.12	c  1.1s |      10 |    15442 |    11361 |      270     71 |        0 |        0
1.48/1.51	c  1.5s |      11 |    23782 |    17144 |      297    101 |        0 |        0
2.08/2.14	c  2.1s |      12 |    35459 |    25819 |      327    142 |        0 |        0
3.08/3.10	c  3.1s |      13 |    52504 |    38832 |      360    203 |        0 |        0
4.39/4.48	c  4.5s |      14 |    78573 |    58352 |      397    285 |        0 |        0
6.38/6.48	c  6.5s |      14 |   114044 |    84252 |      397    390 |        0 |        0
6.69/6.75	c  6.7s |      15 |   118490 |    87632 |      437    403 |        0 |        0
8.68/8.75	c  8.7s |      15 |   154306 |   113632 |      437    498 |        0 |        0
10.08/10.14	c 10.1s |      16 |   178841 |   131552 |      481    562 |        0 |        0
12.09/12.15	c 12.1s |      16 |   209681 |   154752 |      481    641 |        0 |        0
14.08/14.15	c 14.1s |      16 |   239957 |   177852 |      481    719 |        0 |        0
15.88/15.90	c 15.9s |      17 |   266039 |   197432 |      530    786 |        0 |        0
17.89/17.91	c 17.9s |      17 |   295986 |   219932 |      530    857 |        0 |        0
19.89/19.91	c 19.9s |      17 |   327193 |   242832 |      530    930 |        0 |        0
21.88/21.92	c 21.9s |      17 |   359463 |   266332 |      530   1005 |        0 |        0
23.88/23.92	c 23.9s |      17 |   395024 |   291632 |      530   1089 |        0 |        0
24.19/24.30	c 24.3s |      18 |   401097 |   296252 |      583   1104 |        0 |        0
26.28/26.30	c 26.3s |      18 |   434683 |   321352 |      583   1177 |        0 |        0
28.28/28.31	c 28.3s |      18 |   467513 |   345952 |      583   1249 |        0 |        0
30.28/30.31	c 30.3s |      18 |   500229 |   371052 |      583   1323 |        0 |        0
32.28/32.31	c 32.3s |      18 |   533914 |   396552 |      583   1398 |        0 |        0
34.28/34.32	c 34.3s |      18 |   567739 |   422252 |      583   1475 |        0 |        0
36.08/36.14	c 36.1s |      19 |   596796 |   444482 |      642   1541 |        0 |        0
38.08/38.15	c 38.1s |      19 |   629480 |   468382 |      642   1606 |        0 |        0
40.08/40.15	c 40.1s |      19 |   661137 |   492982 |      642   1675 |        0 |        0
42.08/42.15	c 42.1s |      19 |   692501 |   516682 |      642   1742 |        0 |        0
44.08/44.16	c 44.1s |      19 |   724365 |   540882 |      642   1810 |        0 |        0
46.08/46.16	c 46.1s |      19 |   756188 |   564282 |      642   1876 |        0 |        0
48.07/48.17	c 48.2s |      19 |   789970 |   589182 |      642   1947 |        0 |        0
50.07/50.17	c 50.2s |      19 |   823070 |   613282 |      642   2016 |        0 |        0
52.07/52.18	c 52.2s |      19 |   857623 |   638482 |      642   2089 |        0 |        0
54.07/54.18	c 54.2s |      19 |   890725 |   662882 |      707   2158 |        0 |        0
54.47/54.51	c 54.5s |      20 |   895783 |   666827 |      707   2168 |        0 |        0
56.47/56.52	c 56.5s |      20 |   925486 |   688927 |      707   2222 |        0 |        0
58.47/58.52	c 58.5s |      20 |   952028 |   709627 |      707   2273 |        0 |        0
60.48/60.53	c 60.5s |      20 |   982285 |   732327 |      707   2329 |        0 |        0
62.47/62.53	c 62.5s |      20 |  1012186 |   754927 |      707   2385 |        0 |        0
64.47/64.54	c 64.5s |      20 |  1042107 |   778027 |      707   2442 |        0 |        0
66.47/66.55	c 66.5s |      20 |  1073401 |   801927 |      707   2501 |        0 |        0
68.48/68.55	c 68.5s |      20 |  1104608 |   825427 |      707   2559 |        0 |        0
70.49/70.56	c 70.5s |      20 |  1134569 |   848027 |      707   2614 |        0 |        0
72.48/72.56	c 72.5s |      20 |  1164334 |   870227 |      707   2669 |        0 |        0
74.48/74.56	c 74.5s |      20 |  1191803 |   890827 |      707   2720 |        0 |        0
76.47/76.57	c 76.6s |      20 |  1218679 |   911327 |      707   2771 |        0 |        0
78.47/78.58	c 78.6s |      20 |  1244769 |   930727 |      707   2820 |        0 |        0
80.47/80.58	c 80.6s |      20 |  1271451 |   950927 |      707   2871 |        0 |        0
82.48/82.58	c 82.6s |      20 |  1301478 |   973927 |      707   2929 |        0 |        0
84.47/84.58	c 84.6s |      20 |  1331935 |   996727 |      778   2986 |        0 |        0
84.87/84.90	c 84.9s |      21 |  1336873 |  1000345 |      778   2994 |        0 |        0
86.88/86.91	c 86.9s |      21 |  1366544 |  1022745 |      778   3045 |        0 |        0
88.87/88.91	c 88.9s |      21 |  1396684 |  1045545 |      778   3097 |        0 |        0
90.87/90.91	c 90.9s |      21 |  1424017 |  1066845 |      778   3147 |        0 |        0
92.87/92.92	c 92.9s |      21 |  1451462 |  1088045 |      778   3197 |        0 |        0
94.87/94.92	c 94.9s |      21 |  1481089 |  1110345 |      778   3251 |        0 |        0
96.87/96.93	c 96.9s |      21 |  1510476 |  1132345 |      778   3303 |        0 |        0
98.87/98.93	c 98.9s |      21 |  1541296 |  1155145 |      778   3359 |        0 |        0
100.87/100.94	c  100s |      21 |  1571548 |  1178045 |      778   3415 |        0 |        0
102.87/102.94	c  102s |      21 |  1602215 |  1201145 |      778   3472 |        0 |        0
104.87/104.94	c  104s |      21 |  1633475 |  1224045 |      778   3529 |        0 |        0
106.87/106.94	c  106s |      21 |  1663818 |  1246745 |      778   3585 |        0 |        0
108.87/108.95	c  108s |      21 |  1695570 |  1269945 |      778   3643 |        0 |        0
110.87/110.95	c  110s |      21 |  1725592 |  1292645 |      778   3699 |        0 |        0
112.87/112.95	c  112s |      21 |  1755848 |  1315445 |      778   3755 |        0 |        0
114.87/114.95	c  114s |      21 |  1787950 |  1338945 |      778   3813 |        0 |        0
116.86/116.96	c  116s |      21 |  1819855 |  1361745 |      778   3869 |        0 |        0
118.87/118.96	c  118s |      21 |  1850943 |  1384345 |      778   3925 |        0 |        0
120.86/120.97	c  120s |      21 |  1881028 |  1406845 |      778   3980 |        0 |        0
122.86/122.97	c  122s |      21 |  1913843 |  1430745 |      778   4039 |        0 |        0
124.86/124.97	c  124s |      21 |  1945419 |  1453645 |      778   4096 |        0 |        0
126.87/126.98	c  126s |      21 |  1975761 |  1476345 |      778   4152 |        0 |        0
128.87/128.98	c  128s |      21 |  2004193 |  1498345 |      856   4204 |        0 |        0
129.17/129.20	c  129s |      22 |  2007013 |  1500622 |      856   4209 |        0 |        0
131.17/131.20	c  131s |      22 |  2035463 |  1521922 |      856   4254 |        0 |        0
133.07/133.20	c  133s |      22 |  2061906 |  1542622 |      856   4298 |        0 |        0
135.17/135.20	c  135s |      22 |  2089711 |  1563422 |      856   4345 |        0 |        0
137.17/137.21	c  137s |      22 |  2116772 |  1583922 |      856   4389 |        0 |        0
139.16/139.21	c  139s |      22 |  2144591 |  1604722 |      856   4433 |        0 |        0
141.16/141.21	c  141s |      22 |  2171763 |  1625522 |      856   4477 |        0 |        0
143.16/143.21	c  143s |      22 |  2199683 |  1647022 |      856   4523 |        0 |        0
145.17/145.21	c  145s |      22 |  2227179 |  1667922 |      856   4567 |        0 |        0
147.16/147.22	c  147s |      22 |  2252735 |  1688022 |      856   4611 |        0 |        0
149.16/149.22	c  149s |      22 |  2278408 |  1707722 |      856   4654 |        0 |        0
151.16/151.23	c  151s |      22 |  2304227 |  1727122 |      856   4695 |        0 |        0
153.16/153.23	c  153s |      22 |  2331179 |  1748122 |      856   4741 |        0 |        0
155.16/155.24	c  155s |      22 |  2357645 |  1769022 |      856   4785 |        0 |        0
157.16/157.25	c  157s |      22 |  2381652 |  1788122 |      856   4826 |        0 |        0
159.16/159.25	c  159s |      22 |  2407194 |  1807922 |      856   4868 |        0 |        0
161.16/161.25	c  161s |      22 |  2433493 |  1828022 |      856   4911 |        0 |        0
163.16/163.25	c  163s |      22 |  2459643 |  1847922 |      856   4956 |        0 |        0
165.16/165.26	c  165s |      22 |  2486150 |  1868122 |      856   5000 |        0 |        0
167.17/167.26	c  167s |      22 |  2513646 |  1889022 |      856   5047 |        0 |        0
169.16/169.27	c  169s |      22 |  2541593 |  1910522 |      856   5096 |        0 |        0
171.16/171.28	c  171s |      22 |  2568619 |  1931322 |      856   5142 |        0 |        0
173.16/173.29	c  173s |      22 |  2594842 |  1951222 |      856   5186 |        0 |        0
175.16/175.29	c  175s |      22 |  2624831 |  1973522 |      856   5235 |        0 |        0
177.26/177.30	c  177s |      22 |  2653260 |  1995122 |      856   5282 |        0 |        0
179.26/179.31	c  179s |      22 |  2681406 |  2015922 |      856   5329 |        0 |        0
181.25/181.32	c  181s |      22 |  2707545 |  2035822 |      856   5374 |        0 |        0
183.25/183.33	c  183s |      22 |  2733240 |  2055622 |      856   5419 |        0 |        0
185.25/185.33	c  185s |      22 |  2760137 |  2075922 |      856   5463 |        0 |        0
187.25/187.34	c  187s |      22 |  2787900 |  2096622 |      856   5509 |        0 |        0
189.27/189.35	c  189s |      22 |  2816046 |  2118122 |      856   5556 |        0 |        0
191.26/191.36	c  191s |      22 |  2843469 |  2139222 |      856   5601 |        0 |        0
193.26/193.36	c  193s |      22 |  2870317 |  2160322 |      856   5646 |        0 |        0
195.26/195.37	c  195s |      22 |  2896822 |  2181022 |      856   5691 |        0 |        0
197.26/197.37	c  197s |      22 |  2922349 |  2200422 |      856   5734 |        0 |        0
199.26/199.37	c  199s |      22 |  2947577 |  2219822 |      856   5777 |        0 |        0
201.26/201.38	c  201s |      22 |  2974940 |  2240322 |      942   5821 |        0 |        0
202.36/202.40	c  202s |      23 |  2989267 |  2251038 |      942   5843 |        0 |        0
204.35/204.41	c  204s |      23 |  3015553 |  2271038 |      942   5882 |        0 |        0
206.35/206.41	c  206s |      23 |  3042741 |  2291238 |      942   5921 |        0 |        0
208.35/208.41	c  208s |      23 |  3069936 |  2311338 |      942   5960 |        0 |        0
210.35/210.41	c  210s |      23 |  3096860 |  2331038 |      942   5999 |        0 |        0
212.36/212.42	c  212s |      23 |  3122867 |  2350638 |      942   6038 |        0 |        0
214.36/214.43	c  214s |      23 |  3149216 |  2370038 |      942   6076 |        0 |        0
216.36/216.44	c  216s |      23 |  3174602 |  2388938 |      942   6113 |        0 |        0
218.35/218.44	c  218s |      23 |  3200668 |  2408338 |      942   6152 |        0 |        0
220.35/220.45	c  220s |      23 |  3226464 |  2427738 |      942   6190 |        0 |        0
222.35/222.46	c  222s |      23 |  3254486 |  2447938 |      942   6231 |        0 |        0
224.36/224.47	c  224s |      23 |  3279478 |  2467238 |      942   6269 |        0 |        0
226.35/226.47	c  226s |      23 |  3304442 |  2485538 |      942   6305 |        0 |        0
228.35/228.47	c  228s |      23 |  3331263 |  2505338 |      942   6345 |        0 |        0
230.35/230.47	c  230s |      23 |  3356633 |  2523638 |      942   6381 |        0 |        0
232.35/232.48	c  232s |      23 |  3384069 |  2543938 |      942   6422 |        0 |        0
234.35/234.49	c  234s |      23 |  3410791 |  2564238 |      942   6463 |        0 |        0
236.35/236.49	c  236s |      23 |  3437731 |  2583938 |      942   6503 |        0 |        0
238.34/238.49	c  238s |      23 |  3461776 |  2601838 |      942   6539 |        0 |        0
240.34/240.49	c  240s |      23 |  3485601 |  2619438 |      942   6575 |        0 |        0
242.34/242.49	c  242s |      23 |  3511856 |  2639138 |      942   6616 |        0 |        0
244.44/244.50	c  244s |      23 |  3539104 |  2658438 |      942   6655 |        0 |        0
246.45/246.51	c  246s |      23 |  3565110 |  2677238 |      942   6693 |        0 |        0
248.44/248.51	c  248s |      23 |  3590526 |  2696338 |      942   6732 |        0 |        0
250.44/250.51	c  250s |      23 |  3617069 |  2716138 |      942   6772 |        0 |        0
252.44/252.52	c  252s |      23 |  3641819 |  2734938 |      942   6810 |        0 |        0
254.45/254.52	c  254s |      23 |  3666271 |  2753638 |      942   6847 |        0 |        0
256.45/256.53	c  256s |      23 |  3690788 |  2771838 |      942   6884 |        0 |        0
258.46/258.53	c  258s |      23 |  3719649 |  2792738 |      942   6926 |        0 |        0
260.45/260.53	c  260s |      23 |  3751144 |  2815138 |      942   6972 |        0 |        0
262.45/262.53	c  262s |      23 |  3780103 |  2836738 |      942   7016 |        0 |        0
264.45/264.54	c  264s |      23 |  3809644 |  2858338 |      942   7060 |        0 |        0
266.45/266.55	c  266s |      23 |  3836969 |  2879038 |      942   7102 |        0 |        0
268.46/268.55	c  268s |      23 |  3862386 |  2898638 |      942   7141 |        0 |        0
270.45/270.56	c  270s |      23 |  3891703 |  2920238 |      942   7185 |        0 |        0
272.45/272.57	c  272s |      23 |  3921468 |  2942438 |      942   7231 |        0 |        0
274.45/274.57	c  274s |      23 |  3950113 |  2963638 |      942   7274 |        0 |        0
276.45/276.57	c  276s |      23 |  3976616 |  2982638 |      942   7313 |        0 |        0
278.44/278.58	c  278s |      23 |  4002559 |  3002238 |      942   7353 |        0 |        0
280.45/280.58	c  280s |      23 |  4028800 |  3021938 |      942   7392 |        0 |        0
282.44/282.60	c  282s |      23 |  4055358 |  3041238 |      942   7431 |        0 |        0
284.54/284.60	c  284s |      23 |  4085953 |  3062838 |      942   7474 |        0 |        0
286.54/286.60	c  286s |      23 |  4115291 |  3084638 |      942   7519 |        0 |        0
288.54/288.60	c  288s |      23 |  4144812 |  3105638 |      942   7562 |        0 |        0
290.54/290.61	c  290s |      23 |  4174347 |  3126738 |      942   7605 |        0 |        0
292.55/292.62	c  292s |      23 |  4204082 |  3148238 |      942   7647 |        0 |        0
294.54/294.63	c  294s |      23 |  4232874 |  3168938 |      942   7687 |        0 |        0
296.54/296.63	c  296s |      23 |  4260948 |  3188838 |      942   7727 |        0 |        0
298.54/298.63	c  298s |      23 |  4289940 |  3209938 |      942   7769 |        0 |        0
300.54/300.63	c  300s |      23 |  4318422 |  3230838 |      942   7812 |        0 |        0
302.55/302.64	c  302s |      23 |  4344288 |  3250138 |      942   7851 |        0 |        0
304.54/304.65	c  304s |      23 |  4374155 |  3271638 |      942   7893 |        0 |        0
306.53/306.65	c  306s |      23 |  4405561 |  3293538 |      942   7936 |        0 |        0
308.53/308.66	c  308s |      23 |  4434675 |  3313838 |      942   7978 |        0 |        0
310.54/310.67	c  310s |      23 |  4461476 |  3333738 |      942   8018 |        0 |        0
312.54/312.68	c  312s |      23 |  4489114 |  3354538 |     1037   8060 |        0 |        0
314.55/314.69	c  314s |      23 |  4517084 |  3374838 |     1037   8097 |        0 |        0
314.74/314.88	c  314s |      24 |  4519243 |  3376662 |     1037   8100 |        0 |        0
316.75/316.89	c  316s |      24 |  4545869 |  3396562 |     1037   8136 |        0 |        0
318.74/318.90	c  318s |      24 |  4571486 |  3416262 |     1037   8171 |        0 |        0
320.84/320.91	c  320s |      24 |  4597864 |  3435962 |     1037   8207 |        0 |        0
322.84/322.92	c  322s |      24 |  4622709 |  3455062 |     1037   8241 |        0 |        0
324.84/324.92	c  324s |      24 |  4646260 |  3473962 |     1037   8275 |        0 |        0
326.84/326.92	c  326s |      24 |  4671548 |  3493562 |     1037   8310 |        0 |        0
328.84/328.92	c  328s |      24 |  4698395 |  3514062 |     1037   8347 |        0 |        0
330.84/330.93	c  330s |      24 |  4724567 |  3534362 |     1037   8385 |        0 |        0
332.84/332.94	c  332s |      24 |  4752037 |  3554662 |     1037   8422 |        0 |        0
334.84/334.95	c  334s |      24 |  4777855 |  3574562 |     1037   8457 |        0 |        0
336.83/336.96	c  336s |      24 |  4804141 |  3594062 |     1037   8493 |        0 |        0
338.84/338.97	c  338s |      24 |  4830979 |  3614162 |     1037   8528 |        0 |        0
340.83/340.98	c  340s |      24 |  4856190 |  3633362 |     1037   8563 |        0 |        0
342.83/342.98	c  342s |      24 |  4883723 |  3653762 |     1037   8601 |        0 |        0
344.83/344.99	c  344s |      24 |  4911169 |  3674062 |     1037   8639 |        0 |        0
346.83/346.99	c  346s |      24 |  4938139 |  3694562 |     1037   8677 |        0 |        0
348.93/349.00	c  348s |      24 |  4966230 |  3715862 |     1037   8716 |        0 |        0
350.84/351.00	c  350s |      24 |  4993667 |  3737062 |     1037   8755 |        0 |        0
352.93/353.00	c  352s |      24 |  5021802 |  3758462 |     1037   8793 |        0 |        0
354.93/355.00	c  354s |      24 |  5049510 |  3779162 |     1037   8831 |        0 |        0
356.93/357.01	c  356s |      24 |  5075660 |  3798862 |     1037   8867 |        0 |        0
358.93/359.01	c  358s |      24 |  5101932 |  3818862 |     1037   8904 |        0 |        0
360.93/361.01	c  360s |      24 |  5126688 |  3837462 |     1037   8938 |        0 |        0
362.93/363.01	c  362s |      24 |  5155178 |  3858962 |     1037   8977 |        0 |        0
364.93/365.02	c  365s |      24 |  5183587 |  3879662 |     1037   9015 |        0 |        0
366.93/367.03	c  367s |      24 |  5210365 |  3899862 |     1037   9052 |        0 |        0
368.93/369.03	c  369s |      24 |  5234567 |  3918262 |     1037   9085 |        0 |        0
370.92/371.04	c  371s |      24 |  5259207 |  3937062 |     1037   9120 |        0 |        0
372.93/373.04	c  373s |      24 |  5284216 |  3956362 |     1037   9155 |        0 |        0
374.92/375.05	c  375s |      24 |  5310279 |  3975762 |     1037   9191 |        0 |        0
376.92/377.05	c  377s |      24 |  5336831 |  3995762 |     1037   9228 |        0 |        0
378.93/379.05	c  379s |      24 |  5363604 |  4016062 |     1037   9265 |        0 |        0
380.93/381.06	c  381s |      24 |  5389319 |  4035562 |     1037   9301 |        0 |        0
382.93/383.06	c  383s |      24 |  5417123 |  4056262 |     1037   9338 |        0 |        0
384.94/385.07	c  385s |      24 |  5441893 |  4075562 |     1037   9372 |        0 |        0
386.93/387.08	c  387s |      24 |  5469002 |  4096062 |     1037   9409 |        0 |        0
388.93/389.08	c  389s |      24 |  5497179 |  4116962 |     1037   9448 |        0 |        0
390.93/391.08	c  391s |      24 |  5524647 |  4138162 |     1037   9487 |        0 |        0
392.93/393.08	c  393s |      24 |  5548917 |  4156562 |     1037   9520 |        0 |        0
394.94/395.08	c  395s |      24 |  5571919 |  4174162 |     1037   9553 |        0 |        0
396.93/397.08	c  397s |      24 |  5596768 |  4192962 |     1037   9589 |        0 |        0
398.93/399.09	c  399s |      24 |  5621517 |  4211262 |     1037   9623 |        0 |        0
400.93/401.09	c  401s |      24 |  5646251 |  4229762 |     1037   9658 |        0 |        0
403.02/403.10	c  403s |      24 |  5668382 |  4246762 |     1037   9690 |        0 |        0
405.02/405.11	c  405s |      24 |  5692145 |  4264862 |     1037   9724 |        0 |        0
407.03/407.11	c  407s |      24 |  5715919 |  4282662 |     1037   9757 |        0 |        0
409.02/409.11	c  409s |      24 |  5741384 |  4302162 |     1037   9794 |        0 |        0
411.02/411.12	c  411s |      24 |  5764740 |  4321262 |     1037   9830 |        0 |        0
413.02/413.13	c  413s |      24 |  5791982 |  4341562 |     1037   9867 |        0 |        0
415.02/415.13	c  415s |      24 |  5819329 |  4361862 |     1037   9904 |        0 |        0
417.02/417.14	c  417s |      24 |  5845577 |  4381762 |     1037   9941 |        0 |        0
419.03/419.14	c  419s |      24 |  5874416 |  4402462 |     1037   9980 |        0 |        0
421.02/421.15	c  421s |      24 |  5902493 |  4423562 |     1037  10019 |        0 |        0
423.02/423.15	c  423s |      24 |  5929156 |  4443762 |     1037  10055 |        0 |        0
425.02/425.16	c  425s |      24 |  5954418 |  4463162 |     1037  10091 |        0 |        0
427.02/427.17	c  427s |      24 |  5980927 |  4483162 |     1037  10128 |        0 |        0
429.03/429.18	c  429s |      24 |  6005305 |  4501462 |     1037  10161 |        0 |        0
431.02/431.19	c  431s |      24 |  6028100 |  4519362 |     1037  10195 |        0 |        0
433.02/433.19	c  433s |      24 |  6053279 |  4538062 |     1037  10229 |        0 |        0
435.12/435.20	c  435s |      24 |  6078858 |  4558062 |     1037  10266 |        0 |        0
437.12/437.20	c  437s |      24 |  6108393 |  4579862 |     1037  10305 |        0 |        0
439.12/439.21	c  439s |      24 |  6135188 |  4600262 |     1037  10342 |        0 |        0
441.13/441.21	c  441s |      24 |  6161291 |  4620962 |     1037  10380 |        0 |        0
443.12/443.21	c  443s |      24 |  6188515 |  4641262 |     1037  10417 |        0 |        0
445.12/445.22	c  445s |      24 |  6212316 |  4659162 |     1037  10449 |        0 |        0
447.12/447.23	c  447s |      24 |  6241071 |  4680762 |     1037  10489 |        0 |        0
449.11/449.24	c  449s |      24 |  6268291 |  4701462 |     1037  10526 |        0 |        0
451.11/451.24	c  451s |      24 |  6295332 |  4721662 |     1037  10563 |        0 |        0
453.12/453.25	c  453s |      24 |  6319202 |  4739662 |     1037  10597 |        0 |        0
455.11/455.25	c  455s |      24 |  6344720 |  4758762 |     1037  10633 |        0 |        0
457.11/457.26	c  457s |      24 |  6372129 |  4779462 |     1037  10670 |        0 |        0
459.11/459.26	c  459s |      24 |  6398155 |  4799562 |     1037  10706 |        0 |        0
461.11/461.27	c  461s |      24 |  6425282 |  4820562 |     1037  10743 |        0 |        0
463.12/463.28	c  463s |      24 |  6452937 |  4841862 |     1037  10781 |        0 |        0
465.11/465.29	c  465s |      24 |  6480450 |  4863162 |     1037  10820 |        0 |        0
467.11/467.29	c  467s |      24 |  6508627 |  4884262 |     1037  10859 |        0 |        0
469.12/469.29	c  469s |      24 |  6536385 |  4904562 |     1037  10897 |        0 |        0
471.22/471.30	c  471s |      24 |  6562216 |  4924062 |     1037  10933 |        0 |        0
473.22/473.31	c  473s |      24 |  6585304 |  4942862 |     1037  10968 |        0 |        0
475.22/475.31	c  475s |      24 |  6609950 |  4962562 |     1037  11005 |        0 |        0
477.22/477.31	c  477s |      24 |  6637261 |  4983162 |     1037  11044 |        0 |        0
479.22/479.32	c  479s |      24 |  6664332 |  5003862 |     1037  11081 |        0 |        0
481.22/481.33	c  481s |      24 |  6691985 |  5024762 |     1037  11119 |        0 |        0
483.21/483.34	c  483s |      24 |  6719038 |  5045162 |     1141  11153 |        0 |        0
485.12/485.29	c  485s |      25 |  6745696 |  5065098 |     1141  11186 |        0 |        0
487.11/487.30	c  487s |      25 |  6768696 |  5083598 |     1141  11216 |        0 |        0
489.21/489.30	c  489s |      25 |  6793979 |  5102898 |     1141  11247 |        0 |        0
491.21/491.30	c  491s |      25 |  6818561 |  5121398 |     1141  11277 |        0 |        0
493.21/493.31	c  493s |      25 |  6841946 |  5139298 |     1141  11307 |        0 |        0
495.21/495.32	c  495s |      25 |  6866489 |  5157498 |     1141  11337 |        0 |        0
497.22/497.32	c  497s |      25 |  6892185 |  5176298 |     1141  11368 |        0 |        0
499.21/499.32	c  499s |      25 |  6915880 |  5194598 |     1141  11398 |        0 |        0
501.21/501.33	c  501s |      25 |  6939257 |  5212498 |     1141  11427 |        0 |        0
503.21/503.34	c  503s |      25 |  6962392 |  5230298 |     1141  11457 |        0 |        0
505.21/505.34	c  505s |      25 |  6986898 |  5248898 |     1141  11487 |        0 |        0
507.21/507.36	c  507s |      25 |  7012202 |  5266998 |     1141  11517 |        0 |        0
509.21/509.36	c  509s |      25 |  7035045 |  5284398 |     1141  11545 |        0 |        0
511.21/511.37	c  511s |      25 |  7058972 |  5302098 |     1141  11574 |        0 |        0
513.20/513.38	c  513s |      25 |  7081787 |  5319598 |     1141  11603 |        0 |        0
515.20/515.38	c  515s |      25 |  7104846 |  5337498 |     1141  11632 |        0 |        0
517.20/517.38	c  517s |      25 |  7129213 |  5356198 |     1141  11663 |        0 |        0
519.21/519.39	c  519s |      25 |  7151698 |  5373198 |     1141  11691 |        0 |        0
521.20/521.39	c  521s |      25 |  7174188 |  5390398 |     1141  11719 |        0 |        0
523.20/523.39	c  523s |      25 |  7198421 |  5408698 |     1141  11749 |        0 |        0
525.30/525.40	c  525s |      25 |  7221963 |  5426798 |     1141  11779 |        0 |        0
527.30/527.41	c  527s |      25 |  7246010 |  5444998 |     1141  11809 |        0 |        0
529.30/529.42	c  529s |      25 |  7270146 |  5463498 |     1141  11840 |        0 |        0
531.31/531.43	c  531s |      25 |  7293868 |  5481698 |     1141  11870 |        0 |        0
533.30/533.43	c  533s |      25 |  7317224 |  5499298 |     1141  11899 |        0 |        0
535.31/535.43	c  535s |      25 |  7339569 |  5516698 |     1141  11927 |        0 |        0
537.31/537.43	c  537s |      25 |  7362298 |  5534298 |     1141  11956 |        0 |        0
539.31/539.44	c  539s |      25 |  7386031 |  5552098 |     1141  11986 |        0 |        0
541.30/541.44	c  541s |      25 |  7408556 |  5569498 |     1141  12014 |        0 |        0
543.31/543.44	c  543s |      25 |  7432910 |  5587598 |     1141  12044 |        0 |        0
545.30/545.44	c  545s |      25 |  7456846 |  5605498 |     1141  12074 |        0 |        0
547.30/547.45	c  547s |      25 |  7478754 |  5622498 |     1141  12102 |        0 |        0
549.30/549.46	c  549s |      25 |  7501377 |  5639898 |     1141  12131 |        0 |        0
551.30/551.46	c  551s |      25 |  7525300 |  5658098 |     1141  12160 |        0 |        0
553.31/553.46	c  553s |      25 |  7549453 |  5676298 |     1141  12190 |        0 |        0
555.30/555.47	c  555s |      25 |  7573304 |  5694598 |     1141  12221 |        0 |        0
557.30/557.48	c  557s |      25 |  7596464 |  5712898 |     1141  12251 |        0 |        0
559.30/559.48	c  559s |      25 |  7620851 |  5731098 |     1141  12280 |        0 |        0
561.30/561.48	c  561s |      25 |  7645275 |  5749598 |     1141  12311 |        0 |        0
563.30/563.48	c  563s |      25 |  7669430 |  5767798 |     1141  12340 |        0 |        0
565.31/565.49	c  565s |      25 |  7693821 |  5785998 |     1141  12371 |        0 |        0
567.30/567.49	c  567s |      25 |  7717508 |  5803698 |     1141  12400 |        0 |        0
569.40/569.50	c  569s |      25 |  7742827 |  5822198 |     1141  12430 |        0 |        0
571.40/571.51	c  571s |      25 |  7766864 |  5840098 |     1141  12460 |        0 |        0
573.40/573.51	c  573s |      25 |  7790188 |  5858098 |     1141  12490 |        0 |        0
575.40/575.51	c  575s |      25 |  7814600 |  5876698 |     1141  12520 |        0 |        0
577.41/577.52	c  577s |      25 |  7836962 |  5894498 |     1141  12550 |        0 |        0
579.40/579.53	c  579s |      25 |  7861551 |  5913198 |     1141  12580 |        0 |        0
581.40/581.55	c  581s |      25 |  7885297 |  5931598 |     1141  12611 |        0 |        0
583.40/583.55	c  583s |      25 |  7908070 |  5949098 |     1141  12639 |        0 |        0
585.40/585.55	c  585s |      25 |  7931008 |  5966698 |     1141  12668 |        0 |        0
587.40/587.56	c  587s |      25 |  7955281 |  5984698 |     1141  12698 |        0 |        0
589.39/589.56	c  589s |      25 |  7978784 |  6002698 |     1141  12728 |        0 |        0
591.39/591.56	c  591s |      25 |  8004256 |  6021898 |     1141  12759 |        0 |        0
593.39/593.57	c  593s |      25 |  8030293 |  6041098 |     1141  12791 |        0 |        0
595.39/595.57	c  595s |      25 |  8054842 |  6059698 |     1141  12821 |        0 |        0
597.39/597.58	c  597s |      25 |  8078599 |  6077698 |     1141  12851 |        0 |        0
599.40/599.58	c  599s |      25 |  8102782 |  6095898 |     1141  12881 |        0 |        0
601.39/601.59	c  601s |      25 |  8126115 |  6113698 |     1141  12910 |        0 |        0
603.39/603.59	c  603s |      25 |  8151164 |  6132398 |     1141  12941 |        0 |        0
605.39/605.59	c  605s |      25 |  8175004 |  6149898 |     1141  12970 |        0 |        0
607.49/607.60	c  607s |      25 |  8199658 |  6167998 |     1141  13000 |        0 |        0
609.49/609.61	c  609s |      25 |  8223019 |  6185898 |     1141  13030 |        0 |        0
611.50/611.62	c  611s |      25 |  8245696 |  6203098 |     1141  13058 |        0 |        0
613.49/613.63	c  613s |      25 |  8267922 |  6220398 |     1141  13087 |        0 |        0
615.50/615.63	c  615s |      25 |  8289763 |  6237098 |     1141  13114 |        0 |        0
617.50/617.64	c  617s |      25 |  8311867 |  6253998 |     1141  13142 |        0 |        0
619.49/619.64	c  619s |      25 |  8334652 |  6272198 |     1141  13172 |        0 |        0
621.50/621.64	c  621s |      25 |  8359268 |  6290698 |     1141  13203 |        0 |        0
623.49/623.64	c  623s |      25 |  8382670 |  6308498 |     1141  13232 |        0 |        0
625.49/625.66	c  625s |      25 |  8405579 |  6326098 |     1141  13261 |        0 |        0
627.49/627.66	c  627s |      25 |  8427896 |  6343398 |     1141  13290 |        0 |        0
629.49/629.67	c  629s |      25 |  8451286 |  6361598 |     1141  13319 |        0 |        0
631.49/631.67	c  631s |      25 |  8474312 |  6379298 |     1141  13348 |        0 |        0
633.49/633.68	c  633s |      25 |  8494798 |  6395398 |     1141  13375 |        0 |        0
635.48/635.68	c  635s |      25 |  8516818 |  6412498 |     1141  13403 |        0 |        0
637.48/637.69	c  637s |      25 |  8538878 |  6429098 |     1141  13430 |        0 |        0
639.58/639.70	c  639s |      25 |  8559886 |  6445398 |     1141  13457 |        0 |        0
641.58/641.71	c  641s |      25 |  8584315 |  6463898 |     1141  13487 |        0 |        0
643.58/643.72	c  643s |      25 |  8609083 |  6482098 |     1141  13517 |        0 |        0
645.59/645.72	c  645s |      25 |  8632036 |  6499198 |     1141  13545 |        0 |        0
647.58/647.72	c  647s |      25 |  8656853 |  6517398 |     1141  13575 |        0 |        0
649.58/649.73	c  649s |      25 |  8681150 |  6535598 |     1141  13605 |        0 |        0
651.58/651.73	c  651s |      25 |  8706422 |  6554598 |     1141  13636 |        0 |        0
653.58/653.75	c  653s |      25 |  8729644 |  6572598 |     1141  13666 |        0 |        0
655.59/655.75	c  655s |      25 |  8752130 |  6589798 |     1141  13694 |        0 |        0
657.58/657.76	c  657s |      25 |  8776006 |  6607598 |     1141  13724 |        0 |        0
659.58/659.76	c  659s |      25 |  8799748 |  6625398 |     1141  13753 |        0 |        0
661.58/661.77	c  661s |      25 |  8823242 |  6643298 |     1141  13782 |        0 |        0
663.58/663.77	c  663s |      25 |  8844677 |  6660198 |     1141  13810 |        0 |        0
665.59/665.78	c  665s |      25 |  8865512 |  6676498 |     1141  13837 |        0 |        0
667.59/667.79	c  667s |      25 |  8890574 |  6694998 |     1141  13868 |        0 |        0
669.59/669.79	c  669s |      25 |  8915412 |  6713398 |     1141  13898 |        0 |        0
671.68/671.80	c  671s |      25 |  8939529 |  6731398 |     1141  13927 |        0 |        0
673.68/673.81	c  673s |      25 |  8963538 |  6749398 |     1141  13957 |        0 |        0
675.68/675.81	c  675s |      25 |  8988413 |  6767998 |     1141  13987 |        0 |        0
677.68/677.82	c  677s |      25 |  9012369 |  6786098 |     1141  14017 |        0 |        0
679.69/679.83	c  679s |      25 |  9036067 |  6804398 |     1141  14047 |        0 |        0
681.68/681.84	c  681s |      25 |  9058556 |  6821398 |     1141  14076 |        0 |        0
683.68/683.85	c  683s |      25 |  9080690 |  6838098 |     1141  14103 |        0 |        0
685.68/685.85	c  685s |      25 |  9103612 |  6855498 |     1141  14132 |        0 |        0
687.68/687.85	c  687s |      25 |  9126485 |  6872498 |     1141  14160 |        0 |        0
689.69/689.86	c  689s |      25 |  9149113 |  6889998 |     1141  14189 |        0 |        0
691.68/691.86	c  691s |      25 |  9174680 |  6909398 |     1141  14220 |        0 |        0
693.68/693.87	c  693s |      25 |  9199713 |  6928498 |     1141  14251 |        0 |        0
695.68/695.88	c  695s |      25 |  9224493 |  6947898 |     1141  14283 |        0 |        0
697.68/697.89	c  697s |      25 |  9249412 |  6967098 |     1141  14315 |        0 |        0
699.68/699.89	c  699s |      25 |  9275131 |  6986498 |     1141  14347 |        0 |        0
701.68/701.90	c  701s |      25 |  9299075 |  7005198 |     1141  14377 |        0 |        0
703.78/703.91	c  703s |      25 |  9323999 |  7024398 |     1141  14408 |        0 |        0
705.77/705.92	c  705s |      25 |  9349805 |  7043798 |     1141  14440 |        0 |        0
707.77/707.92	c  707s |      25 |  9372382 |  7060998 |     1141  14469 |        0 |        0
709.77/709.92	c  709s |      25 |  9394155 |  7078198 |     1141  14497 |        0 |        0
711.77/711.93	c  711s |      25 |  9417194 |  7095998 |     1141  14527 |        0 |        0
713.78/713.94	c  713s |      25 |  9443670 |  7115298 |     1141  14559 |        0 |        0
715.77/715.94	c  715s |      25 |  9469596 |  7134698 |     1141  14591 |        0 |        0
717.77/717.94	c  717s |      25 |  9495393 |  7154098 |     1141  14623 |        0 |        0
719.77/719.94	c  719s |      25 |  9520213 |  7172998 |     1141  14654 |        0 |        0
721.77/721.95	c  721s |      25 |  9545751 |  7191698 |     1141  14685 |        0 |        0
723.78/723.95	c  723s |      25 |  9572149 |  7211498 |     1141  14718 |        0 |        0
725.77/725.96	c  725s |      25 |  9597360 |  7230598 |     1141  14750 |        0 |        0
727.77/727.96	c  727s |      25 |  9623138 |  7249598 |     1141  14781 |        0 |        0
729.77/729.97	c  729s |      25 |  9648240 |  7268398 |     1141  14812 |        0 |        0
731.77/731.98	c  731s |      25 |  9673395 |  7286598 |     1141  14843 |        0 |        0
733.78/733.98	c  733s |      25 |  9697365 |  7304898 |     1141  14873 |        0 |        0
735.79/735.99	c  735s |      25 |  9718592 |  7321898 |     1141  14901 |        0 |        0
737.88/738.00	c  737s |      25 |  9742328 |  7340098 |     1141  14931 |        0 |        0
739.88/740.00	c  739s |      25 |  9766982 |  7359198 |     1141  14963 |        0 |        0
741.88/742.01	c  741s |      25 |  9789643 |  7377698 |     1141  14993 |        0 |        0
743.87/744.02	c  744s |      25 |  9816908 |  7397698 |     1141  15026 |        0 |        0
745.87/746.02	c  746s |      25 |  9843536 |  7417198 |     1141  15059 |        0 |        0
747.88/748.02	c  748s |      25 |  9868004 |  7435998 |     1141  15090 |        0 |        0
749.87/750.03	c  750s |      25 |  9895427 |  7456098 |     1141  15123 |        0 |        0
751.87/752.04	c  752s |      25 |  9920396 |  7474898 |     1141  15154 |        0 |        0
753.87/754.04	c  754s |      25 |  9946678 |  7494998 |     1141  15187 |        0 |        0
755.87/756.05	c  756s |      25 |  9971981 |  7514498 |     1141  15219 |        0 |        0
757.88/758.05	c  758s |      25 |  9997953 |  7533998 |     1141  15251 |        0 |        0
759.87/760.05	c  760s |      25 | 10022989 |  7552898 |     1256  15281 |        0 |        0
761.87/762.06	c  762s |      25 | 10047472 |  7571298 |     1256  15309 |        0 |        0
763.87/764.06	c  764s |      25 | 10071221 |  7589598 |     1256  15336 |        0 |        0
764.77/764.93	c  764s |      26 | 10081805 |  7597752 |     1256  15348 |        0 |        0
766.77/766.93	c  766s |      26 | 10104488 |  7615652 |     1256  15375 |        0 |        0
768.77/768.94	c  768s |      26 | 10127506 |  7633252 |     1256  15401 |        0 |        0
770.77/770.95	c  770s |      26 | 10149725 |  7650452 |     1256  15427 |        0 |        0
772.77/772.95	c  772s |      26 | 10174955 |  7669552 |     1256  15455 |        0 |        0
774.77/774.95	c  774s |      26 | 10201421 |  7688952 |     1256  15484 |        0 |        0
776.77/776.95	c  776s |      26 | 10224905 |  7707452 |     1256  15512 |        0 |        0
778.78/778.95	c  778s |      26 | 10247524 |  7724752 |     1256  15538 |        0 |        0
780.77/780.95	c  780s |      26 | 10272397 |  7743552 |     1256  15566 |        0 |        0
782.77/782.95	c  782s |      26 | 10297968 |  7762152 |     1256  15594 |        0 |        0
784.77/784.96	c  784s |      26 | 10321438 |  7780252 |     1256  15621 |        0 |        0
786.77/786.96	c  786s |      26 | 10346088 |  7798752 |     1256  15649 |        0 |        0
788.77/788.96	c  788s |      26 | 10369910 |  7816852 |     1256  15677 |        0 |        0
790.77/790.97	c  790s |      26 | 10392876 |  7834752 |     1256  15704 |        0 |        0
792.76/792.97	c  792s |      26 | 10414271 |  7851552 |     1256  15729 |        0 |        0
794.76/794.98	c  794s |      26 | 10436711 |  7868752 |     1256  15755 |        0 |        0
796.76/796.98	c  796s |      26 | 10458824 |  7886052 |     1256  15781 |        0 |        0
798.76/798.98	c  798s |      26 | 10483145 |  7904052 |     1256  15808 |        0 |        0
800.77/800.99	c  800s |      26 | 10503805 |  7920352 |     1256  15833 |        0 |        0
802.76/802.99	c  802s |      26 | 10523638 |  7936352 |     1256  15857 |        0 |        0
804.86/805.00	c  804s |      26 | 10545750 |  7953352 |     1256  15883 |        0 |        0
806.86/807.01	c  806s |      26 | 10568065 |  7970852 |     1256  15909 |        0 |        0
808.86/809.01	c  809s |      26 | 10590698 |  7988252 |     1256  15935 |        0 |        0
810.86/811.02	c  811s |      26 | 10612654 |  8005352 |     1256  15961 |        0 |        0
812.86/813.03	c  813s |      26 | 10634337 |  8022052 |     1256  15986 |        0 |        0
814.87/815.03	c  815s |      26 | 10657316 |  8039452 |     1256  16013 |        0 |        0
816.86/817.05	c  817s |      26 | 10678920 |  8055752 |     1256  16038 |        0 |        0
818.86/819.05	c  819s |      26 | 10701132 |  8072852 |     1256  16063 |        0 |        0
820.86/821.06	c  821s |      26 | 10724647 |  8090652 |     1256  16090 |        0 |        0
822.86/823.06	c  823s |      26 | 10748061 |  8108552 |     1256  16118 |        0 |        0
824.87/825.06	c  825s |      26 | 10775438 |  8128652 |     1256  16148 |        0 |        0
826.86/827.07	c  827s |      26 | 10799775 |  8147552 |     1256  16177 |        0 |        0
828.86/829.08	c  829s |      26 | 10826156 |  8167252 |     1256  16207 |        0 |        0
830.86/831.08	c  831s |      26 | 10849740 |  8185352 |     1256  16234 |        0 |        0
832.86/833.08	c  833s |      26 | 10874340 |  8204052 |     1256  16263 |        0 |        0
834.86/835.08	c  835s |      26 | 10900474 |  8223752 |     1256  16292 |        0 |        0
836.86/837.08	c  837s |      26 | 10924502 |  8242352 |     1256  16321 |        0 |        0
838.85/839.09	c  839s |      26 | 10947957 |  8260152 |     1256  16348 |        0 |        0
840.95/841.10	c  841s |      26 | 10972596 |  8278652 |     1256  16376 |        0 |        0
842.95/843.10	c  843s |      26 | 10996636 |  8296852 |     1256  16403 |        0 |        0
844.95/845.10	c  845s |      26 | 11021181 |  8314952 |     1256  16431 |        0 |        0
846.96/847.11	c  847s |      26 | 11044999 |  8332552 |     1256  16458 |        0 |        0
848.95/849.12	c  849s |      26 | 11067250 |  8349652 |     1256  16484 |        0 |        0
850.95/851.12	c  851s |      26 | 11088922 |  8366452 |     1256  16509 |        0 |        0
852.95/853.13	c  853s |      26 | 11110538 |  8382952 |     1256  16535 |        0 |        0
854.96/855.14	c  855s |      26 | 11135319 |  8401952 |     1256  16563 |        0 |        0
856.96/857.15	c  857s |      26 | 11158185 |  8419552 |     1256  16589 |        0 |        0
858.97/859.16	c  859s |      26 | 11182947 |  8438352 |     1256  16618 |        0 |        0
860.96/861.16	c  861s |      26 | 11207286 |  8457052 |     1256  16646 |        0 |        0
862.95/863.16	c  863s |      26 | 11232078 |  8475752 |     1256  16674 |        0 |        0
864.95/865.17	c  865s |      26 | 11256459 |  8494352 |     1256  16702 |        0 |        0
866.95/867.17	c  867s |      26 | 11279218 |  8512252 |     1256  16729 |        0 |        0
868.96/869.18	c  869s |      26 | 11300968 |  8529652 |     1256  16755 |        0 |        0
870.95/871.18	c  871s |      26 | 11326428 |  8548652 |     1256  16784 |        0 |        0
872.95/873.19	c  873s |      26 | 11349339 |  8566852 |     1256  16812 |        0 |        0
874.95/875.19	c  875s |      26 | 11372517 |  8584852 |     1256  16840 |        0 |        0
876.95/877.19	c  877s |      26 | 11394847 |  8602452 |     1256  16867 |        0 |        0
879.05/879.20	c  879s |      26 | 11420472 |  8621652 |     1256  16896 |        0 |        0
881.06/881.21	c  881s |      26 | 11445272 |  8640452 |     1256  16925 |        0 |        0
883.05/883.21	c  883s |      26 | 11470923 |  8659852 |     1256  16955 |        0 |        0
885.05/885.22	c  885s |      26 | 11493761 |  8676952 |     1256  16981 |        0 |        0
887.05/887.22	c  887s |      26 | 11515944 |  8693552 |     1256  17007 |        0 |        0
889.05/889.23	c  889s |      26 | 11536966 |  8709652 |     1256  17032 |        0 |        0
891.05/891.24	c  891s |      26 | 11559393 |  8726852 |     1256  17058 |        0 |        0
893.05/893.24	c  893s |      26 | 11583143 |  8744852 |     1256  17086 |        0 |        0
895.05/895.25	c  895s |      26 | 11606689 |  8762652 |     1256  17113 |        0 |        0
897.04/897.25	c  897s |      26 | 11628682 |  8779952 |     1256  17140 |        0 |        0
899.04/899.25	c  899s |      26 | 11650754 |  8797252 |     1256  17166 |        0 |        0
901.04/901.26	c  901s |      26 | 11673910 |  8814752 |     1256  17193 |        0 |        0
903.05/903.27	c  903s |      26 | 11695785 |  8832352 |     1256  17221 |        0 |        0
905.04/905.28	c  905s |      26 | 11715791 |  8848652 |     1256  17246 |        0 |        0
907.05/907.29	c  907s |      26 | 11737275 |  8864952 |     1256  17271 |        0 |        0
909.15/909.30	c  909s |      26 | 11758961 |  8881652 |     1256  17297 |        0 |        0
911.15/911.30	c  911s |      26 | 11783047 |  8899952 |     1256  17324 |        0 |        0
913.15/913.31	c  913s |      26 | 11806980 |  8918452 |     1256  17353 |        0 |        0
915.15/915.32	c  915s |      26 | 11832708 |  8937552 |     1256  17382 |        0 |        0
917.14/917.32	c  917s |      26 | 11855530 |  8954952 |     1256  17409 |        0 |        0
919.14/919.32	c  919s |      26 | 11878913 |  8973152 |     1256  17437 |        0 |        0
921.14/921.33	c  921s |      26 | 11903003 |  8991752 |     1256  17465 |        0 |        0
923.14/923.33	c  923s |      26 | 11927614 |  9010452 |     1256  17493 |        0 |        0
925.14/925.34	c  925s |      26 | 11953005 |  9029952 |     1256  17523 |        0 |        0
927.15/927.34	c  927s |      26 | 11977781 |  9048952 |     1256  17552 |        0 |        0
929.14/929.35	c  929s |      26 | 12002099 |  9067452 |     1256  17580 |        0 |        0
931.15/931.35	c  931s |      26 | 12026147 |  9085452 |     1256  17607 |        0 |        0
933.15/933.35	c  933s |      26 | 12050646 |  9104352 |     1256  17636 |        0 |        0
935.14/935.36	c  935s |      26 | 12073139 |  9121152 |     1256  17662 |        0 |        0
937.15/937.37	c  937s |      26 | 12096318 |  9138752 |     1256  17689 |        0 |        0
939.14/939.37	c  939s |      26 | 12121469 |  9157652 |     1256  17718 |        0 |        0
941.14/941.38	c  941s |      26 | 12146564 |  9176752 |     1256  17748 |        0 |        0
943.14/943.38	c  943s |      26 | 12172578 |  9196252 |     1256  17778 |        0 |        0
945.14/945.39	c  945s |      26 | 12198091 |  9215352 |     1256  17808 |        0 |        0
947.14/947.39	c  947s |      26 | 12221670 |  9233852 |     1256  17836 |        0 |        0
949.15/949.40	c  949s |      26 | 12244782 |  9251552 |     1256  17863 |        0 |        0
951.24/951.40	c  951s |      26 | 12266497 |  9268552 |     1256  17890 |        0 |        0
953.24/953.41	c  953s |      26 | 12290612 |  9286852 |     1256  17918 |        0 |        0
955.24/955.42	c  955s |      26 | 12313287 |  9304652 |     1256  17945 |        0 |        0
957.24/957.43	c  957s |      26 | 12336260 |  9322552 |     1256  17972 |        0 |        0
959.24/959.43	c  959s |      26 | 12359721 |  9340652 |     1256  17999 |        0 |        0
961.24/961.44	c  961s |      26 | 12383483 |  9358952 |     1256  18027 |        0 |        0
963.24/963.44	c  963s |      26 | 12404489 |  9375452 |     1256  18052 |        0 |        0
965.24/965.45	c  965s |      26 | 12425403 |  9391952 |     1256  18077 |        0 |        0
967.24/967.46	c  967s |      26 | 12447174 |  9408952 |     1256  18103 |        0 |        0
969.24/969.46	c  969s |      26 | 12471219 |  9427352 |     1256  18132 |        0 |        0
971.25/971.46	c  971s |      26 | 12495353 |  9445352 |     1256  18160 |        0 |        0
973.24/973.47	c  973s |      26 | 12520719 |  9464252 |     1256  18188 |        0 |        0
975.24/975.48	c  975s |      26 | 12546125 |  9483252 |     1256  18217 |        0 |        0
977.24/977.49	c  977s |      26 | 12568267 |  9500352 |     1256  18243 |        0 |        0
979.24/979.50	c  979s |      26 | 12590381 |  9517352 |     1256  18269 |        0 |        0
981.33/981.50	c  981s |      26 | 12610129 |  9532752 |     1256  18293 |        0 |        0
983.24/983.50	c  983s |      26 | 12629531 |  9548152 |     1256  18317 |        0 |        0
985.33/985.51	c  985s |      26 | 12653785 |  9566852 |     1256  18346 |        0 |        0
987.33/987.52	c  987s |      26 | 12676318 |  9583552 |     1256  18372 |        0 |        0
989.33/989.53	c  989s |      26 | 12697479 |  9599652 |     1256  18396 |        0 |        0
991.33/991.53	c  991s |      26 | 12721913 |  9617752 |     1256  18424 |        0 |        0
993.33/993.54	c  993s |      26 | 12747034 |  9636952 |     1256  18454 |        0 |        0
995.34/995.55	c  995s |      26 | 12772937 |  9656152 |     1256  18483 |        0 |        0
997.33/997.55	c  997s |      26 | 12798200 |  9675152 |     1256  18512 |        0 |        0
999.33/999.55	c  999s |      26 | 12819967 |  9692552 |     1256  18539 |        0 |        0
1001.34/1001.56	c 1001s |      26 | 12843067 |  9710552 |     1256  18567 |        0 |        0
1003.33/1003.56	c 1003s |      26 | 12867400 |  9729452 |     1256  18596 |        0 |        0
1005.34/1005.57	c 1005s |      26 | 12890114 |  9746652 |     1256  18623 |        0 |        0
1007.33/1007.57	c 1007s |      26 | 12911697 |  9763352 |     1256  18648 |        0 |        0
1009.33/1009.57	c 1009s |      26 | 12935991 |  9781252 |     1256  18676 |        0 |        0
1011.33/1011.58	c 1011s |      26 | 12958581 |  9798152 |     1256  18702 |        0 |        0
1013.33/1013.58	c 1013s |      26 | 12981220 |  9815952 |     1256  18730 |        0 |        0
1015.33/1015.58	c 1015s |      26 | 12998492 |  9829852 |     1256  18751 |        0 |        0
1017.34/1017.59	c 1017s |      26 | 13017642 |  9844952 |     1256  18774 |        0 |        0
1019.42/1019.60	c 1019s |      26 | 13036786 |  9859952 |     1256  18797 |        0 |        0
1021.42/1021.60	c 1021s |      26 | 13058868 |  9876552 |     1256  18823 |        0 |        0
1023.42/1023.61	c 1023s |      26 | 13077867 |  9891252 |     1256  18846 |        0 |        0
1025.42/1025.61	c 1025s |      26 | 13100433 |  9908152 |     1256  18872 |        0 |        0
1027.42/1027.62	c 1027s |      26 | 13124337 |  9926452 |     1256  18900 |        0 |        0
1029.43/1029.63	c 1029s |      26 | 13149638 |  9944952 |     1256  18928 |        0 |        0
1031.42/1031.63	c 1031s |      26 | 13173212 |  9962852 |     1256  18956 |        0 |        0
1033.42/1033.64	c 1033s |      26 | 13196294 |  9980352 |     1256  18982 |        0 |        0
1035.42/1035.64	c 1035s |      26 | 13218333 |  9997152 |     1256  19008 |        0 |        0
1037.42/1037.65	c 1037s |      26 | 13239652 | 10013352 |     1256  19033 |        0 |        0
1039.42/1039.65	c 1039s |      26 | 13261296 | 10030352 |     1256  19059 |        0 |        0
1041.41/1041.66	c 1041s |      26 | 13284510 | 10047552 |     1256  19085 |        0 |        0
1043.41/1043.68	c 1043s |      26 | 13308423 | 10065452 |     1256  19113 |        0 |        0
1045.42/1045.69	c 1045s |      26 | 13332630 | 10083652 |     1256  19140 |        0 |        0
1047.42/1047.69	c 1047s |      26 | 13358431 | 10102652 |     1256  19169 |        0 |        0
1049.51/1049.70	c 1049s |      26 | 13379442 | 10119452 |     1256  19195 |        0 |        0
1051.52/1051.71	c 1051s |      26 | 13404342 | 10138152 |     1256  19223 |        0 |        0
1053.51/1053.72	c 1053s |      26 | 13431014 | 10157852 |     1256  19254 |        0 |        0
1055.51/1055.72	c 1055s |      26 | 13455983 | 10176652 |     1256  19283 |        0 |        0
1057.51/1057.73	c 1057s |      26 | 13480113 | 10194452 |     1256  19311 |        0 |        0
1059.51/1059.74	c 1059s |      26 | 13506510 | 10214352 |     1256  19340 |        0 |        0
1061.51/1061.74	c 1061s |      26 | 13529817 | 10232352 |     1256  19367 |        0 |        0
1063.51/1063.75	c 1063s |      26 | 13553292 | 10250452 |     1256  19394 |        0 |        0
1065.50/1065.75	c 1065s |      26 | 13577213 | 10268652 |     1256  19421 |        0 |        0
1067.50/1067.75	c 1067s |      26 | 13601819 | 10287352 |     1256  19449 |        0 |        0
1069.49/1069.75	c 1069s |      26 | 13627196 | 10306752 |     1256  19478 |        0 |        0
1071.49/1071.75	c 1071s |      26 | 13651744 | 10325752 |     1256  19506 |        0 |        0
1073.50/1073.76	c 1073s |      26 | 13673953 | 10343452 |     1256  19533 |        0 |        0
1075.49/1075.77	c 1075s |      26 | 13697101 | 10361352 |     1256  19560 |        0 |        0
1077.49/1077.77	c 1077s |      26 | 13721989 | 10379852 |     1256  19588 |        0 |        0
1079.48/1079.78	c 1079s |      26 | 13746166 | 10397652 |     1256  19614 |        0 |        0
1081.48/1081.79	c 1081s |      26 | 13770476 | 10415452 |     1256  19641 |        0 |        0
1083.48/1083.79	c 1083s |      26 | 13791945 | 10431852 |     1256  19666 |        0 |        0
1085.49/1085.80	c 1085s |      26 | 13812061 | 10447052 |     1256  19690 |        0 |        0
1087.58/1087.80	c 1087s |      26 | 13834251 | 10463852 |     1256  19715 |        0 |        0
1089.58/1089.81	c 1089s |      26 | 13854144 | 10479852 |     1256  19740 |        0 |        0
1091.58/1091.82	c 1091s |      26 | 13876749 | 10497252 |     1256  19766 |        0 |        0
1093.58/1093.82	c 1093s |      26 | 13902007 | 10515952 |     1256  19795 |        0 |        0
1095.58/1095.82	c 1095s |      26 | 13924440 | 10533752 |     1256  19823 |        0 |        0
1097.58/1097.82	c 1097s |      26 | 13947962 | 10551352 |     1256  19850 |        0 |        0
1099.57/1099.83	c 1099s |      26 | 13973319 | 10570452 |     1256  19879 |        0 |        0
1101.57/1101.84	c 1101s |      26 | 13997922 | 10589552 |     1256  19908 |        0 |        0
1103.57/1103.85	c 1103s |      26 | 14023336 | 10608452 |     1256  19937 |        0 |        0
1105.57/1105.85	c 1105s |      26 | 14046399 | 10625952 |     1256  19964 |        0 |        0
1107.59/1107.85	c 1107s |      26 | 14069181 | 10643452 |     1256  19991 |        0 |        0
1109.57/1109.85	c 1109s |      26 | 14089131 | 10658952 |     1256  20015 |        0 |        0
1111.57/1111.86	c 1111s |      26 | 14108558 | 10674452 |     1256  20039 |        0 |        0
1113.57/1113.87	c 1113s |      26 | 14126852 | 10689752 |     1256  20063 |        0 |        0
1115.57/1115.88	c 1115s |      26 | 14149494 | 10707352 |     1256  20090 |        0 |        0
1117.57/1117.89	c 1117s |      26 | 14173297 | 10725152 |     1256  20118 |        0 |        0
1119.57/1119.89	c 1119s |      26 | 14195600 | 10742552 |     1256  20144 |        0 |        0
1121.57/1121.89	c 1121s |      26 | 14220529 | 10761352 |     1256  20173 |        0 |        0
1123.57/1123.89	c 1123s |      26 | 14242147 | 10778452 |     1256  20199 |        0 |        0
1125.66/1125.90	c 1125s |      26 | 14265450 | 10796352 |     1256  20226 |        0 |        0
1127.66/1127.91	c 1127s |      26 | 14287480 | 10814152 |     1256  20253 |        0 |        0
1129.66/1129.91	c 1129s |      26 | 14311290 | 10832252 |     1256  20280 |        0 |        0
1131.66/1131.91	c 1131s |      26 | 14335678 | 10850752 |     1256  20308 |        0 |        0
1133.65/1133.92	c 1133s |      26 | 14360785 | 10869452 |     1256  20337 |        0 |        0
1135.65/1135.93	c 1135s |      26 | 14384097 | 10887552 |     1256  20364 |        0 |        0
1137.65/1137.93	c 1137s |      26 | 14408649 | 10905752 |     1256  20392 |        0 |        0
1139.65/1139.93	c 1139s |      26 | 14432483 | 10923752 |     1256  20420 |        0 |        0
1141.65/1141.94	c 1141s |      26 | 14457745 | 10942852 |     1256  20449 |        0 |        0
1143.65/1143.95	c 1143s |      26 | 14482432 | 10961652 |     1256  20478 |        0 |        0
1145.65/1145.96	c 1145s |      26 | 14505821 | 10979852 |     1256  20506 |        0 |        0
1147.65/1147.97	c 1147s |      26 | 14527644 | 10995952 |     1256  20530 |        0 |        0
1149.65/1149.97	c 1149s |      26 | 14550559 | 11013352 |     1256  20557 |        0 |        0
1151.65/1151.98	c 1151s |      26 | 14570523 | 11028852 |     1256  20581 |        0 |        0
1153.66/1153.99	c 1153s |      26 | 14594232 | 11047252 |     1256  20610 |        0 |        0
1155.75/1156.00	c 1155s |      26 | 14616582 | 11065152 |     1256  20637 |        0 |        0
1157.74/1158.01	c 1157s |      26 | 14639083 | 11082952 |     1256  20664 |        0 |        0
1159.74/1160.01	c 1159s |      26 | 14658220 | 11097752 |     1256  20686 |        0 |        0
1161.74/1162.02	c 1162s |      26 | 14678263 | 11112852 |     1256  20709 |        0 |        0
1163.74/1164.03	c 1164s |      26 | 14699900 | 11129352 |     1256  20735 |        0 |        0
1165.74/1166.03	c 1166s |      26 | 14721330 | 11145552 |     1256  20759 |        0 |        0
1167.73/1168.04	c 1168s |      26 | 14746121 | 11163952 |     1256  20787 |        0 |        0
1169.73/1170.05	c 1170s |      26 | 14768266 | 11181152 |     1256  20814 |        0 |        0
1171.73/1172.05	c 1172s |      26 | 14793053 | 11199352 |     1256  20842 |        0 |        0
1173.73/1174.06	c 1174s |      26 | 14817531 | 11217652 |     1256  20870 |        0 |        0
1175.74/1176.06	c 1176s |      26 | 14839889 | 11234852 |     1256  20896 |        0 |        0
1177.73/1178.06	c 1178s |      26 | 14864412 | 11252552 |     1256  20924 |        0 |        0
1179.73/1180.07	c 1180s |      26 | 14886938 | 11269752 |     1256  20950 |        0 |        0
1181.73/1182.08	c 1182s |      26 | 14909500 | 11287152 |     1256  20977 |        0 |        0
1183.73/1184.09	c 1184s |      26 | 14929813 | 11302752 |     1256  21001 |        0 |        0
1185.83/1186.10	c 1186s |      26 | 14947344 | 11316852 |     1382  21022 |        0 |        0
1187.83/1188.11	c 1188s |      26 | 14967403 | 11331952 |     1382  21043 |        0 |        0
1189.82/1190.11	c 1190s |      26 | 14989134 | 11348852 |     1382  21067 |        0 |        0
1191.82/1192.12	c 1192s |      26 | 15008620 | 11364552 |     1382  21089 |        0 |        0
1193.82/1194.12	c 1194s |      26 | 15029017 | 11380752 |     1382  21112 |        0 |        0
1195.82/1196.11	c 1196s |      27 | 15049494 | 11396733 |     1382  21134 |        0 |        0
1197.81/1198.12	c 1198s |      27 | 15072382 | 11414433 |     1382  21158 |        0 |        0
1199.82/1200.13	c 1200s |      27 | 15093990 | 11431333 |     1382  21181 |        0 |        0
1201.81/1202.13	c 1202s |      27 | 15117063 | 11448733 |     1382  21205 |        0 |        0
1203.81/1204.13	c 1204s |      27 | 15138964 | 11465633 |     1382  21228 |        0 |        0
1205.82/1206.15	c 1206s |      27 | 15163575 | 11483633 |     1382  21253 |        0 |        0
1207.81/1208.15	c 1208s |      27 | 15186116 | 11500133 |     1382  21277 |        0 |        0
1209.82/1210.16	c 1210s |      27 | 15206178 | 11515733 |     1382  21299 |        0 |        0
1211.81/1212.16	c 1212s |      27 | 15226617 | 11531733 |     1382  21321 |        0 |        0
1213.81/1214.17	c 1214s |      27 | 15250571 | 11549633 |     1382  21346 |        0 |        0
1215.81/1216.18	c 1216s |      27 | 15276499 | 11568733 |     1382  21372 |        0 |        0
1217.80/1218.19	c 1218s |      27 | 15299211 | 11585733 |     1382  21395 |        0 |        0
1219.90/1220.20	c 1220s |      27 | 15322276 | 11602833 |     1382  21419 |        0 |        0
1221.81/1222.20	c 1222s |      27 | 15347272 | 11621033 |     1382  21445 |        0 |        0
1223.90/1224.21	c 1224s |      27 | 15373981 | 11640633 |     1382  21472 |        0 |        0
1225.90/1226.22	c 1226s |      27 | 15400866 | 11659933 |     1382  21499 |        0 |        0
1227.90/1228.23	c 1228s |      27 | 15425858 | 11678233 |     1382  21524 |        0 |        0
1229.90/1230.23	c 1230s |      27 | 15451460 | 11697033 |     1382  21551 |        0 |        0
1231.90/1232.23	c 1232s |      27 | 15477798 | 11716133 |     1382  21577 |        0 |        0
1233.90/1234.23	c 1234s |      27 | 15503146 | 11734933 |     1382  21603 |        0 |        0
1235.90/1236.23	c 1236s |      27 | 15529147 | 11753733 |     1382  21630 |        0 |        0
1237.89/1238.24	c 1238s |      27 | 15556798 | 11773533 |     1382  21657 |        0 |        0
1239.89/1240.25	c 1240s |      27 | 15582106 | 11792533 |     1382  21683 |        0 |        0
1241.89/1242.26	c 1242s |      27 | 15607370 | 11811433 |     1382  21709 |        0 |        0
1243.89/1244.26	c 1244s |      27 | 15631286 | 11829633 |     1382  21734 |        0 |        0
1245.88/1246.26	c 1246s |      27 | 15654706 | 11847133 |     1382  21758 |        0 |        0
1247.88/1248.27	c 1248s |      27 | 15679803 | 11865833 |     1382  21784 |        0 |        0
1249.88/1250.27	c 1250s |      27 | 15703887 | 11884033 |     1382  21810 |        0 |        0
1251.88/1252.28	c 1252s |      27 | 15728690 | 11902433 |     1382  21836 |        0 |        0
1253.88/1254.29	c 1254s |      27 | 15751854 | 11920033 |     1382  21860 |        0 |        0
1255.89/1256.29	c 1256s |      27 | 15776280 | 11938133 |     1382  21886 |        0 |        0
1257.97/1258.30	c 1258s |      27 | 15800196 | 11956033 |     1382  21911 |        0 |        0
1259.97/1260.31	c 1260s |      27 | 15824226 | 11974133 |     1382  21936 |        0 |        0
1261.98/1262.31	c 1262s |      27 | 15848021 | 11992033 |     1382  21961 |        0 |        0
1263.98/1264.31	c 1264s |      27 | 15874650 | 12010633 |     1382  21987 |        0 |        0
1265.98/1266.31	c 1266s |      27 | 15900718 | 12029733 |     1382  22014 |        0 |        0
1267.98/1268.32	c 1268s |      27 | 15925158 | 12046833 |     1382  22038 |        0 |        0
1269.97/1270.33	c 1270s |      27 | 15950338 | 12065233 |     1382  22063 |        0 |        0
1271.97/1272.34	c 1272s |      27 | 15976298 | 12084333 |     1382  22090 |        0 |        0
1273.97/1274.34	c 1274s |      27 | 16004233 | 12104233 |     1382  22118 |        0 |        0
1275.97/1276.35	c 1276s |      27 | 16031321 | 12123233 |     1382  22145 |        0 |        0
1277.97/1278.35	c 1278s |      27 | 16056683 | 12141933 |     1382  22171 |        0 |        0
1279.97/1280.36	c 1280s |      27 | 16081181 | 12160333 |     1382  22197 |        0 |        0
1281.97/1282.37	c 1282s |      27 | 16105467 | 12178433 |     1382  22223 |        0 |        0
1283.96/1284.37	c 1284s |      27 | 16130568 | 12196433 |     1382  22249 |        0 |        0
1285.96/1286.39	c 1286s |      27 | 16156335 | 12214633 |     1382  22275 |        0 |        0
1287.96/1288.39	c 1288s |      27 | 16181853 | 12233133 |     1382  22301 |        0 |        0
1289.97/1290.40	c 1290s |      27 | 16206559 | 12251833 |     1382  22327 |        0 |        0
1292.06/1292.40	c 1292s |      27 | 16231357 | 12270033 |     1382  22353 |        0 |        0
1294.06/1294.41	c 1294s |      27 | 16255997 | 12287933 |     1382  22378 |        0 |        0
1296.06/1296.41	c 1296s |      27 | 16281758 | 12306033 |     1382  22404 |        0 |        0
1298.05/1298.41	c 1298s |      27 | 16307598 | 12324833 |     1382  22430 |        0 |        0
1300.05/1300.42	c 1300s |      27 | 16332091 | 12342933 |     1382  22455 |        0 |        0
1302.06/1302.42	c 1302s |      27 | 16358246 | 12361933 |     1382  22482 |        0 |        0
1304.05/1304.42	c 1304s |      27 | 16385691 | 12381133 |     1382  22509 |        0 |        0
1306.05/1306.43	c 1306s |      27 | 16411227 | 12399833 |     1382  22536 |        0 |        0
1308.05/1308.43	c 1308s |      27 | 16435483 | 12417733 |     1382  22561 |        0 |        0
1310.05/1310.43	c 1310s |      27 | 16459931 | 12435833 |     1382  22587 |        0 |        0
1312.05/1312.44	c 1312s |      27 | 16484272 | 12453133 |     1382  22611 |        0 |        0
1314.04/1314.44	c 1314s |      27 | 16509844 | 12471433 |     1382  22637 |        0 |        0
1316.04/1316.45	c 1316s |      27 | 16535243 | 12489433 |     1382  22662 |        0 |        0
1318.04/1318.45	c 1318s |      27 | 16559562 | 12507633 |     1382  22688 |        0 |        0
1320.04/1320.45	c 1320s |      27 | 16585987 | 12526533 |     1382  22714 |        0 |        0
1322.04/1322.46	c 1322s |      27 | 16611519 | 12544833 |     1382  22740 |        0 |        0
1324.04/1324.47	c 1324s |      27 | 16635129 | 12562433 |     1382  22765 |        0 |        0
1326.04/1326.48	c 1326s |      27 | 16660085 | 12580433 |     1382  22790 |        0 |        0
1328.03/1328.49	c 1328s |      27 | 16685961 | 12599333 |     1382  22817 |        0 |        0
1330.03/1330.49	c 1330s |      27 | 16711476 | 12617633 |     1382  22843 |        0 |        0
1332.03/1332.49	c 1332s |      27 | 16737074 | 12636633 |     1382  22869 |        0 |        0
1334.13/1334.50	c 1334s |      27 | 16761192 | 12654933 |     1382  22894 |        0 |        0
1336.13/1336.51	c 1336s |      27 | 16786201 | 12673533 |     1382  22920 |        0 |        0
1338.13/1338.52	c 1338s |      27 | 16810951 | 12691833 |     1382  22946 |        0 |        0
1340.13/1340.52	c 1340s |      27 | 16836823 | 12710733 |     1382  22972 |        0 |        0
1342.13/1342.53	c 1342s |      27 | 16860369 | 12728733 |     1382  22998 |        0 |        0
1344.13/1344.54	c 1344s |      27 | 16886478 | 12747633 |     1382  23025 |        0 |        0
1346.14/1346.54	c 1346s |      27 | 16909990 | 12765133 |     1382  23050 |        0 |        0
1348.12/1348.55	c 1348s |      27 | 16933699 | 12782733 |     1382  23074 |        0 |        0
1350.12/1350.55	c 1350s |      27 | 16956435 | 12800233 |     1382  23099 |        0 |        0
1352.12/1352.56	c 1352s |      27 | 16980309 | 12817933 |     1382  23125 |        0 |        0
1354.12/1354.57	c 1354s |      27 | 17006358 | 12836933 |     1382  23152 |        0 |        0
1356.12/1356.57	c 1356s |      27 | 17031402 | 12855233 |     1382  23178 |        0 |        0
1358.12/1358.57	c 1358s |      27 | 17055236 | 12873033 |     1382  23203 |        0 |        0
1360.12/1360.58	c 1360s |      27 | 17079926 | 12890633 |     1382  23228 |        0 |        0
1362.12/1362.59	c 1362s |      27 | 17105022 | 12908833 |     1382  23253 |        0 |        0
1364.11/1364.59	c 1364s |      27 | 17130871 | 12927533 |     1382  23280 |        0 |        0
1366.21/1366.60	c 1366s |      27 | 17155741 | 12945133 |     1382  23305 |        0 |        0
1368.21/1368.60	c 1368s |      27 | 17179305 | 12962133 |     1382  23329 |        0 |        0
1370.21/1370.61	c 1370s |      27 | 17202977 | 12979933 |     1382  23355 |        0 |        0
1372.20/1372.61	c 1372s |      27 | 17227009 | 12996733 |     1382  23379 |        0 |        0
1374.20/1374.62	c 1374s |      27 | 17248746 | 13013033 |     1382  23402 |        0 |        0
1376.20/1376.62	c 1376s |      27 | 17272063 | 13030033 |     1382  23425 |        0 |        0
1378.19/1378.63	c 1378s |      27 | 17292759 | 13045733 |     1382  23448 |        0 |        0
1380.20/1380.63	c 1380s |      27 | 17314690 | 13061933 |     1382  23471 |        0 |        0
1382.19/1382.65	c 1382s |      27 | 17335718 | 13077933 |     1382  23494 |        0 |        0
1384.19/1384.65	c 1384s |      27 | 17358763 | 13094833 |     1382  23518 |        0 |        0
1386.19/1386.65	c 1386s |      27 | 17382611 | 13111333 |     1382  23541 |        0 |        0
1388.19/1388.66	c 1388s |      27 | 17408221 | 13128833 |     1382  23566 |        0 |        0
1390.18/1390.66	c 1390s |      27 | 17434549 | 13146933 |     1382  23592 |        0 |        0
1392.19/1392.67	c 1392s |      27 | 17459666 | 13165033 |     1382  23617 |        0 |        0
1394.18/1394.67	c 1394s |      27 | 17483822 | 13181633 |     1382  23641 |        0 |        0
1396.18/1396.68	c 1396s |      27 | 17508229 | 13199333 |     1382  23666 |        0 |        0
1398.18/1398.69	c 1398s |      27 | 17536296 | 13218033 |     1382  23692 |        0 |        0
1400.28/1400.70	c 1400s |      27 | 17561318 | 13235333 |     1382  23716 |        0 |        0
1402.29/1402.70	c 1402s |      27 | 17583618 | 13251633 |     1382  23740 |        0 |        0
1404.19/1404.70	c 1404s |      27 | 17608019 | 13268833 |     1382  23764 |        0 |        0
1406.29/1406.71	c 1406s |      27 | 17631286 | 13286033 |     1382  23788 |        0 |        0
1408.28/1408.71	c 1408s |      27 | 17654998 | 13302733 |     1382  23811 |        0 |        0
1410.28/1410.72	c 1410s |      27 | 17679082 | 13320333 |     1382  23835 |        0 |        0
1412.28/1412.72	c 1412s |      27 | 17705196 | 13339033 |     1382  23862 |        0 |        0
1414.28/1414.73	c 1414s |      27 | 17730580 | 13357633 |     1382  23888 |        0 |        0
1416.27/1416.74	c 1416s |      27 | 17757359 | 13376933 |     1382  23915 |        0 |        0
1418.27/1418.75	c 1418s |      27 | 17783216 | 13395933 |     1382  23941 |        0 |        0
1420.27/1420.75	c 1420s |      27 | 17809613 | 13415033 |     1382  23968 |        0 |        0
1422.27/1422.76	c 1422s |      27 | 17834247 | 13433433 |     1382  23994 |        0 |        0
1424.27/1424.77	c 1424s |      27 | 17859905 | 13452133 |     1382  24021 |        0 |        0
1426.27/1426.77	c 1426s |      27 | 17885786 | 13470633 |     1382  24047 |        0 |        0
1428.26/1428.78	c 1428s |      27 | 17909269 | 13487833 |     1382  24071 |        0 |        0
1430.26/1430.78	c 1430s |      27 | 17932742 | 13505433 |     1382  24096 |        0 |        0
1432.26/1432.79	c 1432s |      27 | 17957094 | 13523333 |     1382  24121 |        0 |        0
1434.26/1434.79	c 1434s |      27 | 17981851 | 13540933 |     1382  24146 |        0 |        0
1436.36/1436.80	c 1436s |      27 | 18006377 | 13559133 |     1382  24172 |        0 |        0
1438.36/1438.80	c 1438s |      27 | 18029184 | 13576133 |     1382  24196 |        0 |        0
1440.35/1440.80	c 1440s |      27 | 18050589 | 13592433 |     1382  24219 |        0 |        0
1442.36/1442.81	c 1442s |      27 | 18075450 | 13610533 |     1382  24245 |        0 |        0
1444.36/1444.82	c 1444s |      27 | 18100129 | 13627933 |     1382  24269 |        0 |        0
1446.36/1446.82	c 1446s |      27 | 18120242 | 13642733 |     1382  24290 |        0 |        0
1448.36/1448.83	c 1448s |      27 | 18143695 | 13659733 |     1382  24314 |        0 |        0
1450.35/1450.85	c 1450s |      27 | 18167167 | 13677033 |     1382  24339 |        0 |        0
1452.35/1452.85	c 1452s |      27 | 18190055 | 13694033 |     1382  24363 |        0 |        0
1454.35/1454.85	c 1454s |      27 | 18215233 | 13712333 |     1382  24388 |        0 |        0
1456.35/1456.86	c 1456s |      27 | 18236844 | 13728533 |     1382  24411 |        0 |        0
1458.34/1458.87	c 1458s |      27 | 18258564 | 13745033 |     1382  24434 |        0 |        0
1460.35/1460.87	c 1460s |      27 | 18282302 | 13761733 |     1382  24458 |        0 |        0
1462.34/1462.88	c 1462s |      27 | 18307126 | 13779733 |     1382  24484 |        0 |        0
1464.34/1464.89	c 1464s |      27 | 18332189 | 13797733 |     1382  24509 |        0 |        0
1466.34/1466.89	c 1466s |      27 | 18355871 | 13815433 |     1382  24534 |        0 |        0
1468.44/1468.90	c 1468s |      27 | 18381375 | 13833633 |     1382  24560 |        0 |        0
1470.44/1470.90	c 1470s |      27 | 18407695 | 13852333 |     1382  24586 |        0 |        0
1472.44/1472.91	c 1472s |      27 | 18433972 | 13870933 |     1382  24612 |        0 |        0
1474.43/1474.91	c 1474s |      27 | 18456900 | 13887933 |     1382  24635 |        0 |        0
1476.43/1476.92	c 1476s |      27 | 18478119 | 13903733 |     1382  24657 |        0 |        0
1478.43/1478.93	c 1478s |      27 | 18499477 | 13919733 |     1382  24680 |        0 |        0
1480.43/1480.93	c 1480s |      27 | 18524254 | 13937633 |     1382  24705 |        0 |        0
1482.43/1482.94	c 1482s |      27 | 18549036 | 13956133 |     1382  24731 |        0 |        0
1484.43/1484.95	c 1484s |      27 | 18571582 | 13972433 |     1382  24754 |        0 |        0
1486.43/1486.96	c 1486s |      27 | 18594176 | 13989333 |     1382  24778 |        0 |        0
1488.43/1488.97	c 1488s |      27 | 18617139 | 14006133 |     1382  24801 |        0 |        0
1490.43/1490.98	c 1490s |      27 | 18641529 | 14024133 |     1382  24827 |        0 |        0
1492.43/1492.99	c 1492s |      27 | 18666866 | 14042633 |     1382  24853 |        0 |        0
1494.44/1494.99	c 1494s |      27 | 18690642 | 14060033 |     1382  24877 |        0 |        0
1496.53/1497.00	c 1496s |      27 | 18714321 | 14078133 |     1382  24901 |        0 |        0
1498.53/1499.01	c 1498s |      27 | 18737546 | 14095333 |     1382  24925 |        0 |        0
1500.52/1501.02	c 1501s |      27 | 18761019 | 14112933 |     1382  24949 |        0 |        0
1502.52/1503.03	c 1503s |      27 | 18784484 | 14130833 |     1382  24974 |        0 |        0
1504.52/1505.03	c 1505s |      27 | 18811507 | 14150533 |     1382  25001 |        0 |        0
1506.53/1507.04	c 1507s |      27 | 18836218 | 14168133 |     1382  25025 |        0 |        0
1508.51/1509.04	c 1509s |      27 | 18864335 | 14185833 |     1382  25050 |        0 |        0
1510.51/1511.05	c 1511s |      27 | 18890458 | 14203733 |     1382  25075 |        0 |        0
1512.51/1513.06	c 1513s |      27 | 18916580 | 14220833 |     1382  25099 |        0 |        0
1514.51/1515.07	c 1515s |      27 | 18943312 | 14238333 |     1382  25123 |        0 |        0
1516.52/1517.08	c 1517s |      27 | 18968338 | 14255733 |     1382  25147 |        0 |        0
1518.50/1519.08	c 1519s |      27 | 18990325 | 14271633 |     1382  25169 |        0 |        0
1520.50/1521.08	c 1521s |      27 | 19015661 | 14289233 |     1382  25194 |        0 |        0
1522.50/1523.09	c 1523s |      27 | 19040703 | 14307133 |     1382  25219 |        0 |        0
1524.50/1525.09	c 1525s |      27 | 19064888 | 14324733 |     1382  25243 |        0 |        0
1526.60/1527.10	c 1527s |      27 | 19087604 | 14341633 |     1382  25267 |        0 |        0
1528.61/1529.11	c 1529s |      27 | 19109245 | 14357033 |     1382  25288 |        0 |        0
1530.60/1531.11	c 1531s |      27 | 19131991 | 14373133 |     1382  25311 |        0 |        0
1532.60/1533.11	c 1533s |      27 | 19153582 | 14389533 |     1382  25334 |        0 |        0
1534.60/1535.12	c 1535s |      27 | 19178700 | 14407833 |     1382  25360 |        0 |        0
1536.60/1537.13	c 1537s |      27 | 19205290 | 14426233 |     1382  25385 |        0 |        0
1538.59/1539.14	c 1539s |      27 | 19229958 | 14444233 |     1382  25410 |        0 |        0
1540.60/1541.14	c 1541s |      27 | 19250763 | 14459733 |     1382  25431 |        0 |        0
1542.59/1543.15	c 1543s |      27 | 19272097 | 14475233 |     1382  25453 |        0 |        0
1544.59/1545.15	c 1545s |      27 | 19295072 | 14492133 |     1382  25476 |        0 |        0
1546.59/1547.16	c 1547s |      27 | 19318897 | 14509433 |     1382  25500 |        0 |        0
1548.59/1549.16	c 1549s |      27 | 19343479 | 14526933 |     1382  25524 |        0 |        0
1550.60/1551.17	c 1551s |      27 | 19366196 | 14544133 |     1382  25548 |        0 |        0
1552.59/1553.18	c 1553s |      27 | 19389095 | 14561233 |     1382  25571 |        0 |        0
1554.59/1555.18	c 1555s |      27 | 19412030 | 14578033 |     1382  25595 |        0 |        0
1556.59/1557.18	c 1557s |      27 | 19434758 | 14594533 |     1382  25618 |        0 |        0
1558.58/1559.19	c 1559s |      27 | 19458937 | 14611733 |     1382  25642 |        0 |        0
1560.68/1561.20	c 1561s |      27 | 19481021 | 14627833 |     1382  25664 |        0 |        0
1562.59/1563.20	c 1563s |      27 | 19504104 | 14645133 |     1382  25688 |        0 |        0
1564.68/1565.21	c 1565s |      27 | 19526525 | 14661633 |     1382  25711 |        0 |        0
1566.68/1567.22	c 1567s |      27 | 19549435 | 14678633 |     1382  25734 |        0 |        0
1568.68/1569.22	c 1569s |      27 | 19573274 | 14696033 |     1382  25758 |        0 |        0
1570.67/1571.23	c 1571s |      27 | 19598296 | 14713733 |     1382  25782 |        0 |        0
1572.67/1573.24	c 1573s |      27 | 19623542 | 14731633 |     1382  25807 |        0 |        0
1574.68/1575.24	c 1575s |      27 | 19645452 | 14748333 |     1382  25830 |        0 |        0
1576.67/1577.26	c 1577s |      27 | 19669220 | 14766033 |     1382  25855 |        0 |        0
1578.66/1579.27	c 1579s |      27 | 19692384 | 14783533 |     1382  25879 |        0 |        0
1580.66/1581.27	c 1581s |      27 | 19716270 | 14800733 |     1382  25902 |        0 |        0
1582.66/1583.27	c 1583s |      27 | 19741091 | 14818233 |     1382  25927 |        0 |        0
1584.67/1585.28	c 1585s |      27 | 19764793 | 14835433 |     1382  25951 |        0 |        0
1586.66/1587.29	c 1587s |      27 | 19790006 | 14853233 |     1382  25975 |        0 |        0
1588.66/1589.29	c 1589s |      27 | 19812060 | 14869133 |     1382  25998 |        0 |        0
1590.76/1591.30	c 1591s |      27 | 19831804 | 14883933 |     1382  26018 |        0 |        0
1592.76/1593.31	c 1593s |      27 | 19854516 | 14900033 |     1382  26041 |        0 |        0
1594.76/1595.31	c 1595s |      27 | 19876819 | 14916433 |     1382  26063 |        0 |        0
1596.76/1597.32	c 1597s |      27 | 19898049 | 14931933 |     1382  26085 |        0 |        0
1598.75/1599.32	c 1599s |      27 | 19918571 | 14947233 |     1382  26106 |        0 |        0
1600.75/1601.32	c 1601s |      27 | 19940444 | 14962933 |     1382  26128 |        0 |        0
1602.75/1603.32	c 1603s |      27 | 19963078 | 14979533 |     1382  26151 |        0 |        0
1604.75/1605.32	c 1605s |      27 | 19984637 | 14995633 |     1382  26173 |        0 |        0
1606.76/1607.33	c 1607s |      27 | 20005360 | 15011233 |     1382  26195 |        0 |        0
1608.76/1609.34	c 1609s |      27 | 20028309 | 15027933 |     1382  26219 |        0 |        0
1610.75/1611.34	c 1611s |      27 | 20052267 | 15045733 |     1382  26243 |        0 |        0
1612.75/1613.34	c 1613s |      27 | 20075745 | 15062833 |     1382  26267 |        0 |        0
1614.75/1615.34	c 1615s |      27 | 20099403 | 15080733 |     1382  26292 |        0 |        0
1616.75/1617.35	c 1617s |      27 | 20123327 | 15098533 |     1382  26317 |        0 |        0
1618.75/1619.35	c 1619s |      27 | 20148212 | 15116533 |     1382  26342 |        0 |        0
1620.74/1621.36	c 1621s |      27 | 20170056 | 15133033 |     1382  26364 |        0 |        0
1622.74/1623.36	c 1623s |      27 | 20194105 | 15150633 |     1382  26389 |        0 |        0
1624.74/1625.37	c 1625s |      27 | 20216045 | 15166733 |     1382  26411 |        0 |        0
1626.74/1627.37	c 1627s |      27 | 20234698 | 15180533 |     1382  26430 |        0 |        0
1628.74/1629.38	c 1629s |      27 | 20250298 | 15193233 |     1382  26448 |        0 |        0
1630.74/1631.38	c 1631s |      27 | 20271124 | 15208233 |     1382  26469 |        0 |        0
1632.73/1633.39	c 1633s |      27 | 20292752 | 15224433 |     1382  26491 |        0 |        0
1634.73/1635.39	c 1635s |      27 | 20316349 | 15241633 |     1382  26515 |        0 |        0
1636.73/1637.40	c 1637s |      27 | 20337884 | 15258233 |     1382  26537 |        0 |        0
1638.83/1639.40	c 1639s |      27 | 20359902 | 15274733 |     1382  26560 |        0 |        0
1640.83/1641.41	c 1641s |      27 | 20381558 | 15291533 |     1382  26583 |        0 |        0
1642.84/1643.41	c 1643s |      27 | 20404544 | 15308133 |     1382  26605 |        0 |        0
1644.83/1645.41	c 1645s |      27 | 20428653 | 15325533 |     1382  26629 |        0 |        0
1646.83/1647.43	c 1647s |      27 | 20452196 | 15342533 |     1382  26652 |        0 |        0
1648.82/1649.43	c 1649s |      27 | 20475514 | 15359633 |     1382  26676 |        0 |        0
1650.82/1651.44	c 1651s |      27 | 20499534 | 15376933 |     1382  26700 |        0 |        0
1652.83/1653.44	c 1653s |      27 | 20523659 | 15394533 |     1382  26724 |        0 |        0
1654.82/1655.45	c 1655s |      27 | 20547152 | 15411533 |     1382  26747 |        0 |        0
1656.82/1657.45	c 1657s |      27 | 20571088 | 15428833 |     1382  26772 |        0 |        0
1658.82/1659.46	c 1659s |      27 | 20595523 | 15445733 |     1382  26795 |        0 |        0
1660.82/1661.46	c 1661s |      27 | 20620772 | 15463233 |     1382  26819 |        0 |        0
1662.82/1663.46	c 1663s |      27 | 20644573 | 15481033 |     1382  26844 |        0 |        0
1664.83/1665.47	c 1665s |      27 | 20668762 | 15497933 |     1382  26867 |        0 |        0
1666.82/1667.48	c 1667s |      27 | 20692052 | 15514533 |     1382  26890 |        0 |        0
1668.82/1669.48	c 1669s |      27 | 20713944 | 15530833 |     1382  26913 |        0 |        0
1670.82/1671.49	c 1671s |      27 | 20735045 | 15546433 |     1382  26934 |        0 |        0
1672.91/1673.50	c 1673s |      27 | 20756060 | 15562833 |     1382  26958 |        0 |        0
1674.92/1675.50	c 1675s |      27 | 20776801 | 15578533 |     1382  26980 |        0 |        0
1676.92/1677.51	c 1677s |      27 | 20798070 | 15594533 |     1382  27002 |        0 |        0
1678.91/1679.52	c 1679s |      27 | 20821034 | 15611233 |     1382  27026 |        0 |        0
1680.91/1681.52	c 1681s |      27 | 20843397 | 15627233 |     1382  27048 |        0 |        0
1682.91/1683.53	c 1683s |      27 | 20867558 | 15645133 |     1382  27073 |        0 |        0
1684.91/1685.53	c 1685s |      27 | 20890733 | 15662033 |     1382  27097 |        0 |        0
1686.92/1687.54	c 1687s |      27 | 20910246 | 15677333 |     1382  27118 |        0 |        0
1688.91/1689.55	c 1689s |      27 | 20932745 | 15693933 |     1382  27141 |        0 |        0
1690.91/1691.55	c 1691s |      27 | 20955823 | 15710833 |     1382  27164 |        0 |        0
1692.91/1693.56	c 1693s |      27 | 20976281 | 15726533 |     1382  27186 |        0 |        0
1694.91/1695.57	c 1695s |      27 | 20998838 | 15742833 |     1382  27208 |        0 |        0
1696.92/1697.57	c 1697s |      27 | 21023076 | 15760633 |     1382  27233 |        0 |        0
1698.92/1699.58	c 1699s |      27 | 21046542 | 15777933 |     1382  27257 |        0 |        0
1700.91/1701.59	c 1701s |      27 | 21071730 | 15795633 |     1382  27283 |        0 |        0
1702.91/1703.59	c 1703s |      27 | 21095262 | 15812933 |     1382  27307 |        0 |        0
1704.91/1705.59	c 1705s |      27 | 21117541 | 15829233 |     1382  27330 |        0 |        0
1706.91/1707.59	c 1707s |      27 | 21138700 | 15845633 |     1382  27352 |        0 |        0
1709.01/1709.60	c 1709s |      27 | 21160296 | 15861633 |     1382  27375 |        0 |        0
1710.91/1711.60	c 1711s |      27 | 21181507 | 15877933 |     1382  27397 |        0 |        0
1713.01/1713.60	c 1713s |      27 | 21203275 | 15894133 |     1382  27420 |        0 |        0
1715.01/1715.61	c 1715s |      27 | 21226780 | 15911533 |     1382  27445 |        0 |        0
1717.01/1717.62	c 1717s |      27 | 21249479 | 15928433 |     1382  27469 |        0 |        0
1719.01/1719.62	c 1719s |      27 | 21273244 | 15945233 |     1382  27492 |        0 |        0
1721.02/1721.63	c 1721s |      27 | 21293040 | 15959933 |     1382  27513 |        0 |        0
1723.01/1723.65	c 1723s |      27 | 21312803 | 15974633 |     1382  27534 |        0 |        0
1725.01/1725.66	c 1725s |      27 | 21333681 | 15990033 |     1382  27555 |        0 |        0
1727.01/1727.67	c 1727s |      27 | 21355338 | 16005633 |     1382  27577 |        0 |        0
1729.01/1729.67	c 1729s |      27 | 21378563 | 16022533 |     1382  27600 |        0 |        0
1731.01/1731.68	c 1731s |      27 | 21400240 | 16038033 |     1382  27621 |        0 |        0
1733.01/1733.69	c 1733s |      27 | 21424847 | 16055433 |     1382  27646 |        0 |        0
1735.10/1735.70	c 1735s |      27 | 21448059 | 16072633 |     1382  27669 |        0 |        0
1737.10/1737.71	c 1737s |      27 | 21469114 | 16088033 |     1382  27691 |        0 |        0
1739.10/1739.72	c 1739s |      27 | 21491113 | 16103533 |     1382  27712 |        0 |        0
1741.10/1741.72	c 1741s |      27 | 21512942 | 16119333 |     1382  27734 |        0 |        0
1743.10/1743.73	c 1743s |      27 | 21537923 | 16137233 |     1382  27759 |        0 |        0
1745.11/1745.73	c 1745s |      27 | 21561227 | 16154533 |     1382  27783 |        0 |        0
1747.11/1747.73	c 1747s |      27 | 21581809 | 16169233 |     1382  27803 |        0 |        0
1749.11/1749.74	c 1749s |      27 | 21605206 | 16186633 |     1382  27828 |        0 |        0
1751.11/1751.74	c 1751s |      27 | 21628451 | 16203933 |     1382  27852 |        0 |        0
1753.11/1753.75	c 1753s |      27 | 21651234 | 16220933 |     1382  27875 |        0 |        0
1755.11/1755.75	c 1755s |      27 | 21671790 | 16236533 |     1382  27896 |        0 |        0
1757.11/1757.76	c 1757s |      27 | 21693911 | 16253033 |     1382  27919 |        0 |        0
1759.11/1759.77	c 1759s |      27 | 21713839 | 16268233 |     1382  27939 |        0 |        0
1761.11/1761.77	c 1761s |      27 | 21737623 | 16285233 |     1382  27963 |        0 |        0
1763.11/1763.77	c 1763s |      27 | 21760784 | 16302233 |     1382  27987 |        0 |        0
1765.11/1765.79	c 1765s |      27 | 21781767 | 16317733 |     1382  28008 |        0 |        0
1767.11/1767.79	c 1767s |      27 | 21802154 | 16332633 |     1382  28029 |        0 |        0
1769.10/1769.79	c 1769s |      27 | 21825087 | 16349033 |     1382  28052 |        0 |        0
1771.20/1771.80	c 1771s |      27 | 21846388 | 16365233 |     1382  28074 |        0 |        0
1773.20/1773.81	c 1773s |      27 | 21870578 | 16383033 |     1382  28099 |        0 |        0
1775.20/1775.81	c 1775s |      27 | 21892304 | 16398933 |     1382  28121 |        0 |        0
1777.20/1777.82	c 1777s |      27 | 21912688 | 16414033 |     1382  28142 |        0 |        0
1779.21/1779.82	c 1779s |      27 | 21935685 | 16430733 |     1382  28165 |        0 |        0
1781.20/1781.82	c 1781s |      27 | 21958650 | 16447233 |     1382  28189 |        0 |        0
1783.20/1783.83	c 1783s |      27 | 21979991 | 16463233 |     1382  28211 |        0 |        0
1785.20/1785.84	c 1785s |      27 | 22004166 | 16480933 |     1382  28236 |        0 |        0
1787.20/1787.84	c 1787s |      27 | 22026740 | 16497333 |     1382  28259 |        0 |        0
1789.21/1789.85	c 1789s |      27 | 22048060 | 16512933 |     1382  28280 |        0 |        0
1791.20/1791.85	c 1791s |      27 | 22068572 | 16528033 |     1382  28301 |        0 |        0
1793.20/1793.86	c 1793s |      27 | 22091639 | 16544333 |     1382  28324 |        0 |        0
1795.20/1795.87	c 1795s |      27 | 22114560 | 16560833 |     1382  28347 |        0 |        0
1797.19/1797.88	c 1797s |      27 | 22136273 | 16576833 |     1382  28370 |        0 |        0
1799.19/1799.89	c 1799s |      27 | 22156912 | 16592433 |     1382  28391 |        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-4096106-1466102091/watcher-4096106-1466102091 -o /tmp/evaluation-result-4096106-1466102091/solver-4096106-1466102091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16013 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096106-1466102091.opb 

pid=16408
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.37 2.24 2.19 3/179 16411
/proc/meminfo: memFree=29131516/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=324028 CPUtime=0 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 1137 0 0 0 0 0 0 0 20 0 4 0 12256271 331804672 1498 33554432000 4194304 16246674 140734136877232 140734136876656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 81519 1508 441 2943 0 78413 0
[pid=16411/tid=16412] ppid=16408 vsize=340412 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 348581888 1563 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=344508 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 352776192 1580 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=348604 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 356970496 1596 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.37 2.24 2.19 3/179 16411
/proc/meminfo: memFree=29131516/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 24322 0 0 0 6 3 0 0 20 0 4 0 12256271 1247350784 24672 33554432000 4194304 16246674 140734136877232 140734136876656 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 304529 24679 707 2943 0 301423 0
[pid=16411/tid=16412] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 24685 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 24691 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 24697 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200514 s]
/proc/loadavg: 2.37 2.24 2.19 3/179 16411
/proc/meminfo: memFree=29131516/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 46602 0 0 0 13 6 0 0 20 0 4 0 12256271 1247350784 46951 33554432000 4194304 16246674 140734136877232 140734136876656 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 304529 46958 707 2943 0 301423 0
[pid=16411/tid=16412] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 46965 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 46971 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 46979 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.37 2.24 2.19 3/179 16411
/proc/meminfo: memFree=29131516/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 68939 0 0 0 20 9 0 0 20 0 4 0 12256271 1247350784 69289 33554432000 4194304 16246674 140734136877232 140734136876656 12478957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 304529 69303 707 2943 0 301423 0
[pid=16411/tid=16412] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 69308 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 69314 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 69323 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700385 s]
/proc/loadavg: 2.37 2.24 2.19 3/179 16411
/proc/meminfo: memFree=29131516/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 159224 0 0 0 47 21 0 0 20 0 4 0 12256271 1247350784 159573 33554432000 4194304 16246674 140734136877232 140734136876656 5515837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 304529 159583 708 2943 0 301423 0
[pid=16411/tid=16412] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 159588 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 159599 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1247350784 159605 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.37 2.24 2.19 3/183 16415
/proc/meminfo: memFree=28148828/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 245533 0 0 0 115 33 0 0 20 0 4 0 12256271 1248399360 245862 33554432000 4194304 16246674 140734136877232 140734136876544 5723952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 304785 245862 783 2943 0 301679 0
[pid=16411/tid=16412] ppid=16408 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1248399360 245862 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1248399360 245862 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1248399360 245862 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.34 2.23 2.19 3/183 16415
/proc/meminfo: memFree=28061160/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267393 0 0 0 271 37 0 0 20 0 4 0 12256271 1337528320 267722 33554432000 4194304 16246674 140734136877232 140734136860232 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326545 267722 783 2943 0 323439 0
[pid=16411/tid=16412] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267722 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267722 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267722 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.34 2.23 2.19 3/183 16415
/proc/meminfo: memFree=28060672/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267479 0 0 0 591 37 0 0 20 0 4 0 12256271 1337528320 267808 33554432000 4194304 16246674 140734136877232 140734136860232 5667832 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326545 267808 785 2943 0 323439 0
[pid=16411/tid=16412] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267808 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267808 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267808 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.24 2.19 4/183 16415
/proc/meminfo: memFree=28060212/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267482 0 0 0 1231 37 0 0 20 0 4 0 12256271 1337528320 267811 33554432000 4194304 16246674 140734136877232 140734136860232 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326545 267811 786 2943 0 323439 0
[pid=16411/tid=16412] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267811 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267811 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267811 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.38 2.25 2.20 3/183 16415
/proc/meminfo: memFree=28060212/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267503 0 0 0 2510 38 0 0 20 0 4 0 12256271 1337528320 267832 33554432000 4194304 16246674 140734136877232 140734136860232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326545 267832 786 2943 0 323439 0
[pid=16411/tid=16412] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267832 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267832 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267832 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 16415
/proc/meminfo: memFree=28059840/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267552 0 0 0 5069 38 0 0 20 0 4 0 12256271 1337528320 267881 33554432000 4194304 16246674 140734136877232 140734136860232 5545704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326545 267881 786 2943 0 323439 0
[pid=16411/tid=16412] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267881 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267881 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1337528320 267881 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 16416
/proc/meminfo: memFree=28059032/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 267647 0 0 0 10188 40 0 0 20 0 4 0 12256271 1338576896 267976 33554432000 4194304 16246674 140734136877232 140734136859136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 326801 267976 786 2943 0 323695 0
[pid=16411/tid=16412] ppid=16408 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1338576896 267976 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1338576896 267976 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1338576896 267976 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.49 2.45 2.29 4/183 16448
/proc/meminfo: memFree=28047780/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1361.92 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268541 0 0 0 136126 66 0 0 20 0 4 0 12256271 1340674048 268894 33554432000 4194304 16246674 140734136877232 140734136860232 5545713 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268894 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.47 2.45 2.30 3/183 16449
/proc/meminfo: memFree=28047572/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1421.88 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268585 0 0 0 142121 67 0 0 20 0 4 0 12256271 1340674048 268894 33554432000 4194304 16246674 140734136877232 140734136859136 5672213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268894 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.50 2.46 2.31 3/183 16499
/proc/meminfo: memFree=28051464/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1481.83 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268630 0 0 0 148115 68 0 0 20 0 4 0 12256271 1340674048 268894 33554432000 4194304 16246674 140734136877232 140734136860232 12483222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268894 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268894 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.42 2.44 2.31 4/184 16503
/proc/meminfo: memFree=28051548/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1541.8 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268676 0 0 0 154110 70 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136859136 6010360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.46 2.44 2.32 4/184 16527
/proc/meminfo: memFree=28051656/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1601.75 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268717 0 0 0 160104 71 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136860232 5721410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.30 2.40 2.31 3/183 16529
/proc/meminfo: memFree=28050868/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1661.72 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268761 0 0 0 166099 73 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136860232 5513584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.34 2.40 2.31 4/183 16530
/proc/meminfo: memFree=28050032/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1721.71 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268764 0 0 0 172096 75 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136859136 13820720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.47 2.43 2.33 3/183 16531
/proc/meminfo: memFree=28048700/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1781.7 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268764 0 0 0 178094 76 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136860232 5822964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.34 2.40 2.32 3/183 16531
/proc/meminfo: memFree=28048920/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1800.1 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268764 0 0 0 179934 76 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136860232 13195585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1309252

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

[startup+1800.7 s]
/proc/loadavg: 2.34 2.40 2.32 3/183 16531
/proc/meminfo: memFree=28048920/32872528 swapFree=17100/1797424
[pid=16411] ppid=16408 vsize=1309252 CPUtime=1800.1 cores=1,3,5,7
/proc/16411/stat : 16411 (toysat) R 16408 16411 15996 0 -1 4202496 268764 0 0 0 179934 76 0 0 20 0 4 0 12256271 1340674048 268897 33554432000 4194304 16246674 140734136877232 140734136860232 13195585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16411/statm: 327313 268897 788 2943 0 324207 0
[pid=16411/tid=16412] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16412/stat : 16412 (toysat) S 16408 16411 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716149095664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16411/tid=16413] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16413/stat : 16413 (toysat) S 16408 16411 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716138605808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16411/tid=16414] ppid=16408 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16411/task/16414/stat : 16414 (toysat) S 16408 16411 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12256272 1340674048 268897 33554432000 4194304 16246674 140734136877232 139716024331440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.12
CPU user time (s): 1799.35
CPU system time (s): 0.767883
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.767883
maximum resident set size= 1075588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268764
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= 467
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5033 second user time and 17.1234 second system time

The end

Begin job on node123 at 2016-06-16 20:34:51
IDJOB=4096106
IDBENCH=107567
IDSOLVER=2542
FILE ID=node123/4096106-1466102091
RUNJOBID= node123-1466098149-16013
PBS_JOBID= 19904045
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 737ba26a2de356acd3b79182e49fac5a
RANDOM SEED=1743756096

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29132012 kB
Buffers:           42680 kB
Cached:           122496 kB
SwapCached:         2184 kB
Active:          1161104 kB
Inactive:          77608 kB
Active(anon):    1074540 kB
Inactive(anon):     1392 kB
Active(file):      86564 kB
Inactive(file):    76216 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             16432 kB
Writeback:             0 kB
AnonPages:       2870168 kB
Mapped:            10224 kB
Shmem:                 0 kB
Slab:             568620 kB
SReclaimable:      12836 kB
SUnreclaim:       555784 kB
KernelStack:        1472 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3015748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 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= 71604 MiB
End job on node123 at 2016-06-16 21:04:52