0.00/0.00	c 2016-06-16T01:48:50+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-4089848-1466034530.opb"]
0.00/0.01	c use --random-gen="1114607209 433987989 3454340168 3823452919 2697586545 962239733 2598446451 122255654 4073148473 215033538 679489538 3985421562 3677388079 3650130648 321891234 3582888076 3104159955 3065978817 4231515497 702370932 2419136029 1737224720 1094431012 661781416 2410545534 3661409039 1052346844 2331677934 1728596594 2540324250 269573068 405331280 4143437257 3273576437 3108413219 2296449381 2058267251 3345440150 660464182 1799394699 1859338516 2061717907 723380622 1203328299 1332741401 1594995294 673066962 2045808424 3775385408 2397146187 1915045973 3429904110 3070155147 1166048877 2972665707 752613104 1432029663 4221195416 1841455448 2338738712 1821437882 382544917 1517377214 2888430 3727826566 820806737 1297676756 4068201275 1700306306 3514072888 3822904608 2724195416 528208233 3710601656 171439607 2897839611 1566631107 2754632308 4265447945 2734681647 3849178381 311411920 2822497596 1447449466 2380774992 2978449781 3535392463 2364823472 759732064 2775905274 2785748818 410334201 2644809320 2982960424 2287186070 1377536514 598352602 533261901 949114095 3077194195 2133870161 4279863341 3114859751 3760876435 3590099602 1577358619 1083161253 857632691 1822618303 3593900433 3308609811 2555532388 578348827 2150815820 2071661566 3149324954 2380991643 3666702655 399412442 3320403607 3776321286 2193294642 947010485 3510177537 3710045219 4124130392 2511816573 454607939 3743952325 574645414 2072208405 944236131 1620453010 2437361858 3108865144 3587765322 68137135 725468294 3264667029 2940570788 2717499770 4034927010 2639501438 3661755655 38872970 2531253108 2625357413 1748041959 3898101087 1687621102 1583686047 3644980067 1860760660 145666237 3243677079 3811252811 3516911919 1628854432 447823642 184897360 4040437757 117274740 1505320474 3383324394 3591876626 3293327068 3785511103 3976310096 539582804 1515643914 2391738305 1077303477 1251255813 2002817376 3224754024 276586398 1209469743 2939302658 3198979429 1393381502 3487308066 3981743657 2607901401 763890362 2487094398 3381710271 3473591949 1430513265 736533381 162721885 1798156641 2384363597 3229080182 3407807597 1814186134 2779329960 4077493226 2599642410 3363959752 4196500775 178040246 2719357237 1607433105 1171771133 3638760672 4212483337 2046126345 28571334 407297200 522941317 951685289 225579777 1882626526 284857926 744400625 2974553145 981558569 3657212731 3618265398 2251689472 43060232 3056639563 2335480540 3066695660 453081991 3934100833 1068493851 2258740483 3265275103 4035766321 1473928019 1485545014 1811161414 3747867971 425609316 1328551858 1143367047 3669163785 2005445813 3227212223 453435112 2316715268 2360918070 3262143836 3138493011 2911449332 777267839 3958338481 595192712 695879717 1650255068 1867156180 321089002 286938962 3917144593 4129085421 255 362436" option to reproduce the execution
0.00/0.01	c #vars 333
0.00/0.01	c #constraints 111
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      185      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      157 |      100 |      185      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      440 |      250 |      204      0 |        0 |        0
0.08/0.13	c  0.1s |       3 |      803 |      475 |      225      1 |        0 |        0
0.19/0.21	c  0.2s |       4 |     1295 |      813 |      248      2 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2012 |     1320 |      273      5 |        0 |        0
0.58/0.60	c  0.6s |       6 |     3113 |     2081 |      332      8 |        0 |        0
0.89/0.90	c  0.9s |       7 |     4480 |     3223 |      366     12 |        0 |        0
1.20/1.27	c  1.3s |       8 |     6535 |     4936 |      403     18 |        0 |        0
1.79/1.86	c  1.8s |       9 |     9438 |     7506 |      444     25 |        0 |        0
2.69/2.75	c  2.7s |      10 |    13728 |    11361 |      489     36 |        0 |        0
4.19/4.23	c  4.2s |      11 |    20180 |    17144 |      538     52 |        0 |        0
6.19/6.24	c  6.2s |      11 |    29278 |    25144 |      538     72 |        0 |        0
6.39/6.40	c  6.4s |      12 |    30017 |    25819 |      592     73 |        0 |        0
8.39/8.41	c  8.4s |      12 |    38697 |    33619 |      592     92 |        0 |        0
9.79/9.88	c  9.9s |      13 |    44499 |    38832 |      652    104 |        0 |        0
11.89/11.90	c 11.9s |      13 |    52886 |    46432 |      652    121 |        0 |        0
13.89/13.91	c 13.9s |      13 |    60229 |    53332 |      652    137 |        0 |        0
15.39/15.44	c 15.4s |      14 |    65663 |    58352 |      718    148 |        0 |        0
17.39/17.44	c 17.4s |      14 |    73933 |    65652 |      718    163 |        0 |        0
19.39/19.46	c 19.4s |      14 |    81226 |    72352 |      718    177 |        0 |        0
21.38/21.47	c 21.5s |      14 |    88694 |    79252 |      718    192 |        0 |        0
23.38/23.47	c 23.5s |      14 |    96142 |    86052 |      718    206 |        0 |        0
23.88/23.98	c 24.0s |      15 |    97938 |    87632 |      790    209 |        0 |        0
25.88/25.99	c 26.0s |      15 |   106851 |    95732 |      790    225 |        0 |        0
27.98/28.01	c 28.0s |      15 |   114879 |   103032 |      790    239 |        0 |        0
29.98/30.02	c 30.0s |      15 |   122816 |   110132 |      790    253 |        0 |        0
31.99/32.03	c 32.0s |      15 |   130854 |   117332 |      790    267 |        0 |        0
33.98/34.05	c 34.0s |      15 |   139231 |   124732 |      790    282 |        0 |        0
35.88/35.95	c 35.9s |      16 |   146693 |   131552 |      870    295 |        0 |        0
37.88/37.96	c 37.9s |      16 |   154963 |   139152 |      870    309 |        0 |        0
39.88/39.97	c 40.0s |      16 |   162279 |   146052 |      870    321 |        0 |        0
41.89/41.98	c 42.0s |      16 |   169854 |   153152 |      870    334 |        0 |        0
43.88/43.98	c 44.0s |      16 |   177334 |   160052 |      870    346 |        0 |        0
45.88/45.99	c 46.0s |      16 |   184595 |   166752 |      870    358 |        0 |        0
47.98/48.02	c 48.0s |      16 |   192086 |   173752 |      870    371 |        0 |        0
49.98/50.02	c 50.0s |      16 |   199190 |   180352 |      870    382 |        0 |        0
51.98/52.05	c 52.0s |      16 |   206353 |   186952 |      870    394 |        0 |        0
53.98/54.06	c 54.0s |      16 |   213516 |   193652 |      870    406 |        0 |        0
55.18/55.21	c 55.2s |      17 |   217631 |   197432 |      958    412 |        0 |        0
57.18/57.23	c 57.2s |      17 |   225949 |   205132 |      958    425 |        0 |        0
59.17/59.26	c 59.2s |      17 |   233962 |   212632 |      958    438 |        0 |        0
61.17/61.28	c 61.3s |      17 |   241466 |   219632 |      958    449 |        0 |        0
63.18/63.29	c 63.3s |      17 |   248569 |   226232 |      958    461 |        0 |        0
65.28/65.31	c 65.3s |      17 |   256563 |   233632 |      958    473 |        0 |        0
67.27/67.33	c 67.3s |      17 |   264058 |   240532 |      958    485 |        0 |        0
69.28/69.33	c 69.3s |      17 |   271099 |   247132 |      958    496 |        0 |        0
71.27/71.34	c 71.3s |      17 |   277962 |   253532 |      958    506 |        0 |        0
73.27/73.36	c 73.3s |      17 |   284877 |   259932 |      958    517 |        0 |        0
75.27/75.38	c 75.4s |      17 |   292537 |   266932 |      958    529 |        0 |        0
77.27/77.38	c 77.4s |      17 |   300041 |   273832 |      958    540 |        0 |        0
79.28/79.39	c 79.4s |      17 |   306749 |   280032 |      958    551 |        0 |        0
81.38/81.41	c 81.4s |      17 |   314328 |   286932 |      958    562 |        0 |        0
83.37/83.42	c 83.4s |      17 |   321569 |   293632 |      958    574 |        0 |        0
84.17/84.27	c 84.3s |      18 |   324411 |   296252 |     1054    578 |        0 |        0
86.17/86.28	c 86.3s |      18 |   332087 |   303252 |     1054    588 |        0 |        0
88.26/88.30	c 88.3s |      18 |   339140 |   309852 |     1054    598 |        0 |        0
90.27/90.31	c 90.3s |      18 |   346002 |   316252 |     1054    608 |        0 |        0
92.26/92.34	c 92.3s |      18 |   352597 |   322452 |     1054    618 |        0 |        0
94.26/94.34	c 94.3s |      18 |   359577 |   328952 |     1054    628 |        0 |        0
96.26/96.38	c 96.4s |      18 |   366114 |   335052 |     1054    637 |        0 |        0
98.26/98.38	c 98.4s |      18 |   372310 |   340752 |     1054    646 |        0 |        0
100.26/100.39	c  100s |      18 |   378667 |   346652 |     1054    655 |        0 |        0
102.37/102.41	c  102s |      18 |   384723 |   352352 |     1054    663 |        0 |        0
104.36/104.43	c  104s |      18 |   391008 |   358252 |     1054    672 |        0 |        0
106.36/106.45	c  106s |      18 |   397831 |   364452 |     1054    682 |        0 |        0
108.36/108.46	c  108s |      18 |   404839 |   370952 |     1054    692 |        0 |        0
110.36/110.48	c  110s |      18 |   411620 |   377252 |     1054    702 |        0 |        0
112.45/112.51	c  112s |      18 |   418153 |   383252 |     1054    711 |        0 |        0
114.46/114.53	c  114s |      18 |   424352 |   389052 |     1054    720 |        0 |        0
116.45/116.56	c  116s |      18 |   430564 |   394852 |     1054    729 |        0 |        0
118.45/118.58	c  118s |      18 |   436820 |   400752 |     1054    738 |        0 |        0
120.45/120.59	c  120s |      18 |   443712 |   407152 |     1054    748 |        0 |        0
122.55/122.62	c  122s |      18 |   450362 |   413152 |     1054    757 |        0 |        0
124.55/124.63	c  124s |      18 |   456718 |   419052 |     1054    766 |        0 |        0
126.55/126.64	c  126s |      18 |   462903 |   424852 |     1054    775 |        0 |        0
128.54/128.67	c  128s |      18 |   469005 |   430652 |     1054    783 |        0 |        0
130.64/130.70	c  130s |      18 |   475104 |   436352 |     1054    792 |        0 |        0
132.64/132.71	c  132s |      18 |   481349 |   442052 |     1160    801 |        0 |        0
133.54/133.63	c  133s |      19 |   484029 |   444482 |     1160    804 |        0 |        0
135.54/135.66	c  135s |      19 |   491728 |   451382 |     1160    814 |        0 |        0
137.55/137.68	c  137s |      19 |   498317 |   457482 |     1160    823 |        0 |        0
139.53/139.68	c  139s |      19 |   505129 |   463682 |     1160    832 |        0 |        0
141.63/141.70	c  141s |      19 |   511547 |   469582 |     1160    840 |        0 |        0
143.63/143.73	c  143s |      19 |   517660 |   475282 |     1160    848 |        0 |        0
145.63/145.76	c  145s |      19 |   524348 |   481182 |     1160    857 |        0 |        0
147.64/147.79	c  147s |      19 |   530687 |   486982 |     1160    865 |        0 |        0
149.74/149.80	c  149s |      19 |   536977 |   492682 |     1160    874 |        0 |        0
151.63/151.80	c  151s |      19 |   543059 |   498082 |     1160    881 |        0 |        0
153.73/153.83	c  153s |      19 |   549354 |   503682 |     1160    890 |        0 |        0
155.73/155.85	c  155s |      19 |   555127 |   508882 |     1160    897 |        0 |        0
157.73/157.86	c  157s |      19 |   560884 |   514082 |     1160    905 |        0 |        0
159.73/159.88	c  159s |      19 |   566661 |   519282 |     1160    912 |        0 |        0
161.83/161.92	c  161s |      19 |   572834 |   524882 |     1160    921 |        0 |        0
163.83/163.94	c  163s |      19 |   578487 |   530082 |     1160    928 |        0 |        0
165.82/165.98	c  165s |      19 |   583896 |   534982 |     1160    935 |        0 |        0
167.92/168.01	c  167s |      19 |   588997 |   539582 |     1160    942 |        0 |        0
169.92/170.03	c  170s |      19 |   594174 |   544182 |     1160    949 |        0 |        0
171.92/172.08	c  172s |      19 |   599445 |   548882 |     1160    956 |        0 |        0
174.02/174.12	c  174s |      19 |   604515 |   553482 |     1160    962 |        0 |        0
176.02/176.13	c  176s |      19 |   609815 |   558182 |     1160    969 |        0 |        0
178.02/178.15	c  178s |      19 |   614854 |   562682 |     1160    976 |        0 |        0
180.02/180.18	c  180s |      19 |   620836 |   567882 |     1160    983 |        0 |        0
182.02/182.19	c  182s |      19 |   627372 |   573682 |     1160    992 |        0 |        0
184.11/184.21	c  184s |      19 |   632765 |   578482 |     1160    999 |        0 |        0
186.11/186.22	c  186s |      19 |   638425 |   583582 |     1160   1006 |        0 |        0
188.12/188.24	c  188s |      19 |   643811 |   588382 |     1160   1013 |        0 |        0
190.11/190.27	c  190s |      19 |   648901 |   592982 |     1160   1020 |        0 |        0
192.21/192.31	c  192s |      19 |   654150 |   597682 |     1160   1027 |        0 |        0
194.21/194.34	c  194s |      19 |   659330 |   602282 |     1160   1033 |        0 |        0
196.20/196.36	c  196s |      19 |   664448 |   606882 |     1160   1040 |        0 |        0
198.20/198.39	c  198s |      19 |   669757 |   611682 |     1160   1047 |        0 |        0
200.30/200.41	c  200s |      19 |   674954 |   616382 |     1160   1054 |        0 |        0
202.31/202.43	c  202s |      19 |   679741 |   620782 |     1160   1060 |        0 |        0
204.30/204.47	c  204s |      19 |   684836 |   625282 |     1160   1067 |        0 |        0
206.40/206.52	c  206s |      19 |   689288 |   629382 |     1160   1073 |        0 |        0
208.40/208.53	c  208s |      19 |   693514 |   633282 |     1160   1079 |        0 |        0
210.40/210.57	c  210s |      19 |   699102 |   638382 |     1160   1086 |        0 |        0
212.40/212.58	c  212s |      19 |   703930 |   642882 |     1160   1092 |        0 |        0
214.50/214.61	c  214s |      19 |   709812 |   648182 |     1160   1100 |        0 |        0
216.49/216.63	c  216s |      19 |   715419 |   653282 |     1160   1107 |        0 |        0
218.49/218.64	c  218s |      19 |   721257 |   658582 |     1160   1115 |        0 |        0
220.49/220.68	c  220s |      19 |   726218 |   663182 |     1276   1121 |        0 |        0
221.99/222.20	c  222s |      20 |   730137 |   666827 |     1276   1126 |        0 |        0
224.09/224.22	c  224s |      20 |   736684 |   672627 |     1276   1134 |        0 |        0
226.09/226.22	c  226s |      20 |   742470 |   677927 |     1276   1141 |        0 |        0
228.09/228.25	c  228s |      20 |   748135 |   683127 |     1276   1148 |        0 |        0
230.09/230.27	c  230s |      20 |   753540 |   688027 |     1276   1155 |        0 |        0
232.19/232.31	c  232s |      20 |   759183 |   693227 |     1276   1162 |        0 |        0
234.19/234.34	c  234s |      20 |   765327 |   698727 |     1276   1169 |        0 |        0
236.18/236.35	c  236s |      20 |   770680 |   703627 |     1276   1175 |        0 |        0
238.18/238.35	c  238s |      20 |   776193 |   708527 |     1276   1182 |        0 |        0
240.18/240.37	c  240s |      20 |   781819 |   713727 |     1276   1189 |        0 |        0
242.18/242.37	c  242s |      20 |   787641 |   719027 |     1276   1196 |        0 |        0
244.28/244.41	c  244s |      20 |   793803 |   724627 |     1276   1204 |        0 |        0
246.28/246.43	c  246s |      20 |   800002 |   730227 |     1276   1211 |        0 |        0
248.28/248.46	c  248s |      20 |   806211 |   735827 |     1276   1219 |        0 |        0
250.28/250.48	c  250s |      20 |   812284 |   741227 |     1276   1226 |        0 |        0
252.27/252.49	c  252s |      20 |   817985 |   746327 |     1276   1233 |        0 |        0
254.27/254.49	c  254s |      20 |   823562 |   751427 |     1276   1240 |        0 |        0
256.37/256.53	c  256s |      20 |   829273 |   756627 |     1276   1247 |        0 |        0
258.38/258.57	c  258s |      20 |   835028 |   761927 |     1276   1254 |        0 |        0
260.37/260.57	c  260s |      20 |   840535 |   767027 |     1276   1261 |        0 |        0
262.47/262.61	c  262s |      20 |   846195 |   772227 |     1276   1268 |        0 |        0
264.48/264.62	c  264s |      20 |   851476 |   777027 |     1276   1274 |        0 |        0
266.47/266.64	c  266s |      20 |   857162 |   782227 |     1276   1281 |        0 |        0
268.47/268.67	c  268s |      20 |   862272 |   786927 |     1276   1287 |        0 |        0
270.48/270.70	c  270s |      20 |   867507 |   791627 |     1276   1294 |        0 |        0
272.57/272.74	c  272s |      20 |   873404 |   796827 |     1276   1301 |        0 |        0
274.57/274.77	c  274s |      20 |   877986 |   801027 |     1276   1306 |        0 |        0
276.57/276.78	c  276s |      20 |   882813 |   805327 |     1276   1312 |        0 |        0
278.67/278.83	c  278s |      20 |   888183 |   810127 |     1276   1318 |        0 |        0
280.67/280.86	c  280s |      20 |   892979 |   814427 |     1276   1324 |        0 |        0
282.67/282.87	c  282s |      20 |   898307 |   819227 |     1276   1330 |        0 |        0
284.67/284.90	c  284s |      20 |   903256 |   823727 |     1276   1337 |        0 |        0
286.76/286.93	c  286s |      20 |   907719 |   827927 |     1276   1342 |        0 |        0
288.76/288.96	c  288s |      20 |   911854 |   831827 |     1276   1347 |        0 |        0
290.76/290.98	c  290s |      20 |   916374 |   836027 |     1276   1353 |        0 |        0
292.86/293.00	c  292s |      20 |   921250 |   840527 |     1276   1359 |        0 |        0
294.86/295.00	c  294s |      20 |   927330 |   846027 |     1276   1366 |        0 |        0
296.86/297.02	c  297s |      20 |   933071 |   851227 |     1276   1373 |        0 |        0
298.85/299.04	c  299s |      20 |   939203 |   856627 |     1276   1380 |        0 |        0
300.85/301.04	c  301s |      20 |   944590 |   861527 |     1276   1387 |        0 |        0
302.85/303.07	c  303s |      20 |   950308 |   866627 |     1276   1394 |        0 |        0
304.85/305.09	c  305s |      20 |   956013 |   871727 |     1276   1401 |        0 |        0
306.95/307.11	c  307s |      20 |   961478 |   876727 |     1276   1407 |        0 |        0
308.96/309.14	c  309s |      20 |   966823 |   881627 |     1276   1414 |        0 |        0
310.95/311.18	c  311s |      20 |   971909 |   886327 |     1276   1420 |        0 |        0
313.05/313.22	c  313s |      20 |   977161 |   891227 |     1276   1427 |        0 |        0
315.05/315.24	c  315s |      20 |   982132 |   895827 |     1276   1433 |        0 |        0
317.04/317.25	c  317s |      20 |   987763 |   900927 |     1276   1439 |        0 |        0
319.04/319.28	c  319s |      20 |   993324 |   906027 |     1276   1446 |        0 |        0
321.15/321.31	c  321s |      20 |   998400 |   910627 |     1276   1452 |        0 |        0
323.14/323.35	c  323s |      20 |  1003256 |   915127 |     1276   1458 |        0 |        0
325.14/325.38	c  325s |      20 |  1009163 |   920427 |     1276   1466 |        0 |        0
327.14/327.39	c  327s |      20 |  1014448 |   925227 |     1276   1472 |        0 |        0
329.24/329.40	c  329s |      20 |  1019767 |   930027 |     1276   1478 |        0 |        0
331.24/331.41	c  331s |      20 |  1024812 |   934627 |     1276   1484 |        0 |        0
333.24/333.44	c  333s |      20 |  1029625 |   939027 |     1276   1490 |        0 |        0
335.24/335.46	c  335s |      20 |  1034893 |   943727 |     1276   1497 |        0 |        0
337.23/337.48	c  337s |      20 |  1040314 |   948627 |     1276   1503 |        0 |        0
339.33/339.51	c  339s |      20 |  1045489 |   953327 |     1276   1509 |        0 |        0
341.33/341.52	c  341s |      20 |  1050544 |   957827 |     1276   1516 |        0 |        0
343.33/343.55	c  343s |      20 |  1055749 |   962527 |     1276   1522 |        0 |        0
345.34/345.58	c  345s |      20 |  1060635 |   967027 |     1276   1528 |        0 |        0
347.33/347.59	c  347s |      20 |  1065844 |   971827 |     1276   1534 |        0 |        0
349.43/349.60	c  349s |      20 |  1070871 |   976427 |     1276   1540 |        0 |        0
351.43/351.64	c  351s |      20 |  1075677 |   980827 |     1276   1546 |        0 |        0
353.44/353.66	c  353s |      20 |  1080220 |   985027 |     1276   1552 |        0 |        0
355.44/355.67	c  355s |      20 |  1084986 |   989427 |     1276   1558 |        0 |        0
357.44/357.67	c  357s |      20 |  1090734 |   994127 |     1404   1564 |        0 |        0
359.43/359.69	c  359s |      20 |  1096745 |   999427 |     1404   1570 |        0 |        0
359.83/360.02	c  360s |      21 |  1097801 |  1000345 |     1404   1571 |        0 |        0
361.84/362.05	c  362s |      21 |  1104832 |  1006245 |     1404   1579 |        0 |        0
363.83/364.10	c  364s |      21 |  1110893 |  1011645 |     1404   1586 |        0 |        0
365.93/366.12	c  366s |      21 |  1116702 |  1016945 |     1404   1592 |        0 |        0
367.93/368.13	c  368s |      21 |  1122107 |  1021945 |     1404   1598 |        0 |        0
369.93/370.16	c  370s |      21 |  1127789 |  1027145 |     1404   1605 |        0 |        0
371.93/372.17	c  372s |      21 |  1133220 |  1032145 |     1404   1611 |        0 |        0
373.93/374.19	c  374s |      21 |  1138625 |  1037045 |     1404   1618 |        0 |        0
376.03/376.21	c  376s |      21 |  1143834 |  1041845 |     1404   1624 |        0 |        0
378.02/378.23	c  378s |      21 |  1149541 |  1047145 |     1404   1630 |        0 |        0
380.02/380.26	c  380s |      21 |  1154837 |  1052045 |     1404   1636 |        0 |        0
382.12/382.30	c  382s |      21 |  1160166 |  1056945 |     1404   1643 |        0 |        0
384.12/384.33	c  384s |      21 |  1165340 |  1061645 |     1404   1649 |        0 |        0
386.11/386.34	c  386s |      21 |  1170346 |  1066245 |     1404   1654 |        0 |        0
388.12/388.35	c  388s |      21 |  1176328 |  1071545 |     1404   1661 |        0 |        0
390.11/390.36	c  390s |      21 |  1181730 |  1076345 |     1404   1667 |        0 |        0
392.11/392.39	c  392s |      21 |  1187260 |  1081445 |     1404   1674 |        0 |        0
394.21/394.44	c  394s |      21 |  1193342 |  1087045 |     1404   1681 |        0 |        0
396.21/396.45	c  396s |      21 |  1198654 |  1091945 |     1404   1687 |        0 |        0
398.21/398.47	c  398s |      21 |  1204120 |  1096945 |     1404   1693 |        0 |        0
400.22/400.48	c  400s |      21 |  1209384 |  1101845 |     1404   1699 |        0 |        0
402.31/402.50	c  402s |      21 |  1214753 |  1106845 |     1404   1706 |        0 |        0
404.31/404.53	c  404s |      21 |  1220089 |  1111845 |     1404   1712 |        0 |        0
406.30/406.56	c  406s |      21 |  1225554 |  1116945 |     1404   1718 |        0 |        0
408.30/408.58	c  408s |      21 |  1230369 |  1121445 |     1404   1724 |        0 |        0
410.40/410.63	c  410s |      21 |  1236072 |  1126745 |     1404   1731 |        0 |        0
412.41/412.64	c  412s |      21 |  1241525 |  1131745 |     1404   1737 |        0 |        0
414.40/414.66	c  414s |      21 |  1246597 |  1136445 |     1404   1743 |        0 |        0
416.39/416.68	c  416s |      21 |  1251519 |  1141045 |     1404   1748 |        0 |        0
418.49/418.71	c  418s |      21 |  1256671 |  1145845 |     1404   1754 |        0 |        0
420.49/420.75	c  420s |      21 |  1261998 |  1150645 |     1404   1760 |        0 |        0
422.59/422.80	c  422s |      21 |  1267203 |  1155445 |     1404   1766 |        0 |        0
424.59/424.82	c  424s |      21 |  1272035 |  1159845 |     1404   1772 |        0 |        0
426.59/426.85	c  426s |      21 |  1277148 |  1164445 |     1404   1778 |        0 |        0
428.59/428.88	c  428s |      21 |  1282213 |  1169045 |     1404   1783 |        0 |        0
430.69/430.90	c  430s |      21 |  1287573 |  1173945 |     1404   1790 |        0 |        0
432.69/432.90	c  432s |      21 |  1292489 |  1178445 |     1404   1795 |        0 |        0
434.69/434.91	c  434s |      21 |  1296977 |  1182645 |     1404   1800 |        0 |        0
436.68/436.92	c  436s |      21 |  1301400 |  1186745 |     1404   1806 |        0 |        0
438.69/438.94	c  438s |      21 |  1306194 |  1191045 |     1404   1811 |        0 |        0
440.68/440.99	c  440s |      21 |  1311170 |  1195645 |     1404   1817 |        0 |        0
442.78/443.00	c  442s |      21 |  1315706 |  1199845 |     1404   1822 |        0 |        0
444.78/445.05	c  445s |      21 |  1320376 |  1204145 |     1404   1828 |        0 |        0
446.78/447.07	c  447s |      21 |  1325315 |  1208645 |     1404   1833 |        0 |        0
448.78/449.08	c  449s |      21 |  1329887 |  1212845 |     1404   1838 |        0 |        0
450.89/451.12	c  451s |      21 |  1334590 |  1217145 |     1404   1844 |        0 |        0
452.88/453.12	c  453s |      21 |  1340020 |  1222045 |     1404   1850 |        0 |        0
454.88/455.14	c  455s |      21 |  1345537 |  1227145 |     1404   1856 |        0 |        0
456.87/457.15	c  457s |      21 |  1350948 |  1232045 |     1404   1863 |        0 |        0
458.87/459.16	c  459s |      21 |  1356487 |  1237145 |     1404   1869 |        0 |        0
460.87/461.18	c  461s |      21 |  1362005 |  1242245 |     1404   1875 |        0 |        0
462.88/463.19	c  463s |      21 |  1367205 |  1247045 |     1404   1881 |        0 |        0
464.97/465.21	c  465s |      21 |  1372538 |  1251845 |     1404   1888 |        0 |        0
466.97/467.26	c  467s |      21 |  1377558 |  1256445 |     1404   1893 |        0 |        0
468.97/469.26	c  469s |      21 |  1382866 |  1261245 |     1404   1899 |        0 |        0
470.97/471.27	c  471s |      21 |  1387997 |  1265945 |     1404   1905 |        0 |        0
472.97/473.29	c  473s |      21 |  1393056 |  1270645 |     1404   1911 |        0 |        0
475.08/475.31	c  475s |      21 |  1397815 |  1275045 |     1404   1917 |        0 |        0
477.07/477.32	c  477s |      21 |  1402931 |  1279745 |     1404   1923 |        0 |        0
479.07/479.33	c  479s |      21 |  1408472 |  1284845 |     1404   1929 |        0 |        0
481.06/481.35	c  481s |      21 |  1413473 |  1289545 |     1404   1935 |        0 |        0
483.06/483.37	c  483s |      21 |  1418491 |  1294245 |     1404   1941 |        0 |        0
485.16/485.40	c  485s |      21 |  1423638 |  1299045 |     1404   1947 |        0 |        0
487.07/487.40	c  487s |      21 |  1428698 |  1303745 |     1404   1953 |        0 |        0
489.16/489.41	c  489s |      21 |  1434178 |  1308745 |     1404   1959 |        0 |        0
491.16/491.42	c  491s |      21 |  1439239 |  1313345 |     1404   1965 |        0 |        0
493.16/493.44	c  493s |      21 |  1444065 |  1317845 |     1404   1970 |        0 |        0
495.16/495.44	c  495s |      21 |  1449101 |  1322445 |     1404   1976 |        0 |        0
497.15/497.48	c  497s |      21 |  1453867 |  1326945 |     1404   1982 |        0 |        0
499.16/499.48	c  499s |      21 |  1458507 |  1331145 |     1404   1987 |        0 |        0
501.25/501.52	c  501s |      21 |  1463427 |  1335745 |     1404   1993 |        0 |        0
503.25/503.52	c  503s |      21 |  1467608 |  1339645 |     1404   1998 |        0 |        0
505.25/505.56	c  505s |      21 |  1472291 |  1343945 |     1404   2003 |        0 |        0
507.25/507.59	c  507s |      21 |  1477024 |  1348345 |     1404   2009 |        0 |        0
509.35/509.60	c  509s |      21 |  1481573 |  1352645 |     1404   2014 |        0 |        0
511.35/511.63	c  511s |      21 |  1487242 |  1357745 |     1404   2021 |        0 |        0
513.35/513.66	c  513s |      21 |  1492446 |  1362645 |     1404   2027 |        0 |        0
515.34/515.68	c  515s |      21 |  1497358 |  1367145 |     1404   2032 |        0 |        0
517.34/517.68	c  517s |      21 |  1501764 |  1371245 |     1404   2038 |        0 |        0
519.44/519.70	c  519s |      21 |  1507055 |  1376145 |     1404   2044 |        0 |        0
521.44/521.71	c  521s |      21 |  1511922 |  1380645 |     1404   2049 |        0 |        0
523.45/523.72	c  523s |      21 |  1516470 |  1384745 |     1404   2055 |        0 |        0
525.44/525.75	c  525s |      21 |  1520957 |  1388945 |     1404   2060 |        0 |        0
527.43/527.75	c  527s |      21 |  1526188 |  1393745 |     1404   2066 |        0 |        0
529.43/529.78	c  529s |      21 |  1531802 |  1398945 |     1404   2072 |        0 |        0
531.43/531.79	c  531s |      21 |  1537019 |  1403745 |     1404   2078 |        0 |        0
533.53/533.83	c  533s |      21 |  1541972 |  1408345 |     1404   2084 |        0 |        0
535.54/535.83	c  535s |      21 |  1547131 |  1413145 |     1404   2090 |        0 |        0
537.53/537.84	c  537s |      21 |  1551766 |  1417545 |     1404   2096 |        0 |        0
539.53/539.86	c  539s |      21 |  1556709 |  1422145 |     1404   2101 |        0 |        0
541.53/541.89	c  541s |      21 |  1562483 |  1427345 |     1404   2108 |        0 |        0
543.63/543.92	c  543s |      21 |  1567538 |  1432045 |     1404   2114 |        0 |        0
545.63/545.95	c  545s |      21 |  1572285 |  1436545 |     1404   2120 |        0 |        0
547.63/547.97	c  547s |      21 |  1577137 |  1441045 |     1404   2125 |        0 |        0
549.62/550.00	c  549s |      21 |  1581607 |  1445245 |     1404   2130 |        0 |        0
551.72/552.05	c  552s |      21 |  1585952 |  1449345 |     1404   2136 |        0 |        0
553.72/554.08	c  554s |      21 |  1590186 |  1453345 |     1404   2141 |        0 |        0
555.72/556.09	c  556s |      21 |  1594330 |  1457245 |     1404   2145 |        0 |        0
557.82/558.10	c  558s |      21 |  1599561 |  1462045 |     1404   2151 |        0 |        0
559.82/560.12	c  560s |      21 |  1604304 |  1466545 |     1404   2157 |        0 |        0
561.83/562.13	c  562s |      21 |  1609043 |  1470945 |     1404   2163 |        0 |        0
563.83/564.16	c  564s |      21 |  1614369 |  1475845 |     1404   2169 |        0 |        0
565.83/566.18	c  566s |      21 |  1619280 |  1480345 |     1404   2174 |        0 |        0
567.92/568.21	c  568s |      21 |  1624116 |  1484845 |     1404   2180 |        0 |        0
569.92/570.25	c  570s |      21 |  1629006 |  1489345 |     1404   2186 |        0 |        0
571.92/572.27	c  572s |      21 |  1634193 |  1494145 |     1545   2191 |        0 |        0
573.92/574.29	c  574s |      21 |  1638886 |  1498545 |     1545   2196 |        0 |        0
574.92/575.21	c  575s |      22 |  1641084 |  1500622 |     1545   2199 |        0 |        0
576.91/577.22	c  577s |      22 |  1648662 |  1507422 |     1545   2206 |        0 |        0
578.91/579.23	c  579s |      22 |  1654978 |  1513322 |     1545   2213 |        0 |        0
580.91/581.26	c  581s |      22 |  1661002 |  1519022 |     1545   2219 |        0 |        0
582.91/583.28	c  583s |      22 |  1667137 |  1524622 |     1545   2226 |        0 |        0
584.92/585.30	c  585s |      22 |  1673285 |  1530122 |     1545   2232 |        0 |        0
587.01/587.30	c  587s |      22 |  1679111 |  1535422 |     1545   2238 |        0 |        0
589.01/589.32	c  589s |      22 |  1684130 |  1540022 |     1545   2244 |        0 |        0
591.01/591.35	c  591s |      22 |  1689742 |  1545122 |     1545   2249 |        0 |        0
593.01/593.36	c  593s |      22 |  1693749 |  1548922 |     1545   2254 |        0 |        0
595.01/595.39	c  595s |      22 |  1698664 |  1553422 |     1545   2259 |        0 |        0
597.11/597.41	c  597s |      22 |  1703856 |  1558222 |     1545   2264 |        0 |        0
599.10/599.43	c  599s |      22 |  1708765 |  1562722 |     1545   2269 |        0 |        0
601.10/601.49	c  601s |      22 |  1713383 |  1567122 |     1545   2275 |        0 |        0
603.20/603.50	c  603s |      22 |  1718516 |  1571922 |     1545   2280 |        0 |        0
605.20/605.55	c  605s |      22 |  1723806 |  1576822 |     1545   2286 |        0 |        0
607.20/607.58	c  607s |      22 |  1729454 |  1581922 |     1545   2291 |        0 |        0
609.21/609.59	c  609s |      22 |  1734552 |  1586522 |     1545   2297 |        0 |        0
611.30/611.62	c  611s |      22 |  1739465 |  1591122 |     1545   2302 |        0 |        0
613.30/613.64	c  613s |      22 |  1743698 |  1595122 |     1545   2307 |        0 |        0
615.30/615.66	c  615s |      22 |  1749578 |  1600622 |     1545   2313 |        0 |        0
617.29/617.68	c  617s |      22 |  1754494 |  1605122 |     1545   2318 |        0 |        0
619.39/619.71	c  619s |      22 |  1759078 |  1609422 |     1545   2323 |        0 |        0
621.39/621.76	c  621s |      22 |  1764315 |  1614222 |     1545   2328 |        0 |        0
623.40/623.77	c  623s |      22 |  1768819 |  1618422 |     1545   2333 |        0 |        0
625.39/625.79	c  625s |      22 |  1773090 |  1622422 |     1545   2338 |        0 |        0
627.49/627.80	c  627s |      22 |  1777868 |  1626822 |     1545   2343 |        0 |        0
629.49/629.81	c  629s |      22 |  1782270 |  1630922 |     1545   2347 |        0 |        0
631.49/631.82	c  631s |      22 |  1786260 |  1634622 |     1545   2352 |        0 |        0
633.49/633.84	c  633s |      22 |  1790382 |  1638422 |     1545   2356 |        0 |        0
635.49/635.85	c  635s |      22 |  1795366 |  1642722 |     1545   2361 |        0 |        0
637.48/637.86	c  637s |      22 |  1802312 |  1648622 |     1545   2368 |        0 |        0
639.48/639.86	c  639s |      22 |  1808704 |  1654122 |     1545   2374 |        0 |        0
641.48/641.87	c  641s |      22 |  1815018 |  1659622 |     1545   2380 |        0 |        0
643.48/643.88	c  643s |      22 |  1820841 |  1664722 |     1545   2386 |        0 |        0
645.58/645.90	c  645s |      22 |  1826701 |  1669722 |     1545   2392 |        0 |        0
647.58/647.92	c  647s |      22 |  1832486 |  1674822 |     1545   2398 |        0 |        0
649.57/649.93	c  649s |      22 |  1838145 |  1679822 |     1545   2403 |        0 |        0
651.57/651.95	c  651s |      22 |  1843804 |  1684722 |     1545   2409 |        0 |        0
653.57/653.96	c  653s |      22 |  1848908 |  1689322 |     1545   2414 |        0 |        0
655.57/655.99	c  655s |      22 |  1854291 |  1694022 |     1545   2420 |        0 |        0
657.67/658.03	c  658s |      22 |  1858976 |  1698322 |     1545   2425 |        0 |        0
659.68/660.03	c  660s |      22 |  1863697 |  1702622 |     1545   2430 |        0 |        0
661.67/662.07	c  662s |      22 |  1869313 |  1707522 |     1545   2436 |        0 |        0
663.77/664.11	c  664s |      22 |  1874875 |  1712422 |     1545   2441 |        0 |        0
665.77/666.12	c  666s |      22 |  1880228 |  1717222 |     1545   2447 |        0 |        0
667.76/668.16	c  668s |      22 |  1885459 |  1721922 |     1545   2452 |        0 |        0
669.86/670.20	c  670s |      22 |  1890419 |  1726422 |     1545   2457 |        0 |        0
671.87/672.21	c  672s |      22 |  1895214 |  1730722 |     1545   2462 |        0 |        0
673.86/674.22	c  674s |      22 |  1899999 |  1735022 |     1545   2467 |        0 |        0
675.86/676.24	c  676s |      22 |  1904990 |  1739522 |     1545   2472 |        0 |        0
677.86/678.25	c  678s |      22 |  1909756 |  1743822 |     1545   2477 |        0 |        0
679.86/680.26	c  680s |      22 |  1914799 |  1748422 |     1545   2483 |        0 |        0
681.86/682.29	c  682s |      22 |  1919914 |  1753022 |     1545   2488 |        0 |        0
683.87/684.30	c  684s |      22 |  1924395 |  1757022 |     1545   2493 |        0 |        0
685.96/686.33	c  686s |      22 |  1929471 |  1761622 |     1545   2498 |        0 |        0
687.96/688.34	c  688s |      22 |  1934391 |  1766122 |     1545   2503 |        0 |        0
689.96/690.35	c  690s |      22 |  1939251 |  1770422 |     1545   2508 |        0 |        0
691.95/692.36	c  692s |      22 |  1943998 |  1774722 |     1545   2513 |        0 |        0
693.95/694.36	c  694s |      22 |  1948555 |  1778922 |     1545   2518 |        0 |        0
695.96/696.37	c  696s |      22 |  1952972 |  1783022 |     1545   2523 |        0 |        0
698.05/698.41	c  698s |      22 |  1957567 |  1787222 |     1545   2528 |        0 |        0
700.05/700.42	c  700s |      22 |  1962955 |  1792022 |     1545   2533 |        0 |        0
702.05/702.47	c  702s |      22 |  1967939 |  1796622 |     1545   2538 |        0 |        0
704.05/704.48	c  704s |      22 |  1972639 |  1800922 |     1545   2543 |        0 |        0
706.15/706.53	c  706s |      22 |  1977334 |  1805222 |     1545   2548 |        0 |        0
708.16/708.54	c  708s |      22 |  1981996 |  1809422 |     1545   2553 |        0 |        0
710.15/710.54	c  710s |      22 |  1986365 |  1813422 |     1545   2558 |        0 |        0
712.15/712.56	c  712s |      22 |  1991673 |  1818222 |     1545   2563 |        0 |        0
714.15/714.59	c  714s |      22 |  1996391 |  1822522 |     1545   2568 |        0 |        0
716.15/716.59	c  716s |      22 |  2001043 |  1826722 |     1545   2573 |        0 |        0
718.25/718.63	c  718s |      22 |  2006200 |  1831422 |     1545   2579 |        0 |        0
720.27/720.65	c  720s |      22 |  2011071 |  1835922 |     1545   2584 |        0 |        0
722.26/722.69	c  722s |      22 |  2015779 |  1840222 |     1545   2589 |        0 |        0
724.36/724.71	c  724s |      22 |  2020518 |  1844622 |     1545   2594 |        0 |        0
726.36/726.71	c  726s |      22 |  2025351 |  1849122 |     1545   2599 |        0 |        0
728.36/728.73	c  728s |      22 |  2029903 |  1853322 |     1545   2604 |        0 |        0
730.36/730.75	c  730s |      22 |  2034314 |  1857422 |     1545   2609 |        0 |        0
732.36/732.76	c  732s |      22 |  2038827 |  1861522 |     1545   2613 |        0 |        0
734.36/734.79	c  734s |      22 |  2044184 |  1866322 |     1545   2619 |        0 |        0
736.46/736.83	c  736s |      22 |  2049338 |  1870922 |     1545   2624 |        0 |        0
738.46/738.84	c  738s |      22 |  2053936 |  1875122 |     1545   2629 |        0 |        0
740.45/740.87	c  740s |      22 |  2059351 |  1879922 |     1545   2635 |        0 |        0
742.45/742.89	c  742s |      22 |  2064171 |  1884222 |     1545   2640 |        0 |        0
744.55/744.93	c  744s |      22 |  2068759 |  1888322 |     1545   2644 |        0 |        0
746.56/746.93	c  746s |      22 |  2073880 |  1893022 |     1545   2650 |        0 |        0
748.55/748.93	c  748s |      22 |  2078859 |  1897622 |     1545   2655 |        0 |        0
750.55/750.95	c  750s |      22 |  2084392 |  1902522 |     1545   2661 |        0 |        0
752.55/752.95	c  752s |      22 |  2089701 |  1907322 |     1545   2666 |        0 |        0
754.55/754.99	c  754s |      22 |  2095164 |  1912322 |     1545   2672 |        0 |        0
756.65/757.00	c  756s |      22 |  2100596 |  1917022 |     1545   2678 |        0 |        0
758.66/759.03	c  759s |      22 |  2105854 |  1921722 |     1545   2683 |        0 |        0
760.65/761.05	c  761s |      22 |  2111493 |  1926822 |     1545   2689 |        0 |        0
762.65/763.06	c  763s |      22 |  2116639 |  1931522 |     1545   2694 |        0 |        0
764.65/765.09	c  765s |      22 |  2121901 |  1936322 |     1545   2700 |        0 |        0
766.75/767.12	c  767s |      22 |  2126971 |  1940922 |     1545   2705 |        0 |        0
768.75/769.16	c  769s |      22 |  2131810 |  1945322 |     1545   2710 |        0 |        0
770.76/771.18	c  771s |      22 |  2136333 |  1949522 |     1545   2715 |        0 |        0
772.75/773.18	c  773s |      22 |  2141644 |  1954322 |     1545   2721 |        0 |        0
774.85/775.23	c  775s |      22 |  2146949 |  1959122 |     1545   2726 |        0 |        0
776.85/777.24	c  777s |      22 |  2151664 |  1963422 |     1545   2731 |        0 |        0
778.85/779.24	c  779s |      22 |  2156710 |  1967922 |     1545   2736 |        0 |        0
780.85/781.28	c  781s |      22 |  2161959 |  1972622 |     1545   2742 |        0 |        0
782.96/783.31	c  783s |      22 |  2167455 |  1977422 |     1545   2747 |        0 |        0
784.95/785.32	c  785s |      22 |  2172407 |  1981922 |     1545   2752 |        0 |        0
786.95/787.34	c  787s |      22 |  2177415 |  1986422 |     1545   2758 |        0 |        0
788.95/789.38	c  789s |      22 |  2182546 |  1990922 |     1545   2763 |        0 |        0
791.05/791.42	c  791s |      22 |  2187715 |  1995522 |     1545   2768 |        0 |        0
793.05/793.45	c  793s |      22 |  2192878 |  2000122 |     1545   2774 |        0 |        0
795.05/795.47	c  795s |      22 |  2197848 |  2004622 |     1545   2779 |        0 |        0
797.04/797.50	c  797s |      22 |  2203270 |  2009422 |     1545   2784 |        0 |        0
799.14/799.53	c  799s |      22 |  2208727 |  2014322 |     1545   2790 |        0 |        0
801.14/801.58	c  801s |      22 |  2214052 |  2019122 |     1545   2796 |        0 |        0
803.24/803.61	c  803s |      22 |  2219561 |  2024122 |     1545   2801 |        0 |        0
805.24/805.65	c  805s |      22 |  2224969 |  2029022 |     1545   2807 |        0 |        0
807.24/807.68	c  807s |      22 |  2230219 |  2033822 |     1545   2813 |        0 |        0
809.35/809.71	c  809s |      22 |  2234903 |  2038122 |     1545   2818 |        0 |        0
811.34/811.73	c  811s |      22 |  2239835 |  2042622 |     1545   2823 |        0 |        0
813.34/813.74	c  813s |      22 |  2244238 |  2046622 |     1545   2827 |        0 |        0
815.34/815.77	c  815s |      22 |  2249636 |  2051422 |     1545   2833 |        0 |        0
817.34/817.78	c  817s |      22 |  2254662 |  2055922 |     1545   2838 |        0 |        0
819.44/819.81	c  819s |      22 |  2259447 |  2060222 |     1545   2843 |        0 |        0
821.45/821.84	c  821s |      22 |  2264123 |  2064522 |     1545   2848 |        0 |        0
823.44/823.87	c  823s |      22 |  2269844 |  2069722 |     1545   2854 |        0 |        0
825.54/825.90	c  825s |      22 |  2275118 |  2074522 |     1545   2860 |        0 |        0
827.54/827.90	c  827s |      22 |  2280158 |  2079222 |     1545   2865 |        0 |        0
829.54/829.90	c  829s |      22 |  2285136 |  2083922 |     1545   2871 |        0 |        0
831.54/831.91	c  831s |      22 |  2289981 |  2088422 |     1545   2876 |        0 |        0
833.54/833.92	c  833s |      22 |  2294822 |  2092922 |     1545   2881 |        0 |        0
835.54/835.96	c  835s |      22 |  2300133 |  2097722 |     1545   2886 |        0 |        0
837.53/837.99	c  837s |      22 |  2305091 |  2102322 |     1545   2892 |        0 |        0
839.63/840.03	c  840s |      22 |  2309944 |  2106822 |     1545   2897 |        0 |        0
841.63/842.08	c  842s |      22 |  2314702 |  2111222 |     1545   2902 |        0 |        0
843.63/844.08	c  844s |      22 |  2319199 |  2115422 |     1545   2907 |        0 |        0
845.64/846.09	c  846s |      22 |  2323926 |  2119822 |     1545   2912 |        0 |        0
847.74/848.12	c  848s |      22 |  2328558 |  2124122 |     1545   2917 |        0 |        0
849.73/850.15	c  850s |      22 |  2332946 |  2128222 |     1545   2922 |        0 |        0
851.73/852.18	c  852s |      22 |  2337281 |  2132222 |     1545   2926 |        0 |        0
853.83/854.22	c  854s |      22 |  2341590 |  2136122 |     1545   2931 |        0 |        0
855.83/856.23	c  856s |      22 |  2346436 |  2140522 |     1545   2936 |        0 |        0
857.84/858.26	c  858s |      22 |  2350822 |  2144522 |     1545   2941 |        0 |        0
859.85/860.28	c  860s |      22 |  2355462 |  2148722 |     1545   2945 |        0 |        0
861.94/862.31	c  862s |      22 |  2359878 |  2152722 |     1545   2950 |        0 |        0
863.94/864.35	c  864s |      22 |  2364074 |  2156622 |     1545   2955 |        0 |        0
865.94/866.35	c  866s |      22 |  2368143 |  2160422 |     1545   2959 |        0 |        0
867.94/868.37	c  868s |      22 |  2372835 |  2164822 |     1545   2964 |        0 |        0
870.04/870.40	c  870s |      22 |  2377910 |  2169422 |     1545   2969 |        0 |        0
872.04/872.43	c  872s |      22 |  2382812 |  2173822 |     1545   2975 |        0 |        0
874.04/874.47	c  874s |      22 |  2387626 |  2178222 |     1545   2980 |        0 |        0
876.13/876.50	c  876s |      22 |  2392130 |  2182322 |     1545   2984 |        0 |        0
878.13/878.52	c  878s |      22 |  2396362 |  2186222 |     1545   2989 |        0 |        0
880.13/880.54	c  880s |      22 |  2400634 |  2190122 |     1545   2993 |        0 |        0
882.13/882.59	c  882s |      22 |  2405127 |  2194222 |     1545   2998 |        0 |        0
884.23/884.60	c  884s |      22 |  2409309 |  2198022 |     1545   3002 |        0 |        0
886.24/886.61	c  886s |      22 |  2414005 |  2202222 |     1545   3007 |        0 |        0
888.23/888.65	c  888s |      22 |  2419949 |  2207522 |     1545   3013 |        0 |        0
890.23/890.67	c  890s |      22 |  2425418 |  2212422 |     1545   3019 |        0 |        0
892.33/892.70	c  892s |      22 |  2430606 |  2217022 |     1545   3024 |        0 |        0
894.33/894.70	c  894s |      22 |  2435619 |  2221522 |     1545   3029 |        0 |        0
896.33/896.73	c  896s |      22 |  2441619 |  2226722 |     1545   3035 |        0 |        0
898.34/898.75	c  898s |      22 |  2447143 |  2231722 |     1545   3041 |        0 |        0
900.33/900.77	c  900s |      22 |  2452895 |  2236822 |     1700   3047 |        0 |        0
902.33/902.77	c  902s |      22 |  2458874 |  2242022 |     1700   3052 |        0 |        0
904.33/904.79	c  904s |      22 |  2464480 |  2246922 |     1700   3057 |        0 |        0
906.14/906.58	c  906s |      23 |  2469383 |  2251038 |     1700   3062 |        0 |        0
908.13/908.59	c  908s |      23 |  2475262 |  2256238 |     1700   3067 |        0 |        0
910.23/910.61	c  910s |      23 |  2480937 |  2261338 |     1700   3073 |        0 |        0
912.22/912.62	c  912s |      23 |  2486597 |  2266238 |     1700   3078 |        0 |        0
914.22/914.63	c  914s |      23 |  2492332 |  2271238 |     1700   3083 |        0 |        0
916.22/916.66	c  916s |      23 |  2497806 |  2276238 |     1700   3088 |        0 |        0
918.23/918.68	c  918s |      23 |  2503554 |  2281238 |     1700   3094 |        0 |        0
920.22/920.68	c  920s |      23 |  2509084 |  2286138 |     1700   3099 |        0 |        0
922.32/922.70	c  922s |      23 |  2514207 |  2290738 |     1700   3104 |        0 |        0
924.32/924.72	c  924s |      23 |  2519048 |  2295138 |     1700   3108 |        0 |        0
926.32/926.75	c  926s |      23 |  2523975 |  2299638 |     1700   3113 |        0 |        0
928.32/928.75	c  928s |      23 |  2528735 |  2304038 |     1700   3118 |        0 |        0
930.33/930.78	c  930s |      23 |  2533079 |  2308038 |     1700   3122 |        0 |        0
932.43/932.82	c  932s |      23 |  2537980 |  2312438 |     1700   3127 |        0 |        0
934.42/934.85	c  934s |      23 |  2542892 |  2316938 |     1700   3131 |        0 |        0
936.42/936.86	c  936s |      23 |  2547705 |  2321338 |     1700   3136 |        0 |        0
938.42/938.88	c  938s |      23 |  2553068 |  2326338 |     1700   3141 |        0 |        0
940.42/940.90	c  940s |      23 |  2558512 |  2331338 |     1700   3147 |        0 |        0
942.52/942.93	c  942s |      23 |  2563640 |  2336138 |     1700   3152 |        0 |        0
944.52/944.96	c  944s |      23 |  2568568 |  2340738 |     1700   3156 |        0 |        0
946.52/946.98	c  946s |      23 |  2573757 |  2345438 |     1700   3161 |        0 |        0
948.61/949.00	c  948s |      23 |  2578468 |  2349738 |     1700   3166 |        0 |        0
950.61/951.05	c  951s |      23 |  2582754 |  2353738 |     1700   3170 |        0 |        0
952.62/953.06	c  953s |      23 |  2587324 |  2357838 |     1700   3174 |        0 |        0
954.62/955.08	c  955s |      23 |  2592199 |  2362238 |     1700   3179 |        0 |        0
956.63/957.09	c  957s |      23 |  2597768 |  2367238 |     1700   3184 |        0 |        0
958.72/959.11	c  959s |      23 |  2603479 |  2372238 |     1700   3190 |        0 |        0
960.72/961.15	c  961s |      23 |  2608411 |  2376738 |     1700   3194 |        0 |        0
962.72/963.16	c  963s |      23 |  2613192 |  2381138 |     1700   3199 |        0 |        0
964.82/965.20	c  965s |      23 |  2618237 |  2385638 |     1700   3204 |        0 |        0
966.82/967.20	c  967s |      23 |  2622809 |  2389838 |     1700   3208 |        0 |        0
968.83/969.20	c  969s |      23 |  2627922 |  2394438 |     1700   3213 |        0 |        0
970.82/971.23	c  971s |      23 |  2632676 |  2398738 |     1700   3217 |        0 |        0
972.82/973.23	c  973s |      23 |  2637136 |  2402838 |     1700   3222 |        0 |        0
974.82/975.28	c  975s |      23 |  2641772 |  2406938 |     1700   3226 |        0 |        0
976.92/977.32	c  977s |      23 |  2647175 |  2411738 |     1700   3231 |        0 |        0
978.92/979.35	c  979s |      23 |  2652224 |  2416238 |     1700   3236 |        0 |        0
980.92/981.37	c  981s |      23 |  2656695 |  2420338 |     1700   3240 |        0 |        0
983.02/983.41	c  983s |      23 |  2663545 |  2425438 |     1700   3245 |        0 |        0
985.02/985.43	c  985s |      23 |  2669700 |  2430638 |     1700   3251 |        0 |        0
987.02/987.44	c  987s |      23 |  2675291 |  2435638 |     1700   3256 |        0 |        0
989.01/989.49	c  989s |      23 |  2680702 |  2440438 |     1700   3262 |        0 |        0
991.11/991.50	c  991s |      23 |  2686160 |  2445138 |     1700   3267 |        0 |        0
993.11/993.55	c  993s |      23 |  2691366 |  2449738 |     1700   3272 |        0 |        0
995.12/995.57	c  995s |      23 |  2697066 |  2454538 |     1700   3277 |        0 |        0
997.21/997.60	c  997s |      23 |  2702117 |  2458938 |     1700   3281 |        0 |        0
999.21/999.62	c  999s |      23 |  2707642 |  2463638 |     1700   3287 |        0 |        0
1001.21/1001.65	c 1001s |      23 |  2713276 |  2468438 |     1700   3292 |        0 |        0
1003.21/1003.69	c 1003s |      23 |  2718692 |  2473038 |     1700   3297 |        0 |        0
1005.31/1005.71	c 1005s |      23 |  2723675 |  2477338 |     1700   3301 |        0 |        0
1007.32/1007.74	c 1007s |      23 |  2729273 |  2482238 |     1700   3306 |        0 |        0
1009.31/1009.77	c 1009s |      23 |  2734284 |  2486838 |     1700   3311 |        0 |        0
1011.41/1011.80	c 1011s |      23 |  2739351 |  2491438 |     1700   3316 |        0 |        0
1013.41/1013.85	c 1013s |      23 |  2743682 |  2495438 |     1700   3320 |        0 |        0
1015.41/1015.88	c 1015s |      23 |  2748438 |  2499738 |     1700   3325 |        0 |        0
1017.41/1017.89	c 1017s |      23 |  2753133 |  2504038 |     1700   3330 |        0 |        0
1019.51/1019.90	c 1019s |      23 |  2757613 |  2508138 |     1700   3334 |        0 |        0
1021.52/1021.91	c 1021s |      23 |  2761941 |  2512038 |     1700   3338 |        0 |        0
1023.51/1023.95	c 1023s |      23 |  2767359 |  2516738 |     1700   3343 |        0 |        0
1025.51/1025.97	c 1025s |      23 |  2772776 |  2521538 |     1700   3348 |        0 |        0
1027.61/1028.01	c 1027s |      23 |  2778619 |  2526638 |     1700   3354 |        0 |        0
1029.61/1030.02	c 1030s |      23 |  2784005 |  2531438 |     1700   3359 |        0 |        0
1031.61/1032.04	c 1032s |      23 |  2789301 |  2536138 |     1700   3364 |        0 |        0
1033.61/1034.08	c 1034s |      23 |  2795538 |  2541238 |     1700   3370 |        0 |        0
1035.71/1036.12	c 1036s |      23 |  2800949 |  2545938 |     1700   3375 |        0 |        0
1037.71/1038.14	c 1038s |      23 |  2806879 |  2550838 |     1700   3380 |        0 |        0
1039.71/1040.17	c 1040s |      23 |  2813334 |  2555738 |     1700   3385 |        0 |        0
1041.80/1042.20	c 1042s |      23 |  2819895 |  2560938 |     1700   3391 |        0 |        0
1043.80/1044.23	c 1044s |      23 |  2826026 |  2566038 |     1700   3396 |        0 |        0
1045.81/1046.23	c 1046s |      23 |  2831731 |  2570838 |     1700   3401 |        0 |        0
1047.80/1048.27	c 1048s |      23 |  2837353 |  2575638 |     1700   3407 |        0 |        0
1049.80/1050.28	c 1050s |      23 |  2842974 |  2580438 |     1700   3412 |        0 |        0
1051.80/1052.29	c 1052s |      23 |  2848614 |  2585238 |     1700   3417 |        0 |        0
1053.90/1054.32	c 1054s |      23 |  2854312 |  2590138 |     1700   3422 |        0 |        0
1055.90/1056.36	c 1056s |      23 |  2859923 |  2594838 |     1700   3427 |        0 |        0
1057.91/1058.38	c 1058s |      23 |  2866313 |  2600038 |     1700   3433 |        0 |        0
1059.90/1060.40	c 1060s |      23 |  2872688 |  2605538 |     1700   3439 |        0 |        0
1062.00/1062.43	c 1062s |      23 |  2878415 |  2610638 |     1700   3444 |        0 |        0
1064.00/1064.43	c 1064s |      23 |  2883941 |  2615438 |     1700   3449 |        0 |        0
1066.00/1066.44	c 1066s |      23 |  2889457 |  2620238 |     1700   3455 |        0 |        0
1068.00/1068.46	c 1068s |      23 |  2894724 |  2624838 |     1700   3460 |        0 |        0
1070.10/1070.51	c 1070s |      23 |  2899908 |  2629438 |     1700   3465 |        0 |        0
1072.11/1072.52	c 1072s |      23 |  2905222 |  2634138 |     1700   3470 |        0 |        0
1074.10/1074.54	c 1074s |      23 |  2910698 |  2638938 |     1700   3475 |        0 |        0
1076.10/1076.54	c 1076s |      23 |  2916747 |  2644138 |     1700   3480 |        0 |        0
1078.10/1078.55	c 1078s |      23 |  2922156 |  2648838 |     1700   3485 |        0 |        0
1080.10/1080.58	c 1080s |      23 |  2927173 |  2653238 |     1700   3490 |        0 |        0
1082.20/1082.62	c 1082s |      23 |  2932198 |  2657638 |     1700   3495 |        0 |        0
1084.21/1084.64	c 1084s |      23 |  2937100 |  2662038 |     1700   3500 |        0 |        0
1086.20/1086.68	c 1086s |      23 |  2942309 |  2666738 |     1700   3505 |        0 |        0
1088.30/1088.71	c 1088s |      23 |  2948057 |  2671738 |     1700   3510 |        0 |        0
1090.30/1090.73	c 1090s |      23 |  2953444 |  2676438 |     1700   3515 |        0 |        0
1092.30/1092.76	c 1092s |      23 |  2959290 |  2681438 |     1700   3520 |        0 |        0
1094.30/1094.78	c 1094s |      23 |  2965073 |  2686338 |     1700   3526 |        0 |        0
1096.30/1096.79	c 1096s |      23 |  2970487 |  2690938 |     1700   3531 |        0 |        0
1098.40/1098.82	c 1098s |      23 |  2975717 |  2695438 |     1700   3536 |        0 |        0
1100.39/1100.87	c 1100s |      23 |  2980285 |  2699638 |     1700   3540 |        0 |        0
1102.49/1102.91	c 1102s |      23 |  2985773 |  2704438 |     1700   3545 |        0 |        0
1104.49/1104.93	c 1104s |      23 |  2990499 |  2708538 |     1700   3550 |        0 |        0
1106.49/1106.95	c 1106s |      23 |  2996171 |  2713438 |     1700   3555 |        0 |        0
1108.50/1108.97	c 1108s |      23 |  3001238 |  2717938 |     1700   3560 |        0 |        0
1110.49/1110.98	c 1110s |      23 |  3006529 |  2722538 |     1700   3565 |        0 |        0
1112.59/1113.02	c 1113s |      23 |  3011670 |  2727138 |     1700   3570 |        0 |        0
1114.59/1115.06	c 1115s |      23 |  3016653 |  2731538 |     1700   3574 |        0 |        0
1116.59/1117.09	c 1117s |      23 |  3022509 |  2736538 |     1700   3580 |        0 |        0
1118.69/1119.12	c 1119s |      23 |  3028392 |  2741538 |     1700   3585 |        0 |        0
1120.69/1121.15	c 1121s |      23 |  3033891 |  2746238 |     1700   3590 |        0 |        0
1122.70/1123.19	c 1123s |      23 |  3039791 |  2751238 |     1700   3596 |        0 |        0
1124.79/1125.22	c 1125s |      23 |  3044867 |  2755738 |     1700   3601 |        0 |        0
1126.79/1127.22	c 1127s |      23 |  3049972 |  2760238 |     1700   3605 |        0 |        0
1128.79/1129.23	c 1129s |      23 |  3055497 |  2765038 |     1700   3611 |        0 |        0
1130.79/1131.26	c 1131s |      23 |  3061092 |  2769838 |     1700   3616 |        0 |        0
1132.79/1133.29	c 1133s |      23 |  3066469 |  2774338 |     1700   3621 |        0 |        0
1134.79/1135.30	c 1135s |      23 |  3071379 |  2778638 |     1700   3625 |        0 |        0
1136.89/1137.31	c 1137s |      23 |  3076327 |  2782838 |     1700   3630 |        0 |        0
1138.89/1139.34	c 1139s |      23 |  3081596 |  2787238 |     1700   3634 |        0 |        0
1140.89/1141.37	c 1141s |      23 |  3086981 |  2791738 |     1700   3639 |        0 |        0
1142.99/1143.40	c 1143s |      23 |  3092254 |  2796238 |     1700   3644 |        0 |        0
1144.99/1145.44	c 1145s |      23 |  3096999 |  2800338 |     1700   3649 |        0 |        0
1146.99/1147.45	c 1147s |      23 |  3101686 |  2804438 |     1700   3653 |        0 |        0
1148.98/1149.45	c 1149s |      23 |  3106016 |  2808238 |     1700   3657 |        0 |        0
1151.08/1151.50	c 1151s |      23 |  3111059 |  2812438 |     1700   3662 |        0 |        0
1153.08/1153.53	c 1153s |      23 |  3117184 |  2817538 |     1700   3667 |        0 |        0
1155.08/1155.55	c 1155s |      23 |  3123103 |  2822738 |     1700   3673 |        0 |        0
1157.08/1157.58	c 1157s |      23 |  3129295 |  2828038 |     1700   3678 |        0 |        0
1159.19/1159.60	c 1159s |      23 |  3134689 |  2832638 |     1700   3683 |        0 |        0
1161.20/1161.63	c 1161s |      23 |  3139903 |  2837138 |     1700   3688 |        0 |        0
1163.19/1163.65	c 1163s |      23 |  3144962 |  2841538 |     1700   3693 |        0 |        0
1165.19/1165.67	c 1165s |      23 |  3150105 |  2846038 |     1700   3698 |        0 |        0
1167.29/1167.71	c 1167s |      23 |  3155260 |  2850438 |     1700   3702 |        0 |        0
1169.29/1169.74	c 1169s |      23 |  3160385 |  2854838 |     1700   3707 |        0 |        0
1171.29/1171.76	c 1171s |      23 |  3165480 |  2859338 |     1700   3712 |        0 |        0
1173.29/1173.79	c 1173s |      23 |  3170375 |  2863738 |     1700   3717 |        0 |        0
1175.39/1175.83	c 1175s |      23 |  3175215 |  2868038 |     1700   3721 |        0 |        0
1177.39/1177.86	c 1177s |      23 |  3180386 |  2872638 |     1700   3726 |        0 |        0
1179.38/1179.88	c 1179s |      23 |  3185006 |  2876838 |     1700   3731 |        0 |        0
1181.38/1181.88	c 1181s |      23 |  3189604 |  2881038 |     1700   3735 |        0 |        0
1183.48/1183.93	c 1183s |      23 |  3194183 |  2885238 |     1700   3740 |        0 |        0
1185.49/1185.94	c 1185s |      23 |  3198598 |  2889238 |     1700   3744 |        0 |        0
1187.48/1187.94	c 1187s |      23 |  3203446 |  2893638 |     1700   3749 |        0 |        0
1189.48/1189.99	c 1189s |      23 |  3208414 |  2898038 |     1700   3754 |        0 |        0
1191.58/1192.00	c 1191s |      23 |  3212832 |  2902038 |     1700   3758 |        0 |        0
1193.58/1194.01	c 1193s |      23 |  3217490 |  2906238 |     1700   3762 |        0 |        0
1195.58/1196.03	c 1196s |      23 |  3222345 |  2910538 |     1700   3767 |        0 |        0
1197.59/1198.07	c 1198s |      23 |  3226878 |  2914638 |     1700   3771 |        0 |        0
1199.58/1200.07	c 1200s |      23 |  3231935 |  2919138 |     1700   3776 |        0 |        0
1201.58/1202.09	c 1202s |      23 |  3237080 |  2923638 |     1700   3781 |        0 |        0
1203.68/1204.11	c 1204s |      23 |  3241905 |  2927838 |     1700   3786 |        0 |        0
1205.68/1206.14	c 1206s |      23 |  3246767 |  2932138 |     1700   3790 |        0 |        0
1207.68/1208.16	c 1208s |      23 |  3251467 |  2936338 |     1700   3795 |        0 |        0
1209.78/1210.21	c 1210s |      23 |  3256637 |  2940838 |     1700   3799 |        0 |        0
1211.79/1212.23	c 1212s |      23 |  3261200 |  2944838 |     1700   3804 |        0 |        0
1213.78/1214.25	c 1214s |      23 |  3265653 |  2948738 |     1700   3808 |        0 |        0
1215.78/1216.27	c 1216s |      23 |  3270856 |  2953438 |     1700   3813 |        0 |        0
1217.88/1218.30	c 1218s |      23 |  3275736 |  2957938 |     1700   3818 |        0 |        0
1219.88/1220.31	c 1220s |      23 |  3280455 |  2962238 |     1700   3822 |        0 |        0
1221.88/1222.35	c 1222s |      23 |  3285147 |  2966438 |     1700   3827 |        0 |        0
1223.89/1224.36	c 1224s |      23 |  3290339 |  2970938 |     1700   3832 |        0 |        0
1225.88/1226.38	c 1226s |      23 |  3295870 |  2975538 |     1700   3837 |        0 |        0
1227.98/1228.43	c 1228s |      23 |  3301202 |  2980138 |     1700   3842 |        0 |        0
1229.98/1230.44	c 1230s |      23 |  3306045 |  2984338 |     1700   3846 |        0 |        0
1231.98/1232.46	c 1232s |      23 |  3311047 |  2988638 |     1700   3851 |        0 |        0
1233.98/1234.48	c 1234s |      23 |  3315370 |  2992538 |     1700   3855 |        0 |        0
1235.98/1236.48	c 1236s |      23 |  3319634 |  2996438 |     1700   3859 |        0 |        0
1237.97/1238.49	c 1238s |      23 |  3324030 |  3000538 |     1700   3863 |        0 |        0
1240.07/1240.52	c 1240s |      23 |  3328186 |  3004338 |     1700   3867 |        0 |        0
1242.07/1242.54	c 1242s |      23 |  3332876 |  3008438 |     1700   3872 |        0 |        0
1244.07/1244.59	c 1244s |      23 |  3338514 |  3013338 |     1700   3877 |        0 |        0
1246.17/1246.60	c 1246s |      23 |  3343695 |  3017938 |     1700   3882 |        0 |        0
1248.18/1248.64	c 1248s |      23 |  3349276 |  3022838 |     1700   3887 |        0 |        0
1250.17/1250.67	c 1250s |      23 |  3354292 |  3027338 |     1700   3892 |        0 |        0
1252.17/1252.69	c 1252s |      23 |  3359101 |  3031638 |     1700   3897 |        0 |        0
1254.27/1254.73	c 1254s |      23 |  3364438 |  3036238 |     1700   3902 |        0 |        0
1256.27/1256.78	c 1256s |      23 |  3369212 |  3040438 |     1700   3906 |        0 |        0
1258.37/1258.82	c 1258s |      23 |  3373822 |  3044438 |     1700   3911 |        0 |        0
1260.38/1260.84	c 1260s |      23 |  3378732 |  3048638 |     1700   3915 |        0 |        0
1262.38/1262.85	c 1262s |      23 |  3383054 |  3052438 |     1700   3919 |        0 |        0
1264.38/1264.89	c 1264s |      23 |  3387739 |  3056538 |     1700   3924 |        0 |        0
1266.48/1266.93	c 1266s |      23 |  3392027 |  3060338 |     1700   3928 |        0 |        0
1268.48/1268.94	c 1268s |      23 |  3396396 |  3064138 |     1700   3932 |        0 |        0
1270.47/1270.98	c 1270s |      23 |  3401666 |  3068838 |     1700   3937 |        0 |        0
1272.47/1272.98	c 1272s |      23 |  3406933 |  3073638 |     1700   3942 |        0 |        0
1274.48/1274.99	c 1274s |      23 |  3412222 |  3078438 |     1700   3947 |        0 |        0
1276.57/1277.01	c 1276s |      23 |  3417138 |  3082938 |     1700   3952 |        0 |        0
1278.57/1279.02	c 1279s |      23 |  3422332 |  3087638 |     1700   3957 |        0 |        0
1280.57/1281.02	c 1281s |      23 |  3427696 |  3092438 |     1700   3962 |        0 |        0
1282.57/1283.03	c 1283s |      23 |  3433150 |  3097238 |     1700   3967 |        0 |        0
1284.57/1285.06	c 1285s |      23 |  3438461 |  3102038 |     1700   3972 |        0 |        0
1286.58/1287.10	c 1287s |      23 |  3444907 |  3107338 |     1700   3978 |        0 |        0
1288.67/1289.10	c 1289s |      23 |  3450613 |  3112338 |     1700   3983 |        0 |        0
1290.67/1291.14	c 1291s |      23 |  3456193 |  3117138 |     1700   3989 |        0 |        0
1292.67/1293.14	c 1293s |      23 |  3461873 |  3121938 |     1700   3994 |        0 |        0
1294.67/1295.17	c 1295s |      23 |  3467403 |  3126738 |     1700   3999 |        0 |        0
1296.77/1297.20	c 1297s |      23 |  3472461 |  3131138 |     1700   4004 |        0 |        0
1298.78/1299.23	c 1299s |      23 |  3476894 |  3135138 |     1700   4008 |        0 |        0
1300.77/1301.27	c 1301s |      23 |  3481881 |  3139538 |     1700   4013 |        0 |        0
1302.87/1303.30	c 1303s |      23 |  3486769 |  3143838 |     1700   4017 |        0 |        0
1304.87/1305.33	c 1305s |      23 |  3491838 |  3148338 |     1700   4022 |        0 |        0
1306.87/1307.35	c 1307s |      23 |  3496540 |  3152538 |     1700   4027 |        0 |        0
1308.87/1309.38	c 1309s |      23 |  3501793 |  3157138 |     1700   4032 |        0 |        0
1310.97/1311.40	c 1311s |      23 |  3507045 |  3161738 |     1700   4037 |        0 |        0
1312.97/1313.41	c 1313s |      23 |  3512006 |  3166238 |     1700   4041 |        0 |        0
1314.97/1315.44	c 1315s |      23 |  3516785 |  3170438 |     1700   4046 |        0 |        0
1316.97/1317.48	c 1317s |      23 |  3522244 |  3175138 |     1700   4051 |        0 |        0
1318.97/1319.49	c 1319s |      23 |  3527339 |  3179638 |     1700   4056 |        0 |        0
1321.07/1321.50	c 1321s |      23 |  3532236 |  3184038 |     1700   4061 |        0 |        0
1323.07/1323.54	c 1323s |      23 |  3536767 |  3188138 |     1700   4065 |        0 |        0
1325.07/1325.58	c 1325s |      23 |  3540895 |  3191938 |     1700   4069 |        0 |        0
1327.17/1327.62	c 1327s |      23 |  3545112 |  3195838 |     1700   4073 |        0 |        0
1329.17/1329.66	c 1329s |      23 |  3549649 |  3200038 |     1700   4078 |        0 |        0
1331.26/1331.70	c 1331s |      23 |  3554297 |  3204338 |     1700   4082 |        0 |        0
1333.26/1333.71	c 1333s |      23 |  3558589 |  3208338 |     1700   4086 |        0 |        0
1335.26/1335.72	c 1335s |      23 |  3563179 |  3212538 |     1700   4091 |        0 |        0
1337.27/1337.73	c 1337s |      23 |  3567635 |  3216538 |     1700   4095 |        0 |        0
1339.26/1339.75	c 1339s |      23 |  3572778 |  3221038 |     1700   4100 |        0 |        0
1341.26/1341.79	c 1341s |      23 |  3577272 |  3224938 |     1700   4104 |        0 |        0
1343.36/1343.84	c 1343s |      23 |  3581376 |  3228638 |     1700   4108 |        0 |        0
1345.36/1345.85	c 1345s |      23 |  3585550 |  3232338 |     1700   4112 |        0 |        0
1347.36/1347.86	c 1347s |      23 |  3589594 |  3236038 |     1700   4116 |        0 |        0
1349.37/1349.89	c 1349s |      23 |  3594311 |  3240138 |     1700   4121 |        0 |        0
1351.47/1351.92	c 1351s |      23 |  3599316 |  3244638 |     1700   4125 |        0 |        0
1353.46/1353.93	c 1353s |      23 |  3604787 |  3249338 |     1700   4130 |        0 |        0
1355.46/1355.97	c 1355s |      23 |  3609700 |  3253638 |     1700   4135 |        0 |        0
1357.46/1357.98	c 1357s |      23 |  3614380 |  3257838 |     1700   4140 |        0 |        0
1359.46/1359.99	c 1359s |      23 |  3619325 |  3262238 |     1700   4144 |        0 |        0
1361.56/1362.03	c 1362s |      23 |  3624102 |  3266538 |     1700   4149 |        0 |        0
1363.57/1364.07	c 1364s |      23 |  3628547 |  3270538 |     1700   4153 |        0 |        0
1365.56/1366.07	c 1366s |      23 |  3633025 |  3274538 |     1700   4158 |        0 |        0
1367.56/1368.09	c 1368s |      23 |  3637805 |  3278738 |     1700   4162 |        0 |        0
1369.66/1370.15	c 1370s |      23 |  3642636 |  3282938 |     1700   4167 |        0 |        0
1371.66/1372.19	c 1372s |      23 |  3647402 |  3287138 |     1700   4171 |        0 |        0
1373.76/1374.22	c 1374s |      23 |  3652274 |  3291438 |     1700   4176 |        0 |        0
1375.77/1376.26	c 1376s |      23 |  3657450 |  3296038 |     1700   4181 |        0 |        0
1377.76/1378.29	c 1378s |      23 |  3662556 |  3300638 |     1700   4185 |        0 |        0
1379.86/1380.33	c 1380s |      23 |  3667628 |  3305138 |     1700   4190 |        0 |        0
1381.86/1382.38	c 1382s |      23 |  3672827 |  3309838 |     1700   4195 |        0 |        0
1383.96/1384.41	c 1384s |      23 |  3677789 |  3314338 |     1700   4200 |        0 |        0
1385.96/1386.43	c 1386s |      23 |  3682805 |  3318838 |     1700   4205 |        0 |        0
1387.96/1388.43	c 1388s |      23 |  3687288 |  3323038 |     1700   4209 |        0 |        0
1389.96/1390.43	c 1390s |      23 |  3692168 |  3327438 |     1700   4214 |        0 |        0
1391.95/1392.46	c 1392s |      23 |  3696999 |  3331838 |     1700   4219 |        0 |        0
1393.95/1394.47	c 1394s |      23 |  3701755 |  3336138 |     1700   4224 |        0 |        0
1395.95/1396.48	c 1396s |      23 |  3706039 |  3340038 |     1700   4228 |        0 |        0
1398.05/1398.52	c 1398s |      23 |  3710890 |  3344438 |     1700   4232 |        0 |        0
1400.05/1400.56	c 1400s |      23 |  3716062 |  3349138 |     1700   4237 |        0 |        0
1402.06/1402.57	c 1402s |      23 |  3720979 |  3353538 |     1871   4242 |        0 |        0
1404.05/1404.58	c 1404s |      23 |  3725810 |  3357838 |     1871   4246 |        0 |        0
1406.15/1406.62	c 1406s |      23 |  3730937 |  3362338 |     1871   4251 |        0 |        0
1408.15/1408.66	c 1408s |      23 |  3735896 |  3366738 |     1871   4255 |        0 |        0
1410.25/1410.71	c 1410s |      23 |  3741143 |  3371338 |     1871   4260 |        0 |        0
1412.25/1412.73	c 1412s |      23 |  3746213 |  3375738 |     1871   4264 |        0 |        0
1412.65/1413.16	c 1413s |      24 |  3747268 |  3376662 |     1871   4265 |        0 |        0
1414.65/1415.19	c 1415s |      24 |  3753723 |  3381462 |     1871   4269 |        0 |        0
1416.75/1417.24	c 1417s |      24 |  3759218 |  3386062 |     1871   4274 |        0 |        0
1418.75/1419.25	c 1419s |      24 |  3764698 |  3390862 |     1871   4279 |        0 |        0
1420.75/1421.27	c 1421s |      24 |  3770428 |  3395862 |     1871   4284 |        0 |        0
1422.85/1423.31	c 1423s |      24 |  3775907 |  3400662 |     1871   4289 |        0 |        0
1424.85/1425.33	c 1425s |      24 |  3781354 |  3405462 |     1871   4293 |        0 |        0
1426.85/1427.38	c 1427s |      24 |  3786085 |  3409962 |     1871   4298 |        0 |        0
1428.85/1429.40	c 1429s |      24 |  3790936 |  3414362 |     1871   4302 |        0 |        0
1430.95/1431.41	c 1431s |      24 |  3796025 |  3418962 |     1871   4307 |        0 |        0
1432.95/1433.43	c 1433s |      24 |  3801041 |  3423662 |     1871   4312 |        0 |        0
1434.94/1435.45	c 1435s |      24 |  3805995 |  3428262 |     1871   4316 |        0 |        0
1436.94/1437.48	c 1437s |      24 |  3810617 |  3432562 |     1871   4320 |        0 |        0
1439.04/1439.53	c 1439s |      24 |  3815045 |  3436662 |     1871   4325 |        0 |        0
1441.04/1441.57	c 1441s |      24 |  3819635 |  3440862 |     1871   4329 |        0 |        0
1443.04/1443.58	c 1443s |      24 |  3823891 |  3444862 |     1871   4333 |        0 |        0
1445.05/1445.58	c 1445s |      24 |  3828703 |  3449162 |     1871   4337 |        0 |        0
1447.15/1447.62	c 1447s |      24 |  3832784 |  3452962 |     1871   4341 |        0 |        0
1449.14/1449.66	c 1449s |      24 |  3836889 |  3456762 |     1871   4345 |        0 |        0
1451.14/1451.68	c 1451s |      24 |  3842279 |  3461362 |     1871   4349 |        0 |        0
1453.24/1453.72	c 1453s |      24 |  3847042 |  3465662 |     1871   4354 |        0 |        0
1455.24/1455.73	c 1455s |      24 |  3851570 |  3469762 |     1871   4358 |        0 |        0
1457.24/1457.76	c 1457s |      24 |  3856860 |  3474462 |     1871   4362 |        0 |        0
1459.25/1459.78	c 1459s |      24 |  3861646 |  3478762 |     1871   4367 |        0 |        0
1461.24/1461.79	c 1461s |      24 |  3866547 |  3483162 |     1871   4371 |        0 |        0
1463.34/1463.84	c 1463s |      24 |  3871123 |  3487362 |     1871   4375 |        0 |        0
1465.34/1465.87	c 1465s |      24 |  3875592 |  3491462 |     1871   4379 |        0 |        0
1467.34/1467.89	c 1467s |      24 |  3879527 |  3495062 |     1871   4383 |        0 |        0
1469.44/1469.93	c 1469s |      24 |  3883556 |  3498762 |     1871   4387 |        0 |        0
1471.44/1471.96	c 1471s |      24 |  3888141 |  3502962 |     1871   4391 |        0 |        0
1473.44/1473.99	c 1473s |      24 |  3892870 |  3507262 |     1871   4395 |        0 |        0
1475.53/1476.00	c 1475s |      24 |  3897365 |  3511362 |     1871   4399 |        0 |        0
1477.53/1478.05	c 1478s |      24 |  3901495 |  3515162 |     1871   4403 |        0 |        0
1479.53/1480.08	c 1480s |      24 |  3906501 |  3519462 |     1871   4407 |        0 |        0
1481.63/1482.10	c 1482s |      24 |  3911571 |  3524062 |     1871   4412 |        0 |        0
1483.63/1484.14	c 1484s |      24 |  3916408 |  3528562 |     1871   4416 |        0 |        0
1485.64/1486.15	c 1486s |      24 |  3921263 |  3532962 |     1871   4421 |        0 |        0
1487.63/1488.15	c 1488s |      24 |  3925946 |  3537062 |     1871   4425 |        0 |        0
1489.63/1490.17	c 1490s |      24 |  3929905 |  3540662 |     1871   4428 |        0 |        0
1491.63/1492.19	c 1492s |      24 |  3933451 |  3543962 |     1871   4432 |        0 |        0
1493.73/1494.21	c 1494s |      24 |  3937498 |  3547662 |     1871   4435 |        0 |        0
1495.73/1496.21	c 1496s |      24 |  3942599 |  3552162 |     1871   4440 |        0 |        0
1497.75/1498.27	c 1498s |      24 |  3947708 |  3556662 |     1871   4444 |        0 |        0
1499.74/1500.28	c 1500s |      24 |  3952650 |  3561062 |     1871   4449 |        0 |        0
1501.84/1502.31	c 1502s |      24 |  3957771 |  3565562 |     1871   4453 |        0 |        0
1503.84/1504.33	c 1504s |      24 |  3962402 |  3569862 |     1871   4458 |        0 |        0
1505.84/1506.35	c 1506s |      24 |  3967558 |  3574462 |     1871   4462 |        0 |        0
1507.84/1508.39	c 1508s |      24 |  3972668 |  3579062 |     1871   4467 |        0 |        0
1509.95/1510.42	c 1510s |      24 |  3977310 |  3583262 |     1871   4471 |        0 |        0
1511.94/1512.45	c 1512s |      24 |  3982568 |  3587862 |     1871   4476 |        0 |        0
1513.94/1514.48	c 1514s |      24 |  3987495 |  3592262 |     1871   4480 |        0 |        0
1516.04/1516.50	c 1516s |      24 |  3991800 |  3596262 |     1871   4484 |        0 |        0
1518.04/1518.51	c 1518s |      24 |  3996016 |  3600162 |     1871   4488 |        0 |        0
1520.04/1520.53	c 1520s |      24 |  4000790 |  3604462 |     1871   4492 |        0 |        0
1522.04/1522.54	c 1522s |      24 |  4004946 |  3608262 |     1871   4496 |        0 |        0
1524.04/1524.57	c 1524s |      24 |  4010028 |  3612762 |     1871   4500 |        0 |        0
1526.04/1526.59	c 1526s |      24 |  4014902 |  3617062 |     1871   4505 |        0 |        0
1528.13/1528.60	c 1528s |      24 |  4019316 |  3621062 |     1871   4509 |        0 |        0
1530.13/1530.64	c 1530s |      24 |  4023332 |  3624762 |     1871   4512 |        0 |        0
1532.13/1532.66	c 1532s |      24 |  4028130 |  3628962 |     1871   4517 |        0 |        0
1534.23/1534.70	c 1534s |      24 |  4033023 |  3633362 |     1871   4521 |        0 |        0
1536.24/1536.75	c 1536s |      24 |  4037720 |  3637662 |     1871   4525 |        0 |        0
1538.23/1538.78	c 1538s |      24 |  4042312 |  3641862 |     1871   4530 |        0 |        0
1540.33/1540.81	c 1540s |      24 |  4047576 |  3646562 |     1871   4534 |        0 |        0
1542.33/1542.82	c 1542s |      24 |  4052065 |  3650662 |     1871   4538 |        0 |        0
1544.33/1544.84	c 1544s |      24 |  4056843 |  3654962 |     1871   4543 |        0 |        0
1546.33/1546.84	c 1546s |      24 |  4061234 |  3658962 |     1871   4547 |        0 |        0
1548.34/1548.85	c 1548s |      24 |  4065684 |  3663062 |     1871   4551 |        0 |        0
1550.43/1550.91	c 1550s |      24 |  4069818 |  3666862 |     1871   4555 |        0 |        0
1552.43/1552.91	c 1552s |      24 |  4074039 |  3670762 |     1871   4558 |        0 |        0
1554.43/1554.94	c 1554s |      24 |  4079009 |  3675262 |     1871   4563 |        0 |        0
1556.43/1556.95	c 1556s |      24 |  4083563 |  3679362 |     1871   4567 |        0 |        0
1558.43/1558.98	c 1558s |      24 |  4088249 |  3683562 |     1871   4571 |        0 |        0
1560.54/1561.01	c 1560s |      24 |  4092022 |  3687062 |     1871   4575 |        0 |        0
1562.53/1563.06	c 1563s |      24 |  4096019 |  3690762 |     1871   4579 |        0 |        0
1564.53/1565.06	c 1565s |      24 |  4100495 |  3694962 |     1871   4583 |        0 |        0
1566.53/1567.07	c 1567s |      24 |  4105737 |  3699762 |     1871   4587 |        0 |        0
1568.63/1569.11	c 1569s |      24 |  4110844 |  3704362 |     1871   4592 |        0 |        0
1570.63/1571.14	c 1571s |      24 |  4115657 |  3708662 |     1871   4596 |        0 |        0
1572.63/1573.15	c 1573s |      24 |  4120841 |  3713262 |     1871   4601 |        0 |        0
1574.63/1575.18	c 1575s |      24 |  4125728 |  3717662 |     1871   4605 |        0 |        0
1576.73/1577.22	c 1577s |      24 |  4130705 |  3722162 |     1871   4610 |        0 |        0
1578.73/1579.23	c 1579s |      24 |  4136092 |  3726862 |     1871   4615 |        0 |        0
1580.72/1581.23	c 1581s |      24 |  4140594 |  3730962 |     1871   4619 |        0 |        0
1582.72/1583.25	c 1583s |      24 |  4145111 |  3735062 |     1871   4623 |        0 |        0
1584.82/1585.31	c 1585s |      24 |  4149507 |  3739062 |     1871   4627 |        0 |        0
1586.83/1587.34	c 1587s |      24 |  4153774 |  3742962 |     1871   4630 |        0 |        0
1588.82/1589.37	c 1589s |      24 |  4158351 |  3747162 |     1871   4635 |        0 |        0
1590.82/1591.38	c 1591s |      24 |  4162701 |  3751062 |     1871   4639 |        0 |        0
1592.92/1593.43	c 1593s |      24 |  4166972 |  3754962 |     1871   4642 |        0 |        0
1594.92/1595.47	c 1595s |      24 |  4171161 |  3758862 |     1871   4646 |        0 |        0
1597.02/1597.51	c 1597s |      24 |  4175745 |  3762962 |     1871   4650 |        0 |        0
1599.03/1599.54	c 1599s |      24 |  4179919 |  3766862 |     1871   4654 |        0 |        0
1601.02/1601.55	c 1601s |      24 |  4183869 |  3770562 |     1871   4658 |        0 |        0
1603.02/1603.59	c 1603s |      24 |  4188057 |  3774462 |     1871   4662 |        0 |        0
1605.12/1605.60	c 1605s |      24 |  4191791 |  3777962 |     1871   4665 |        0 |        0
1607.12/1607.63	c 1607s |      24 |  4196284 |  3781962 |     1871   4669 |        0 |        0
1609.12/1609.66	c 1609s |      24 |  4201270 |  3786362 |     1871   4674 |        0 |        0
1611.13/1611.67	c 1611s |      24 |  4205864 |  3790562 |     1871   4678 |        0 |        0
1613.12/1613.70	c 1613s |      24 |  4210535 |  3794862 |     1871   4682 |        0 |        0
1615.22/1615.73	c 1615s |      24 |  4215181 |  3799162 |     1871   4686 |        0 |        0
1617.22/1617.76	c 1617s |      24 |  4219544 |  3803262 |     1871   4690 |        0 |        0
1619.22/1619.76	c 1619s |      24 |  4223564 |  3807062 |     1871   4694 |        0 |        0
1621.22/1621.76	c 1621s |      24 |  4227735 |  3810862 |     1871   4698 |        0 |        0
1623.22/1623.78	c 1623s |      24 |  4231954 |  3814762 |     1871   4702 |        0 |        0
1625.22/1625.80	c 1625s |      24 |  4236023 |  3818562 |     1871   4706 |        0 |        0
1627.32/1627.83	c 1627s |      24 |  4240310 |  3822562 |     1871   4710 |        0 |        0
1629.32/1629.86	c 1629s |      24 |  4245096 |  3826962 |     1871   4714 |        0 |        0
1631.32/1631.88	c 1631s |      24 |  4249866 |  3831362 |     1871   4718 |        0 |        0
1633.41/1633.91	c 1633s |      24 |  4254350 |  3835562 |     1871   4723 |        0 |        0
1635.41/1635.92	c 1635s |      24 |  4259372 |  3840162 |     1871   4727 |        0 |        0
1637.42/1637.93	c 1637s |      24 |  4263876 |  3844262 |     1871   4731 |        0 |        0
1639.41/1639.95	c 1639s |      24 |  4268575 |  3848562 |     1871   4736 |        0 |        0
1641.41/1641.99	c 1641s |      24 |  4273409 |  3852862 |     1871   4740 |        0 |        0
1643.51/1644.02	c 1644s |      24 |  4278111 |  3857062 |     1871   4744 |        0 |        0
1645.51/1646.05	c 1646s |      24 |  4282278 |  3860862 |     1871   4748 |        0 |        0
1647.51/1648.08	c 1648s |      24 |  4286554 |  3864762 |     1871   4752 |        0 |        0
1649.62/1650.12	c 1650s |      24 |  4291459 |  3869262 |     1871   4756 |        0 |        0
1651.61/1652.13	c 1652s |      24 |  4295593 |  3873162 |     1871   4760 |        0 |        0
1653.61/1654.17	c 1654s |      24 |  4299830 |  3877162 |     1871   4764 |        0 |        0
1655.61/1656.19	c 1656s |      24 |  4304307 |  3881262 |     1871   4768 |        0 |        0
1657.71/1658.20	c 1658s |      24 |  4308609 |  3885262 |     1871   4772 |        0 |        0
1659.71/1660.21	c 1660s |      24 |  4312736 |  3889162 |     1871   4776 |        0 |        0
1661.72/1662.24	c 1662s |      24 |  4316697 |  3892862 |     1871   4780 |        0 |        0
1663.71/1664.28	c 1664s |      24 |  4320695 |  3896562 |     1871   4783 |        0 |        0
1665.81/1666.33	c 1666s |      24 |  4324919 |  3900462 |     1871   4787 |        0 |        0
1667.81/1668.35	c 1668s |      24 |  4329083 |  3904262 |     1871   4791 |        0 |        0
1669.81/1670.37	c 1670s |      24 |  4333193 |  3908062 |     1871   4795 |        0 |        0
1671.90/1672.41	c 1672s |      24 |  4337486 |  3912062 |     1871   4799 |        0 |        0
1673.90/1674.46	c 1674s |      24 |  4341520 |  3915862 |     1871   4803 |        0 |        0
1676.01/1676.52	c 1676s |      24 |  4345498 |  3919562 |     1871   4806 |        0 |        0
1678.01/1678.52	c 1678s |      24 |  4349633 |  3923362 |     1871   4810 |        0 |        0
1680.01/1680.55	c 1680s |      24 |  4353846 |  3927262 |     1871   4814 |        0 |        0
1682.01/1682.59	c 1682s |      24 |  4357925 |  3931062 |     1871   4818 |        0 |        0
1684.01/1684.59	c 1684s |      24 |  4362076 |  3934862 |     1871   4822 |        0 |        0
1686.11/1686.61	c 1686s |      24 |  4365973 |  3938462 |     1871   4825 |        0 |        0
1688.12/1688.65	c 1688s |      24 |  4370402 |  3942562 |     1871   4829 |        0 |        0
1690.11/1690.68	c 1690s |      24 |  4376022 |  3947562 |     1871   4834 |        0 |        0
1692.21/1692.71	c 1692s |      24 |  4381164 |  3952262 |     1871   4839 |        0 |        0
1694.21/1694.71	c 1694s |      24 |  4386176 |  3956862 |     1871   4844 |        0 |        0
1696.21/1696.72	c 1696s |      24 |  4391227 |  3961362 |     1871   4848 |        0 |        0
1698.21/1698.72	c 1698s |      24 |  4396000 |  3965662 |     1871   4853 |        0 |        0
1700.22/1700.75	c 1700s |      24 |  4400680 |  3969962 |     1871   4857 |        0 |        0
1702.21/1702.77	c 1702s |      24 |  4405552 |  3974462 |     1871   4861 |        0 |        0
1704.21/1704.79	c 1704s |      24 |  4410213 |  3978662 |     1871   4866 |        0 |        0
1706.31/1706.80	c 1706s |      24 |  4414890 |  3982962 |     1871   4870 |        0 |        0
1708.31/1708.85	c 1708s |      24 |  4419862 |  3987462 |     1871   4874 |        0 |        0
1710.41/1710.90	c 1710s |      24 |  4424417 |  3991662 |     1871   4879 |        0 |        0
1712.41/1712.92	c 1712s |      24 |  4428993 |  3995762 |     1871   4883 |        0 |        0
1714.41/1714.96	c 1714s |      24 |  4433704 |  4000062 |     1871   4887 |        0 |        0
1716.41/1716.99	c 1716s |      24 |  4438157 |  4004162 |     1871   4891 |        0 |        0
1718.41/1718.99	c 1718s |      24 |  4442295 |  4007962 |     1871   4895 |        0 |        0
1720.51/1721.03	c 1721s |      24 |  4447090 |  4012362 |     1871   4899 |        0 |        0
1722.51/1723.06	c 1723s |      24 |  4451477 |  4016462 |     1871   4903 |        0 |        0
1724.60/1725.11	c 1725s |      24 |  4456056 |  4020662 |     1871   4908 |        0 |        0
1726.61/1727.12	c 1727s |      24 |  4460824 |  4025062 |     1871   4912 |        0 |        0
1728.60/1729.15	c 1729s |      24 |  4465070 |  4029062 |     1871   4916 |        0 |        0
1730.60/1731.15	c 1731s |      24 |  4470021 |  4033562 |     1871   4920 |        0 |        0
1732.60/1733.17	c 1733s |      24 |  4474554 |  4037662 |     1871   4925 |        0 |        0
1734.60/1735.19	c 1735s |      24 |  4478925 |  4041662 |     1871   4929 |        0 |        0
1736.70/1737.21	c 1737s |      24 |  4483379 |  4045762 |     1871   4933 |        0 |        0
1738.71/1739.23	c 1739s |      24 |  4487539 |  4049562 |     1871   4936 |        0 |        0
1740.70/1741.24	c 1741s |      24 |  4491501 |  4053262 |     1871   4940 |        0 |        0
1742.70/1743.28	c 1743s |      24 |  4495379 |  4056862 |     1871   4944 |        0 |        0
1744.70/1745.29	c 1745s |      24 |  4500038 |  4061062 |     1871   4948 |        0 |        0
1746.80/1747.32	c 1747s |      24 |  4504533 |  4065062 |     1871   4952 |        0 |        0
1748.80/1749.34	c 1749s |      24 |  4508786 |  4068962 |     1871   4956 |        0 |        0
1750.81/1751.36	c 1751s |      24 |  4512742 |  4072562 |     1871   4959 |        0 |        0
1752.80/1753.36	c 1753s |      24 |  4516660 |  4076162 |     1871   4963 |        0 |        0
1754.90/1755.41	c 1755s |      24 |  4520392 |  4079562 |     1871   4966 |        0 |        0
1756.90/1757.46	c 1757s |      24 |  4525020 |  4083762 |     1871   4971 |        0 |        0
1758.90/1759.46	c 1759s |      24 |  4529343 |  4087662 |     1871   4974 |        0 |        0
1760.90/1761.48	c 1761s |      24 |  4533817 |  4091762 |     1871   4979 |        0 |        0
1762.91/1763.48	c 1763s |      24 |  4538111 |  4095762 |     1871   4983 |        0 |        0
1765.00/1765.54	c 1765s |      24 |  4542150 |  4099562 |     1871   4986 |        0 |        0
1767.00/1767.56	c 1767s |      24 |  4546574 |  4103562 |     1871   4990 |        0 |        0
1769.00/1769.57	c 1769s |      24 |  4550984 |  4107562 |     1871   4994 |        0 |        0
1771.10/1771.60	c 1771s |      24 |  4555160 |  4111462 |     1871   4998 |        0 |        0
1773.10/1773.63	c 1773s |      24 |  4559131 |  4115162 |     1871   5002 |        0 |        0
1775.10/1775.65	c 1775s |      24 |  4563880 |  4119562 |     1871   5006 |        0 |        0
1777.10/1777.66	c 1777s |      24 |  4568185 |  4123562 |     1871   5010 |        0 |        0
1779.09/1779.68	c 1779s |      24 |  4572341 |  4127462 |     1871   5014 |        0 |        0
1781.19/1781.71	c 1781s |      24 |  4576480 |  4131262 |     1871   5018 |        0 |        0
1783.19/1783.75	c 1783s |      24 |  4580327 |  4134862 |     1871   5021 |        0 |        0
1785.19/1785.79	c 1785s |      24 |  4583985 |  4138262 |     1871   5025 |        0 |        0
1787.29/1787.82	c 1787s |      24 |  4587749 |  4141762 |     1871   5028 |        0 |        0
1789.30/1789.85	c 1789s |      24 |  4591503 |  4145262 |     1871   5032 |        0 |        0
1791.29/1791.89	c 1791s |      24 |  4596290 |  4149562 |     1871   5036 |        0 |        0
1793.29/1793.89	c 1793s |      24 |  4600976 |  4153862 |     1871   5040 |        0 |        0
1795.39/1795.95	c 1795s |      24 |  4605347 |  4157862 |     1871   5044 |        0 |        0
1797.39/1797.97	c 1797s |      24 |  4610057 |  4162162 |     1871   5049 |        0 |        0
1799.49/1800.01	c 1799s |      24 |  4614052 |  4165862 |     1871   5052 |        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-4089848-1466034530/watcher-4089848-1466034530 -o /tmp/evaluation-result-4089848-1466034530/solver-4089848-1466034530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466034530-13447 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089848-1466034530.opb 

pid=13469
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 5503448 723972096 3502 33554432000 4194304 16246674 140735662697104 140735662696528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 177263 3511 441 2943 0 174157 0
[pid=13474/tid=13477] ppid=13469 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 748089344 3595 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 752283648 3613 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 756477952 3629 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 29242 0 0 0 5 3 0 0 20 0 4 0 5503448 1247350784 30102 33554432000 4194304 16246674 140735662697104 140735662696528 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 304529 30118 716 2943 0 301423 0
[pid=13474/tid=13477] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 30125 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 30135 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 30148 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20052 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 58292 0 0 0 11 8 0 0 20 0 4 0 5503448 1247350784 59152 33554432000 4194304 16246674 140735662697104 140735662696528 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 304529 59164 716 2943 0 301423 0
[pid=13474/tid=13477] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 59167 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 59172 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 59182 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300507 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 86860 0 0 0 17 12 0 0 20 0 4 0 5503448 1247350784 87721 33554432000 4194304 16246674 140735662697104 140735662680104 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 304529 87730 716 2943 0 301423 0
[pid=13474/tid=13477] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 87736 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 87743 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 87752 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 1.00 1.01 1.14 3/175 13476
/proc/meminfo: memFree=31359448/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 202358 0 0 0 42 27 0 0 20 0 4 0 5503448 1247350784 203218 33554432000 4194304 16246674 140735662697104 140735662680104 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 304529 203236 717 2943 0 301423 0
[pid=13474/tid=13477] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 203245 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 203257 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1247350784 203265 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.00 1.01 1.14 4/183 13484
/proc/meminfo: memFree=29391808/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267265 0 0 0 113 36 0 0 20 0 4 0 5503448 1336479744 268105 33554432000 4194304 16246674 140735662697104 140735662680104 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326289 268105 790 2943 0 323183 0
[pid=13474/tid=13477] ppid=13469 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1336479744 268105 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1336479744 268105 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1336479744 268105 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 1.08 1.03 1.15 4/183 13484
/proc/meminfo: memFree=29216068/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267502 0 0 0 273 36 0 0 20 0 4 0 5503448 1337528320 268342 33554432000 4194304 16246674 140735662697104 140735662678976 5822964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326545 268342 791 2943 0 323439 0
[pid=13474/tid=13477] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268342 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268342 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268342 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.08 1.03 1.15 4/183 13484
/proc/meminfo: memFree=29214528/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267552 0 0 0 593 36 0 0 20 0 4 0 5503448 1337528320 268392 33554432000 4194304 16246674 140735662697104 140735662678976 6021020 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326545 268392 792 2943 0 323439 0
[pid=13474/tid=13477] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268392 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268392 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1337528320 268392 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.22 1.06 1.15 4/183 13484
/proc/meminfo: memFree=29215020/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267671 0 0 0 1233 36 0 0 20 0 4 0 5503448 1338576896 268511 33554432000 4194304 16246674 140735662697104 140735662678976 5668736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326801 268511 792 2943 0 323695 0
[pid=13474/tid=13477] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268511 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268511 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268511 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.34 1.09 1.16 4/183 13484
/proc/meminfo: memFree=29216276/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267679 0 0 0 2512 36 0 0 20 0 4 0 5503448 1338576896 268519 33554432000 4194304 16246674 140735662697104 140735662678976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326801 268519 792 2943 0 323695 0
[pid=13474/tid=13477] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268519 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268519 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268519 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.56 1.16 1.18 4/183 13484
/proc/meminfo: memFree=29215580/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267716 0 0 0 5072 36 0 0 20 0 4 0 5503448 1338576896 268555 33554432000 4194304 16246674 140735662697104 140735662678976 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326801 268555 792 2943 0 323695 0
[pid=13474/tid=13477] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268555 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268555 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268555 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 1.89 1.32 1.23 4/184 13488
/proc/meminfo: memFree=29214572/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 267799 0 0 0 10190 37 0 0 20 0 4 0 5503448 1338576896 268606 33554432000 4194304 16246674 140735662697104 140735662678976 13191279 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13474/statm: 326801 268606 794 2943 0 323695 0
[pid=13474/tid=13477] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268606 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268606 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1338576896 268606 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.78 4/184 13541
/proc/meminfo: memFree=29208348/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1301.87 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268570 0 0 0 130141 46 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 140735662678976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268977 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.80 4/183 13542
/proc/meminfo: memFree=29208472/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1361.86 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268570 0 0 0 136140 46 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 140735662678976 5546116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268977 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.81 4/183 13543
/proc/meminfo: memFree=29208976/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1421.85 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268570 0 0 0 142139 46 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 140735662678976 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268977 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/183 13544
/proc/meminfo: memFree=29208628/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1481.83 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268570 0 0 0 148137 46 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 140735662678976 13191528 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268977 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.82 4/183 13546
/proc/meminfo: memFree=29209256/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1541.84 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268570 0 0 0 154137 47 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 140735662678976 5545704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268977 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268977 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.84 4/183 13547
/proc/meminfo: memFree=29208700/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1601.82 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268571 0 0 0 160135 47 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 140735662678976 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268980 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.84 4/183 13548
/proc/meminfo: memFree=29208696/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1661.81 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268571 0 0 0 166134 47 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 140735662680104 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 268980 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 268980 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.85 4/183 13549
/proc/meminfo: memFree=29208452/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1721.81 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268607 0 0 0 172133 48 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 140735662678976 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 269016 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/183 13550
/proc/meminfo: memFree=29207712/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1781.79 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268607 0 0 0 178131 48 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 140735662678976 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 269016 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.85 4/183 13550
/proc/meminfo: memFree=29208212/32872528 swapFree=248296/248296
[pid=13474] ppid=13469 vsize=1309252 CPUtime=1800.09 cores=0,2,4,6
/proc/13474/stat : 13474 (toysat) R 13469 13474 5767 0 -1 4202496 268607 0 0 0 179961 48 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 140735662678976 5545832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13474/statm: 327313 269016 796 2943 0 324207 0
[pid=13474/tid=13477] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13477/stat : 13477 (toysat) S 13469 13474 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954990591216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13474/tid=13478] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13478/stat : 13478 (toysat) S 13469 13474 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954980101360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13474/tid=13479] ppid=13469 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13474/task/13479/stat : 13479 (toysat) S 13469 13474 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5503448 1340674048 269016 33554432000 4194304 16246674 140735662697104 139954864778416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 13474 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.62
CPU system time (s): 0.488925
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.488925
maximum resident set size= 1076064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268607
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= 449
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48101 second user time and 9.1746 second system time

The end

Begin job on node103 at 2016-06-16 01:48:50
IDJOB=4089848
IDBENCH=107465
IDSOLVER=2542
FILE ID=node103/4089848-1466034530
RUNJOBID= node103-1466034530-13447
PBS_JOBID= 19902805
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v111-n2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089848-1466034530/watcher-4089848-1466034530 -o /tmp/evaluation-result-4089848-1466034530/solver-4089848-1466034530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466034530-13447 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089848-1466034530.opb

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

MD5SUM BENCH= da04b8bc7cd3644570e3162b5c09c65b
RANDOM SEED=1027586840

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        31361256 kB
Buffers:          142064 kB
Cached:           403712 kB
SwapCached:            0 kB
Active:           212432 kB
Inactive:         343448 kB
Active(anon):      12956 kB
Inactive(anon):        0 kB
Active(file):     199476 kB
Inactive(file):   343448 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:        413984 kB
Mapped:            13188 kB
Shmem:               204 kB
Slab:             577060 kB
SReclaimable:      21644 kB
SUnreclaim:       555416 kB
KernelStack:        1416 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     343584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node103 at 2016-06-16 02:18:51