0.00/0.00	c 2016-06-15T23:32:36+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-4089379-1466026356.opb"]
0.00/0.01	c use --random-gen="1852832289 1172287661 477941835 706461816 11665105 3129663614 3952536600 4196031809 1496414337 205450282 3501950923 204451671 3752263343 3079211592 50396158 644129353 996401391 2315767847 3449629467 3215231803 1171104284 3283402961 1753928632 1598018482 3814833881 1792150926 1357866560 2308058379 3534556243 2494621766 2027400471 1405138582 1909327679 2004349135 1751993158 387961 2620610348 665280098 3627034515 4114697878 81440276 35735501 1565433158 4191747018 4247399433 323747009 32947537 1738325881 2195480385 3779766324 2621899604 1108758279 2403050041 727142700 2781145959 3603113217 2036903882 398099539 2895504300 2229136870 2338621450 2826882758 1571766342 4066173322 817979919 1181562682 1039914383 2673963354 2752468781 3874918032 653076814 2182402195 4042599418 4088812283 1269367248 2083543513 469878081 221441557 267059418 128320219 2106579779 861857881 3853325281 2439572392 148213342 2019738318 3159492941 1503265537 2484005379 3998509695 3406933197 422057430 934020320 1214806081 746158817 2277149960 3416800636 1941167589 132634431 3964542761 4266781900 814528760 579909473 1683257862 174096338 282943357 2048336279 3849434930 430076262 2849084181 1242305844 589501092 3417137085 3661605757 1965889091 2067101091 3862115212 1412593208 1126947400 627090068 2951101073 1375690496 3201299669 1324409238 4112107043 4094558928 154514354 3364533625 4264115776 3763628529 2618569532 759768829 225422582 2907063295 1146285928 1581350499 1813339940 955233541 2139140381 3638015029 477832695 1551944591 2576415729 242739432 1790178122 1342315025 2735083843 3116241627 3640512798 1595061110 1127205767 1534628861 1774685386 263971392 4128137419 2469560417 2444619166 1518043968 739385370 36597620 2180291417 2713237905 4061795636 3902199172 3427804942 2050080107 1725154724 2690785406 3160385724 2950975234 3227306836 3718706850 2128019867 111450776 2066137843 3086347280 323786408 103037746 2533857888 2176909262 4108556474 265756174 2671187514 2517866823 3079351699 4117619908 1329397414 1088777928 1207350960 3311337941 3082788692 2104420838 2860759468 3717668417 3257753071 3743026678 3832977311 1651956035 4268180316 1202274011 3762425135 519018056 2016788836 4043482504 1765086563 394084019 1904699871 2063278545 151057236 38456948 3200138556 2105608295 945219380 3964888162 3290646506 2259521151 2728577223 1771047668 4249441146 628116 1072423208 3441935984 1108950401 1005885687 3700331852 1608903857 424060536 3491565933 280742867 284054912 784565854 2139231297 83302447 670689929 507060684 3885864836 3670110048 528685434 4201387207 884400207 2459477664 1015296177 3796379052 2076173082 651451443 3103000531 980745192 3352561886 143821164 3587469955 2141984678 534459145 3839412046 1499954307 3016937905 408359579 255 362436" option to reproduce the execution
0.00/0.01	c #vars 230
0.00/0.01	c #constraints 461
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 |      230      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      208 |      100 |      230      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      460 |      250 |      254      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |      788 |      475 |      280      1 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1243 |      813 |      308      2 |        0 |        0
0.39/0.41	c  0.4s |       5 |     1849 |     1320 |      339      5 |        0 |        0
0.59/0.67	c  0.6s |       6 |     2715 |     2081 |      411      8 |        0 |        0
0.88/0.97	c  1.0s |       7 |     3962 |     3223 |      453     12 |        0 |        0
1.28/1.38	c  1.4s |       8 |     5783 |     4936 |      499     18 |        0 |        0
1.89/1.96	c  1.9s |       9 |     8466 |     7506 |      549     26 |        0 |        0
2.79/2.83	c  2.8s |      10 |    12470 |    11361 |      604     38 |        0 |        0
4.08/4.18	c  4.2s |      11 |    18387 |    17144 |      665     54 |        0 |        0
6.18/6.20	c  6.2s |      11 |    26943 |    25544 |      665     76 |        0 |        0
6.18/6.27	c  6.3s |      12 |    27215 |    25819 |      732     77 |        0 |        0
8.18/8.29	c  8.3s |      12 |    35700 |    34119 |      732     97 |        0 |        0
9.38/9.43	c  9.4s |      13 |    40450 |    38832 |      806    108 |        0 |        0
11.38/11.44	c 11.4s |      13 |    49238 |    47432 |      806    127 |        0 |        0
13.38/13.45	c 13.4s |      13 |    57741 |    55832 |      806    145 |        0 |        0
13.98/14.09	c 14.1s |      14 |    60299 |    58352 |      887    151 |        0 |        0
15.98/16.09	c 16.1s |      14 |    68486 |    66352 |      887    167 |        0 |        0
18.08/18.11	c 18.1s |      14 |    76466 |    74252 |      887    183 |        0 |        0
20.08/20.14	c 20.1s |      14 |    84412 |    82152 |      887    199 |        0 |        0
21.48/21.50	c 21.5s |      15 |    89954 |    87632 |      976    210 |        0 |        0
23.48/23.51	c 23.5s |      15 |    98458 |    95932 |      976    225 |        0 |        0
25.49/25.52	c 25.5s |      15 |   106728 |   104132 |      976    240 |        0 |        0
27.49/27.52	c 27.5s |      15 |   115012 |   112332 |      976    255 |        0 |        0
29.49/29.53	c 29.5s |      15 |   123192 |   120432 |      976    270 |        0 |        0
31.49/31.54	c 31.5s |      15 |   131190 |   128332 |      976    285 |        0 |        0
32.29/32.39	c 32.4s |      16 |   134447 |   131552 |     1074    291 |        0 |        0
34.39/34.40	c 34.4s |      16 |   142520 |   139452 |     1074    304 |        0 |        0
36.39/36.42	c 36.4s |      16 |   150326 |   147152 |     1074    317 |        0 |        0
38.39/38.44	c 38.4s |      16 |   158163 |   154852 |     1074    330 |        0 |        0
40.39/40.44	c 40.4s |      16 |   165847 |   162452 |     1074    343 |        0 |        0
42.39/42.44	c 42.4s |      16 |   173499 |   170052 |     1074    356 |        0 |        0
44.39/44.45	c 44.4s |      16 |   181081 |   177552 |     1074    369 |        0 |        0
46.39/46.45	c 46.4s |      16 |   188761 |   185152 |     1074    382 |        0 |        0
48.39/48.49	c 48.5s |      16 |   196474 |   192752 |     1074    395 |        0 |        0
49.68/49.75	c 49.7s |      17 |   201192 |   197432 |     1182    402 |        0 |        0
51.69/51.76	c 51.7s |      17 |   209256 |   205332 |     1182    415 |        0 |        0
53.68/53.77	c 53.7s |      17 |   217045 |   213032 |     1182    427 |        0 |        0
55.68/55.77	c 55.7s |      17 |   224759 |   220632 |     1182    438 |        0 |        0
57.68/57.78	c 57.8s |      17 |   232218 |   228032 |     1182    450 |        0 |        0
59.68/59.79	c 59.8s |      17 |   240411 |   236132 |     1182    463 |        0 |        0
61.78/61.81	c 61.8s |      17 |   248207 |   243832 |     1182    475 |        0 |        0
63.79/63.83	c 63.8s |      17 |   256088 |   251632 |     1182    487 |        0 |        0
65.78/65.84	c 65.8s |      17 |   263972 |   259432 |     1182    499 |        0 |        0
67.78/67.85	c 67.8s |      17 |   271674 |   267032 |     1182    511 |        0 |        0
69.78/69.86	c 69.8s |      17 |   279338 |   274632 |     1182    523 |        0 |        0
71.78/71.86	c 71.8s |      17 |   287028 |   282232 |     1182    535 |        0 |        0
73.78/73.88	c 73.9s |      17 |   294721 |   289832 |     1182    546 |        0 |        0
75.58/75.61	c 75.6s |      18 |   301220 |   296252 |     1301    556 |        0 |        0
77.58/77.64	c 77.6s |      18 |   309102 |   303952 |     1301    567 |        0 |        0
79.58/79.64	c 79.6s |      18 |   316698 |   311452 |     1301    578 |        0 |        0
81.58/81.67	c 81.6s |      18 |   324519 |   319152 |     1301    589 |        0 |        0
83.58/83.68	c 83.7s |      18 |   332089 |   326652 |     1301    599 |        0 |        0
85.58/85.69	c 85.7s |      18 |   339626 |   334052 |     1301    610 |        0 |        0
87.58/87.69	c 87.7s |      18 |   347201 |   341552 |     1301    621 |        0 |        0
89.67/89.71	c 89.7s |      18 |   354580 |   348852 |     1301    631 |        0 |        0
91.67/91.71	c 91.7s |      18 |   361933 |   356152 |     1301    641 |        0 |        0
93.67/93.72	c 93.7s |      18 |   369631 |   363752 |     1301    652 |        0 |        0
95.68/95.73	c 95.7s |      18 |   377124 |   371152 |     1301    663 |        0 |        0
97.67/97.74	c 97.7s |      18 |   384589 |   378552 |     1301    673 |        0 |        0
99.67/99.74	c 99.7s |      18 |   391984 |   385852 |     1301    684 |        0 |        0
101.67/101.76	c  101s |      18 |   399257 |   393052 |     1301    694 |        0 |        0
103.67/103.78	c  103s |      18 |   406458 |   400152 |     1301    704 |        0 |        0
105.68/105.79	c  105s |      18 |   414028 |   407652 |     1301    715 |        0 |        0
107.67/107.80	c  107s |      18 |   421557 |   415052 |     1301    725 |        0 |        0
109.77/109.81	c  109s |      18 |   428848 |   422252 |     1301    736 |        0 |        0
111.77/111.82	c  111s |      18 |   436162 |   429452 |     1301    746 |        0 |        0
113.77/113.83	c  113s |      18 |   443229 |   436452 |     1301    756 |        0 |        0
115.77/115.85	c  115s |      18 |   450445 |   443552 |     1432    766 |        0 |        0
116.07/116.12	c  116s |      19 |   451384 |   444482 |     1432    767 |        0 |        0
118.07/118.14	c  118s |      19 |   459063 |   451982 |     1432    777 |        0 |        0
120.07/120.16	c  120s |      19 |   466465 |   459282 |     1432    786 |        0 |        0
122.07/122.16	c  122s |      19 |   473691 |   466382 |     1432    795 |        0 |        0
124.07/124.18	c  124s |      19 |   481216 |   473782 |     1432    805 |        0 |        0
126.16/126.21	c  126s |      19 |   488565 |   481082 |     1432    814 |        0 |        0
128.16/128.23	c  128s |      19 |   495841 |   488282 |     1432    824 |        0 |        0
130.16/130.24	c  130s |      19 |   502918 |   495282 |     1432    833 |        0 |        0
132.16/132.26	c  132s |      19 |   510389 |   502682 |     1432    842 |        0 |        0
134.17/134.28	c  134s |      19 |   517797 |   509982 |     1432    852 |        0 |        0
136.16/136.29	c  136s |      19 |   524999 |   517082 |     1432    861 |        0 |        0
138.27/138.30	c  138s |      19 |   532150 |   524182 |     1432    870 |        0 |        0
140.27/140.31	c  140s |      19 |   539249 |   531182 |     1432    880 |        0 |        0
142.27/142.33	c  142s |      19 |   546320 |   538182 |     1432    889 |        0 |        0
144.27/144.35	c  144s |      19 |   553415 |   545182 |     1432    898 |        0 |        0
146.28/146.35	c  146s |      19 |   560319 |   551982 |     1432    907 |        0 |        0
148.27/148.37	c  148s |      19 |   568100 |   559682 |     1432    917 |        0 |        0
150.27/150.39	c  150s |      19 |   575667 |   567182 |     1432    926 |        0 |        0
152.37/152.40	c  152s |      19 |   582874 |   574282 |     1432    936 |        0 |        0
154.37/154.42	c  154s |      19 |   590180 |   581482 |     1432    945 |        0 |        0
156.37/156.44	c  156s |      19 |   597498 |   588682 |     1432    954 |        0 |        0
158.37/158.44	c  158s |      19 |   604555 |   595582 |     1432    963 |        0 |        0
160.37/160.46	c  160s |      19 |   611826 |   602782 |     1432    973 |        0 |        0
162.37/162.47	c  162s |      19 |   618892 |   609782 |     1432    982 |        0 |        0
164.37/164.48	c  164s |      19 |   625961 |   616782 |     1432    991 |        0 |        0
166.36/166.49	c  166s |      19 |   633191 |   623882 |     1432   1000 |        0 |        0
168.46/168.51	c  168s |      19 |   640167 |   630782 |     1432   1009 |        0 |        0
170.47/170.53	c  170s |      19 |   647051 |   637582 |     1432   1018 |        0 |        0
172.46/172.56	c  172s |      19 |   654311 |   644782 |     1432   1027 |        0 |        0
174.46/174.58	c  174s |      19 |   661354 |   651682 |     1432   1036 |        0 |        0
176.46/176.59	c  176s |      19 |   668264 |   658482 |     1432   1045 |        0 |        0
178.56/178.61	c  178s |      19 |   675140 |   665282 |     1576   1053 |        0 |        0
178.96/179.07	c  179s |      20 |   676714 |   666827 |     1576   1055 |        0 |        0
180.96/181.08	c  181s |      20 |   684166 |   674027 |     1576   1064 |        0 |        0
182.96/183.09	c  183s |      20 |   691256 |   681027 |     1576   1072 |        0 |        0
185.06/185.10	c  185s |      20 |   698221 |   687927 |     1576   1080 |        0 |        0
187.07/187.13	c  187s |      20 |   705300 |   694927 |     1576   1089 |        0 |        0
189.06/189.16	c  189s |      20 |   712369 |   701927 |     1576   1097 |        0 |        0
191.06/191.17	c  191s |      20 |   719257 |   708727 |     1576   1105 |        0 |        0
193.06/193.18	c  193s |      20 |   726334 |   715727 |     1576   1113 |        0 |        0
195.06/195.19	c  195s |      20 |   733211 |   722527 |     1576   1121 |        0 |        0
197.06/197.19	c  197s |      20 |   739885 |   729127 |     1576   1129 |        0 |        0
199.06/199.20	c  199s |      20 |   746882 |   736027 |     1576   1138 |        0 |        0
201.16/201.22	c  201s |      20 |   754235 |   743227 |     1576   1146 |        0 |        0
203.16/203.24	c  203s |      20 |   761403 |   750327 |     1576   1154 |        0 |        0
205.15/205.26	c  205s |      20 |   768485 |   757327 |     1576   1163 |        0 |        0
207.15/207.28	c  207s |      20 |   775466 |   764227 |     1576   1171 |        0 |        0
209.25/209.30	c  209s |      20 |   782522 |   771227 |     1576   1179 |        0 |        0
211.26/211.32	c  211s |      20 |   789295 |   777927 |     1576   1187 |        0 |        0
213.25/213.33	c  213s |      20 |   796263 |   784827 |     1576   1195 |        0 |        0
215.25/215.36	c  215s |      20 |   803089 |   791527 |     1576   1203 |        0 |        0
217.25/217.36	c  217s |      20 |   809864 |   798227 |     1576   1211 |        0 |        0
219.25/219.38	c  219s |      20 |   816607 |   804927 |     1576   1219 |        0 |        0
221.35/221.40	c  221s |      20 |   823428 |   811627 |     1576   1227 |        0 |        0
223.36/223.41	c  223s |      20 |   830043 |   818127 |     1576   1235 |        0 |        0
225.35/225.42	c  225s |      20 |   837237 |   825227 |     1576   1244 |        0 |        0
227.35/227.43	c  227s |      20 |   844399 |   832327 |     1576   1252 |        0 |        0
229.35/229.46	c  229s |      20 |   851618 |   839427 |     1576   1260 |        0 |        0
231.35/231.47	c  231s |      20 |   858612 |   846327 |     1576   1269 |        0 |        0
233.35/233.49	c  233s |      20 |   865716 |   853327 |     1576   1277 |        0 |        0
235.36/235.50	c  235s |      20 |   872594 |   860127 |     1576   1285 |        0 |        0
237.45/237.52	c  237s |      20 |   879454 |   866927 |     1576   1293 |        0 |        0
239.45/239.52	c  239s |      20 |   886374 |   873727 |     1576   1301 |        0 |        0
241.45/241.54	c  241s |      20 |   893180 |   880427 |     1576   1309 |        0 |        0
243.45/243.55	c  243s |      20 |   899961 |   887127 |     1576   1317 |        0 |        0
245.45/245.57	c  245s |      20 |   906815 |   893927 |     1576   1325 |        0 |        0
247.55/247.60	c  247s |      20 |   913510 |   900527 |     1576   1333 |        0 |        0
249.55/249.61	c  249s |      20 |   920083 |   907027 |     1576   1341 |        0 |        0
251.55/251.62	c  251s |      20 |   927080 |   913927 |     1576   1349 |        0 |        0
253.55/253.62	c  253s |      20 |   933882 |   920627 |     1576   1357 |        0 |        0
255.55/255.64	c  255s |      20 |   940480 |   927127 |     1576   1365 |        0 |        0
257.55/257.66	c  257s |      20 |   947063 |   933627 |     1576   1372 |        0 |        0
259.56/259.67	c  259s |      20 |   953620 |   940127 |     1576   1380 |        0 |        0
261.55/261.69	c  261s |      20 |   960722 |   947127 |     1576   1389 |        0 |        0
263.65/263.71	c  263s |      20 |   967898 |   954227 |     1576   1397 |        0 |        0
265.65/265.73	c  265s |      20 |   974933 |   961127 |     1576   1405 |        0 |        0
267.65/267.75	c  267s |      20 |   981914 |   968027 |     1576   1413 |        0 |        0
269.65/269.76	c  269s |      20 |   988818 |   974827 |     1576   1421 |        0 |        0
271.65/271.76	c  271s |      20 |   995587 |   981527 |     1576   1429 |        0 |        0
273.65/273.79	c  273s |      20 |  1002577 |   988427 |     1576   1438 |        0 |        0
275.75/275.81	c  275s |      20 |  1009153 |   994927 |     1734   1445 |        0 |        0
277.35/277.42	c  277s |      21 |  1014640 |  1000345 |     1734   1451 |        0 |        0
279.35/279.44	c  279s |      21 |  1022105 |  1007645 |     1734   1459 |        0 |        0
281.35/281.46	c  281s |      21 |  1029407 |  1014845 |     1734   1467 |        0 |        0
283.34/283.47	c  283s |      21 |  1037120 |  1022445 |     1734   1475 |        0 |        0
285.34/285.49	c  285s |      21 |  1044619 |  1029845 |     1734   1483 |        0 |        0
287.44/287.50	c  287s |      21 |  1052031 |  1037145 |     1734   1491 |        0 |        0
289.44/289.51	c  289s |      21 |  1059236 |  1044245 |     1734   1498 |        0 |        0
291.45/291.53	c  291s |      21 |  1066511 |  1051445 |     1734   1506 |        0 |        0
293.44/293.54	c  293s |      21 |  1073717 |  1058545 |     1734   1514 |        0 |        0
295.44/295.54	c  295s |      21 |  1080903 |  1065645 |     1734   1522 |        0 |        0
297.44/297.54	c  297s |      21 |  1088022 |  1072645 |     1734   1529 |        0 |        0
299.44/299.56	c  299s |      21 |  1095000 |  1079545 |     1734   1537 |        0 |        0
301.45/301.58	c  301s |      21 |  1102727 |  1087145 |     1734   1545 |        0 |        0
303.44/303.58	c  303s |      21 |  1110015 |  1094345 |     1734   1553 |        0 |        0
305.54/305.60	c  305s |      21 |  1117102 |  1101345 |     1734   1561 |        0 |        0
307.54/307.60	c  307s |      21 |  1124303 |  1108445 |     1734   1568 |        0 |        0
309.54/309.61	c  309s |      21 |  1131515 |  1115545 |     1734   1576 |        0 |        0
311.54/311.63	c  311s |      21 |  1138532 |  1122445 |     1734   1583 |        0 |        0
313.55/313.63	c  313s |      21 |  1145451 |  1129245 |     1734   1591 |        0 |        0
315.54/315.66	c  315s |      21 |  1152425 |  1136145 |     1734   1598 |        0 |        0
317.54/317.67	c  317s |      21 |  1159510 |  1143045 |     1734   1606 |        0 |        0
319.54/319.68	c  319s |      21 |  1166802 |  1150245 |     1734   1614 |        0 |        0
321.64/321.70	c  321s |      21 |  1174008 |  1157345 |     1734   1621 |        0 |        0
323.64/323.72	c  323s |      21 |  1181035 |  1164245 |     1734   1629 |        0 |        0
325.64/325.72	c  325s |      21 |  1188257 |  1171345 |     1734   1637 |        0 |        0
327.64/327.73	c  327s |      21 |  1195130 |  1178145 |     1734   1644 |        0 |        0
329.64/329.75	c  329s |      21 |  1202105 |  1185045 |     1734   1651 |        0 |        0
331.64/331.76	c  331s |      21 |  1208811 |  1191645 |     1734   1659 |        0 |        0
333.64/333.76	c  333s |      21 |  1215866 |  1198645 |     1734   1666 |        0 |        0
335.64/335.79	c  335s |      21 |  1222648 |  1205345 |     1734   1673 |        0 |        0
337.74/337.82	c  337s |      21 |  1229862 |  1212445 |     1734   1681 |        0 |        0
339.74/339.84	c  339s |      21 |  1237388 |  1219845 |     1734   1689 |        0 |        0
341.74/341.85	c  341s |      21 |  1244500 |  1226845 |     1734   1697 |        0 |        0
343.73/343.89	c  343s |      21 |  1251791 |  1234045 |     1734   1705 |        0 |        0
345.83/345.92	c  345s |      21 |  1259161 |  1241245 |     1734   1712 |        0 |        0
347.83/347.93	c  347s |      21 |  1266273 |  1248245 |     1734   1720 |        0 |        0
349.84/349.94	c  349s |      21 |  1273154 |  1255045 |     1734   1727 |        0 |        0
351.83/351.96	c  351s |      21 |  1280224 |  1262045 |     1734   1735 |        0 |        0
353.83/353.98	c  353s |      21 |  1287111 |  1268845 |     1734   1742 |        0 |        0
355.83/355.98	c  355s |      21 |  1293917 |  1275545 |     1734   1750 |        0 |        0
357.93/358.01	c  357s |      21 |  1300978 |  1282545 |     1734   1757 |        0 |        0
359.93/360.03	c  360s |      21 |  1307818 |  1289245 |     1734   1765 |        0 |        0
361.94/362.05	c  362s |      21 |  1314615 |  1295945 |     1734   1772 |        0 |        0
363.93/364.06	c  364s |      21 |  1321245 |  1302445 |     1734   1779 |        0 |        0
365.94/366.08	c  366s |      21 |  1328382 |  1309445 |     1734   1786 |        0 |        0
368.04/368.10	c  368s |      21 |  1335170 |  1316145 |     1734   1794 |        0 |        0
370.03/370.13	c  370s |      21 |  1341769 |  1322645 |     1734   1801 |        0 |        0
372.03/372.14	c  372s |      21 |  1348470 |  1329245 |     1734   1808 |        0 |        0
374.04/374.17	c  374s |      21 |  1354976 |  1335645 |     1734   1815 |        0 |        0
376.03/376.19	c  376s |      21 |  1362697 |  1343245 |     1734   1823 |        0 |        0
378.03/378.19	c  378s |      21 |  1369964 |  1350345 |     1734   1831 |        0 |        0
380.13/380.20	c  380s |      21 |  1377088 |  1357345 |     1734   1838 |        0 |        0
382.13/382.20	c  382s |      21 |  1384085 |  1364245 |     1734   1846 |        0 |        0
384.13/384.24	c  384s |      21 |  1391212 |  1371245 |     1734   1854 |        0 |        0
386.14/386.26	c  386s |      21 |  1398255 |  1378145 |     1734   1861 |        0 |        0
388.13/388.27	c  388s |      21 |  1405241 |  1384945 |     1734   1868 |        0 |        0
390.13/390.28	c  390s |      21 |  1412229 |  1391845 |     1734   1876 |        0 |        0
392.13/392.29	c  392s |      21 |  1419124 |  1398645 |     1734   1883 |        0 |        0
394.23/394.30	c  394s |      21 |  1426009 |  1405445 |     1734   1891 |        0 |        0
396.23/396.30	c  396s |      21 |  1433086 |  1412445 |     1734   1898 |        0 |        0
398.23/398.32	c  398s |      21 |  1439859 |  1419145 |     1734   1906 |        0 |        0
400.23/400.33	c  400s |      21 |  1446552 |  1425745 |     1734   1913 |        0 |        0
402.23/402.33	c  402s |      21 |  1453171 |  1432245 |     1734   1920 |        0 |        0
404.23/404.36	c  404s |      21 |  1460185 |  1439145 |     1734   1927 |        0 |        0
406.23/406.37	c  406s |      21 |  1466993 |  1445845 |     1734   1935 |        0 |        0
408.32/408.40	c  408s |      21 |  1473816 |  1452545 |     1734   1942 |        0 |        0
410.33/410.42	c  410s |      21 |  1480561 |  1459145 |     1734   1949 |        0 |        0
412.32/412.43	c  412s |      21 |  1487150 |  1465645 |     1734   1956 |        0 |        0
414.32/414.46	c  414s |      21 |  1493991 |  1472445 |     1734   1964 |        0 |        0
416.32/416.49	c  416s |      21 |  1500848 |  1479245 |     1734   1971 |        0 |        0
418.42/418.51	c  418s |      21 |  1507757 |  1486045 |     1734   1978 |        0 |        0
420.42/420.53	c  420s |      21 |  1514470 |  1492645 |     1908   1985 |        0 |        0
422.43/422.54	c  422s |      21 |  1521072 |  1499145 |     1908   1992 |        0 |        0
422.92/423.01	c  422s |      22 |  1522575 |  1500622 |     1908   1993 |        0 |        0
424.92/425.01	c  424s |      22 |  1529540 |  1507422 |     1908   2000 |        0 |        0
426.92/427.04	c  427s |      22 |  1536618 |  1514422 |     1908   2007 |        0 |        0
428.93/429.06	c  429s |      22 |  1543508 |  1521222 |     1908   2013 |        0 |        0
430.92/431.07	c  431s |      22 |  1550277 |  1527822 |     1908   2020 |        0 |        0
432.92/433.09	c  433s |      22 |  1556965 |  1534422 |     1908   2027 |        0 |        0
435.02/435.11	c  435s |      22 |  1563746 |  1541122 |     1908   2033 |        0 |        0
437.02/437.14	c  437s |      22 |  1570360 |  1547622 |     1908   2040 |        0 |        0
439.02/439.17	c  439s |      22 |  1576844 |  1554022 |     1908   2046 |        0 |        0
441.03/441.17	c  441s |      22 |  1583478 |  1560522 |     1908   2052 |        0 |        0
443.13/443.20	c  443s |      22 |  1589974 |  1566922 |     1908   2059 |        0 |        0
445.12/445.21	c  445s |      22 |  1596759 |  1573622 |     1908   2065 |        0 |        0
447.12/447.22	c  447s |      22 |  1603675 |  1580422 |     1908   2072 |        0 |        0
449.12/449.24	c  449s |      22 |  1610413 |  1587022 |     1908   2079 |        0 |        0
451.12/451.26	c  451s |      22 |  1617398 |  1593922 |     1908   2086 |        0 |        0
453.13/453.27	c  453s |      22 |  1624091 |  1600522 |     1908   2092 |        0 |        0
455.12/455.28	c  455s |      22 |  1630860 |  1607122 |     1908   2099 |        0 |        0
457.22/457.30	c  457s |      22 |  1637459 |  1613622 |     1908   2105 |        0 |        0
459.22/459.31	c  459s |      22 |  1643946 |  1620022 |     1908   2111 |        0 |        0
461.22/461.32	c  461s |      22 |  1650507 |  1626522 |     1908   2118 |        0 |        0
463.22/463.32	c  463s |      22 |  1657095 |  1633022 |     1908   2124 |        0 |        0
465.23/465.35	c  465s |      22 |  1663651 |  1639522 |     1908   2131 |        0 |        0
467.22/467.37	c  467s |      22 |  1670215 |  1646022 |     1908   2137 |        0 |        0
469.22/469.37	c  469s |      22 |  1676942 |  1652622 |     1908   2144 |        0 |        0
471.32/471.40	c  471s |      22 |  1683399 |  1659022 |     1908   2150 |        0 |        0
473.32/473.40	c  473s |      22 |  1689685 |  1665222 |     1908   2156 |        0 |        0
475.32/475.41	c  475s |      22 |  1696712 |  1672122 |     1908   2163 |        0 |        0
477.32/477.42	c  477s |      22 |  1703502 |  1678822 |     1908   2170 |        0 |        0
479.31/479.46	c  479s |      22 |  1710391 |  1685622 |     1908   2177 |        0 |        0
481.31/481.48	c  481s |      22 |  1717026 |  1692122 |     1908   2183 |        0 |        0
483.41/483.50	c  483s |      22 |  1723695 |  1698722 |     1908   2190 |        0 |        0
485.41/485.50	c  485s |      22 |  1730415 |  1705322 |     1908   2196 |        0 |        0
487.41/487.51	c  487s |      22 |  1736984 |  1711822 |     1908   2203 |        0 |        0
489.42/489.51	c  489s |      22 |  1743491 |  1718222 |     1908   2209 |        0 |        0
491.41/491.52	c  491s |      22 |  1750185 |  1724822 |     1908   2215 |        0 |        0
493.41/493.54	c  493s |      22 |  1756737 |  1731222 |     1908   2222 |        0 |        0
495.41/495.56	c  495s |      22 |  1763120 |  1737422 |     1908   2228 |        0 |        0
497.41/497.58	c  497s |      22 |  1769702 |  1743922 |     1908   2234 |        0 |        0
499.42/499.59	c  499s |      22 |  1776077 |  1750222 |     1908   2241 |        0 |        0
501.52/501.61	c  501s |      22 |  1782430 |  1756422 |     1908   2247 |        0 |        0
503.51/503.64	c  503s |      22 |  1788816 |  1762722 |     1908   2253 |        0 |        0
505.51/505.65	c  505s |      22 |  1795330 |  1769122 |     1908   2259 |        0 |        0
507.51/507.67	c  507s |      22 |  1801780 |  1775422 |     1908   2266 |        0 |        0
509.51/509.69	c  509s |      22 |  1808124 |  1781622 |     1908   2272 |        0 |        0
511.61/511.70	c  511s |      22 |  1814463 |  1787822 |     1908   2278 |        0 |        0
513.61/513.71	c  513s |      22 |  1820849 |  1794122 |     1908   2284 |        0 |        0
515.61/515.73	c  515s |      22 |  1827733 |  1800922 |     1908   2291 |        0 |        0
517.61/517.76	c  517s |      22 |  1834519 |  1807622 |     1908   2298 |        0 |        0
519.61/519.77	c  519s |      22 |  1841070 |  1814122 |     1908   2304 |        0 |        0
521.70/521.81	c  521s |      22 |  1847753 |  1820722 |     1908   2311 |        0 |        0
523.70/523.83	c  523s |      22 |  1854526 |  1827422 |     1908   2317 |        0 |        0
525.71/525.84	c  525s |      22 |  1861021 |  1833822 |     1908   2324 |        0 |        0
527.70/527.86	c  527s |      22 |  1867680 |  1840422 |     1908   2330 |        0 |        0
529.70/529.88	c  529s |      22 |  1874272 |  1846922 |     1908   2337 |        0 |        0
531.80/531.91	c  531s |      22 |  1880646 |  1853222 |     1908   2343 |        0 |        0
533.81/533.93	c  533s |      22 |  1887349 |  1859822 |     1908   2349 |        0 |        0
535.81/535.95	c  535s |      22 |  1893740 |  1866122 |     1908   2356 |        0 |        0
537.82/537.96	c  537s |      22 |  1899917 |  1872222 |     1908   2362 |        0 |        0
539.81/539.96	c  539s |      22 |  1906296 |  1878522 |     1908   2368 |        0 |        0
541.81/541.97	c  541s |      22 |  1912663 |  1884822 |     1908   2374 |        0 |        0
543.81/543.98	c  543s |      22 |  1919104 |  1891222 |     1908   2380 |        0 |        0
545.81/545.98	c  545s |      22 |  1925350 |  1897422 |     1908   2387 |        0 |        0
547.81/547.98	c  547s |      22 |  1931653 |  1903622 |     1908   2393 |        0 |        0
549.91/550.01	c  549s |      22 |  1937804 |  1909722 |     1908   2399 |        0 |        0
551.91/552.01	c  551s |      22 |  1944356 |  1916222 |     1908   2405 |        0 |        0
553.90/554.04	c  554s |      22 |  1950855 |  1922622 |     1908   2412 |        0 |        0
555.90/556.07	c  556s |      22 |  1957421 |  1929122 |     1908   2418 |        0 |        0
558.00/558.10	c  558s |      22 |  1963798 |  1935422 |     1908   2424 |        0 |        0
560.00/560.14	c  560s |      22 |  1970078 |  1941622 |     1908   2431 |        0 |        0
562.01/562.14	c  562s |      22 |  1976770 |  1948222 |     1908   2437 |        0 |        0
564.00/564.14	c  564s |      22 |  1983243 |  1954522 |     1908   2443 |        0 |        0
566.00/566.17	c  566s |      22 |  1989529 |  1960722 |     1908   2450 |        0 |        0
568.00/568.18	c  568s |      22 |  1995703 |  1966822 |     1908   2456 |        0 |        0
570.00/570.19	c  570s |      22 |  2001970 |  1973022 |     1908   2462 |        0 |        0
572.10/572.20	c  572s |      22 |  2008126 |  1979122 |     1908   2468 |        0 |        0
574.11/574.22	c  574s |      22 |  2014517 |  1985422 |     1908   2474 |        0 |        0
576.10/576.23	c  576s |      22 |  2021372 |  1992222 |     1908   2481 |        0 |        0
578.10/578.24	c  578s |      22 |  2028152 |  1998922 |     1908   2487 |        0 |        0
580.10/580.26	c  580s |      22 |  2034969 |  2005622 |     1908   2494 |        0 |        0
582.10/582.29	c  582s |      22 |  2041572 |  2012122 |     1908   2501 |        0 |        0
584.20/584.30	c  584s |      22 |  2048083 |  2018522 |     1908   2507 |        0 |        0
586.20/586.32	c  586s |      22 |  2054785 |  2025122 |     1908   2513 |        0 |        0
588.20/588.33	c  588s |      22 |  2061440 |  2031722 |     1908   2520 |        0 |        0
590.20/590.35	c  590s |      22 |  2068014 |  2038222 |     1908   2526 |        0 |        0
592.20/592.36	c  592s |      22 |  2074311 |  2044422 |     1908   2533 |        0 |        0
594.20/594.38	c  594s |      22 |  2080920 |  2050922 |     1908   2539 |        0 |        0
596.30/596.40	c  596s |      22 |  2087481 |  2057322 |     1908   2545 |        0 |        0
598.30/598.42	c  598s |      22 |  2093832 |  2063522 |     1908   2551 |        0 |        0
600.29/600.43	c  600s |      22 |  2100067 |  2069622 |     1908   2557 |        0 |        0
602.29/602.43	c  602s |      22 |  2106321 |  2075722 |     1908   2564 |        0 |        0
604.29/604.47	c  604s |      22 |  2112792 |  2082122 |     1908   2570 |        0 |        0
606.29/606.49	c  606s |      22 |  2119280 |  2088522 |     1908   2576 |        0 |        0
608.39/608.50	c  608s |      22 |  2125561 |  2094722 |     1908   2582 |        0 |        0
610.40/610.52	c  610s |      22 |  2132140 |  2101222 |     1908   2589 |        0 |        0
612.39/612.53	c  612s |      22 |  2138541 |  2107522 |     1908   2595 |        0 |        0
614.39/614.56	c  614s |      22 |  2144739 |  2113622 |     1908   2601 |        0 |        0
616.39/616.57	c  616s |      22 |  2150908 |  2119722 |     1908   2607 |        0 |        0
618.39/618.57	c  618s |      22 |  2157184 |  2125922 |     1908   2613 |        0 |        0
620.40/620.59	c  620s |      22 |  2163746 |  2132422 |     1908   2620 |        0 |        0
622.50/622.60	c  622s |      22 |  2170179 |  2138722 |     1908   2626 |        0 |        0
624.49/624.63	c  624s |      22 |  2176554 |  2145022 |     1908   2632 |        0 |        0
626.49/626.63	c  626s |      22 |  2182780 |  2151122 |     1908   2638 |        0 |        0
628.49/628.68	c  628s |      22 |  2189087 |  2157322 |     1908   2645 |        0 |        0
630.49/630.70	c  630s |      22 |  2195380 |  2163522 |     1908   2651 |        0 |        0
632.59/632.72	c  632s |      22 |  2201550 |  2169622 |     1908   2657 |        0 |        0
634.59/634.73	c  634s |      22 |  2207741 |  2175722 |     1908   2663 |        0 |        0
636.59/636.74	c  636s |      22 |  2214355 |  2182222 |     1908   2669 |        0 |        0
638.60/638.77	c  638s |      22 |  2220753 |  2188522 |     1908   2676 |        0 |        0
640.60/640.79	c  640s |      22 |  2227014 |  2194722 |     1908   2682 |        0 |        0
642.70/642.80	c  642s |      22 |  2233227 |  2200822 |     1908   2688 |        0 |        0
644.69/644.81	c  644s |      22 |  2239535 |  2206922 |     1908   2694 |        0 |        0
646.70/646.84	c  646s |      22 |  2245827 |  2213122 |     1908   2700 |        0 |        0
648.69/648.86	c  648s |      22 |  2251993 |  2219222 |     1908   2706 |        0 |        0
650.69/650.86	c  650s |      22 |  2258105 |  2225222 |     1908   2712 |        0 |        0
652.69/652.86	c  652s |      22 |  2264203 |  2231222 |     1908   2718 |        0 |        0
654.69/654.89	c  654s |      22 |  2270116 |  2237022 |     2099   2723 |        0 |        0
656.79/656.92	c  656s |      22 |  2277094 |  2243822 |     2099   2730 |        0 |        0
658.80/658.93	c  658s |      22 |  2283877 |  2250522 |     2099   2736 |        0 |        0
658.90/659.08	c  659s |      23 |  2284408 |  2251038 |     2099   2736 |        0 |        0
660.89/661.08	c  661s |      23 |  2291320 |  2257738 |     2099   2742 |        0 |        0
662.99/663.10	c  663s |      23 |  2298189 |  2264538 |     2099   2748 |        0 |        0
664.99/665.13	c  665s |      23 |  2304914 |  2271138 |     2099   2754 |        0 |        0
666.99/667.13	c  667s |      23 |  2311424 |  2277538 |     2099   2760 |        0 |        0
668.99/669.13	c  669s |      23 |  2317996 |  2284038 |     2099   2766 |        0 |        0
671.00/671.15	c  671s |      23 |  2324786 |  2290738 |     2099   2772 |        0 |        0
672.99/673.15	c  673s |      23 |  2332192 |  2298038 |     2099   2779 |        0 |        0
674.99/675.16	c  675s |      23 |  2339411 |  2305038 |     2099   2785 |        0 |        0
676.99/677.17	c  677s |      23 |  2346303 |  2311838 |     2099   2791 |        0 |        0
678.99/679.19	c  679s |      23 |  2353197 |  2318638 |     2099   2797 |        0 |        0
681.09/681.23	c  681s |      23 |  2360194 |  2325538 |     2099   2804 |        0 |        0
683.09/683.25	c  683s |      23 |  2367119 |  2332338 |     2099   2810 |        0 |        0
685.08/685.26	c  685s |      23 |  2374022 |  2339138 |     2099   2816 |        0 |        0
687.08/687.28	c  687s |      23 |  2380609 |  2345638 |     2099   2822 |        0 |        0
689.08/689.29	c  689s |      23 |  2387475 |  2352338 |     2099   2828 |        0 |        0
691.18/691.31	c  691s |      23 |  2394091 |  2358838 |     2099   2834 |        0 |        0
693.18/693.32	c  693s |      23 |  2400709 |  2365338 |     2099   2840 |        0 |        0
695.19/695.33	c  695s |      23 |  2407334 |  2371838 |     2099   2846 |        0 |        0
697.18/697.34	c  697s |      23 |  2413949 |  2378338 |     2099   2851 |        0 |        0
699.18/699.35	c  699s |      23 |  2420460 |  2384638 |     2099   2857 |        0 |        0
701.18/701.35	c  701s |      23 |  2426651 |  2390738 |     2099   2863 |        0 |        0
703.18/703.38	c  703s |      23 |  2433643 |  2397638 |     2099   2869 |        0 |        0
705.18/705.38	c  705s |      23 |  2440135 |  2404038 |     2099   2875 |        0 |        0
707.29/707.41	c  707s |      23 |  2446796 |  2410538 |     2099   2881 |        0 |        0
709.28/709.42	c  709s |      23 |  2453239 |  2416838 |     2099   2886 |        0 |        0
711.28/711.42	c  711s |      23 |  2459563 |  2423038 |     2099   2892 |        0 |        0
713.27/713.42	c  713s |      23 |  2465936 |  2429338 |     2099   2898 |        0 |        0
715.27/715.42	c  715s |      23 |  2472289 |  2435538 |     2099   2903 |        0 |        0
717.27/717.43	c  717s |      23 |  2479381 |  2442538 |     2099   2910 |        0 |        0
719.28/719.43	c  719s |      23 |  2486139 |  2449238 |     2099   2916 |        0 |        0
721.27/721.43	c  721s |      23 |  2492947 |  2455938 |     2099   2922 |        0 |        0
723.27/723.44	c  723s |      23 |  2499836 |  2462738 |     2099   2928 |        0 |        0
725.27/725.47	c  725s |      23 |  2506825 |  2469638 |     2099   2934 |        0 |        0
727.27/727.48	c  727s |      23 |  2513615 |  2476338 |     2099   2940 |        0 |        0
729.37/729.50	c  729s |      23 |  2520568 |  2483238 |     2099   2946 |        0 |        0
731.38/731.51	c  731s |      23 |  2527253 |  2489838 |     2099   2952 |        0 |        0
733.36/733.55	c  733s |      23 |  2534168 |  2496638 |     2099   2959 |        0 |        0
735.36/735.57	c  735s |      23 |  2541205 |  2503538 |     2099   2965 |        0 |        0
737.46/737.60	c  737s |      23 |  2548339 |  2510538 |     2099   2971 |        0 |        0
739.46/739.61	c  739s |      23 |  2555048 |  2517138 |     2099   2977 |        0 |        0
741.46/741.63	c  741s |      23 |  2561660 |  2523638 |     2099   2983 |        0 |        0
743.47/743.64	c  743s |      23 |  2568262 |  2530138 |     2099   2989 |        0 |        0
745.46/745.65	c  745s |      23 |  2575091 |  2536838 |     2099   2995 |        0 |        0
747.47/747.66	c  747s |      23 |  2581902 |  2543538 |     2099   3001 |        0 |        0
749.47/749.66	c  749s |      23 |  2588387 |  2549938 |     2099   3007 |        0 |        0
751.47/751.67	c  751s |      23 |  2595010 |  2556438 |     2099   3013 |        0 |        0
753.56/753.70	c  753s |      23 |  2601790 |  2563038 |     2099   3019 |        0 |        0
755.57/755.71	c  755s |      23 |  2608481 |  2569538 |     2099   3025 |        0 |        0
757.56/757.72	c  757s |      23 |  2615280 |  2576238 |     2099   3031 |        0 |        0
759.56/759.72	c  759s |      23 |  2622078 |  2582938 |     2099   3037 |        0 |        0
761.56/761.74	c  761s |      23 |  2628662 |  2589438 |     2099   3043 |        0 |        0
763.56/763.76	c  763s |      23 |  2635270 |  2595938 |     2099   3049 |        0 |        0
765.56/765.76	c  765s |      23 |  2641821 |  2602338 |     2099   3054 |        0 |        0
767.55/767.79	c  767s |      23 |  2648549 |  2608938 |     2099   3060 |        0 |        0
769.55/769.79	c  769s |      23 |  2655049 |  2615338 |     2099   3066 |        0 |        0
771.65/771.80	c  771s |      23 |  2661432 |  2621638 |     2099   3072 |        0 |        0
773.65/773.80	c  773s |      23 |  2668125 |  2628238 |     2099   3078 |        0 |        0
775.65/775.81	c  775s |      23 |  2674717 |  2634738 |     2099   3084 |        0 |        0
777.65/777.81	c  777s |      23 |  2681197 |  2641138 |     2099   3090 |        0 |        0
779.65/779.82	c  779s |      23 |  2687706 |  2647538 |     2099   3095 |        0 |        0
781.65/781.83	c  781s |      23 |  2694076 |  2653838 |     2099   3101 |        0 |        0
783.64/783.86	c  783s |      23 |  2700577 |  2660238 |     2099   3107 |        0 |        0
785.64/785.86	c  785s |      23 |  2706776 |  2666338 |     2099   3112 |        0 |        0
787.64/787.86	c  787s |      23 |  2713994 |  2673438 |     2099   3119 |        0 |        0
789.65/789.87	c  789s |      23 |  2721215 |  2680538 |     2099   3125 |        0 |        0
791.64/791.89	c  791s |      23 |  2728586 |  2687738 |     2099   3132 |        0 |        0
793.74/793.91	c  793s |      23 |  2735675 |  2694738 |     2099   3138 |        0 |        0
795.74/795.94	c  795s |      23 |  2742778 |  2701738 |     2099   3144 |        0 |        0
797.73/797.95	c  797s |      23 |  2749623 |  2708438 |     2099   3151 |        0 |        0
799.73/799.98	c  799s |      23 |  2756569 |  2715238 |     2099   3157 |        0 |        0
801.74/802.00	c  801s |      23 |  2763532 |  2722038 |     2099   3163 |        0 |        0
803.83/804.01	c  803s |      23 |  2770473 |  2728838 |     2099   3169 |        0 |        0
805.83/806.02	c  806s |      23 |  2777680 |  2735838 |     2099   3175 |        0 |        0
807.83/808.04	c  808s |      23 |  2784582 |  2742638 |     2099   3181 |        0 |        0
809.83/810.08	c  810s |      23 |  2791385 |  2749338 |     2099   3188 |        0 |        0
811.93/812.10	c  812s |      23 |  2798285 |  2756138 |     2099   3194 |        0 |        0
813.94/814.11	c  814s |      23 |  2804983 |  2762738 |     2099   3200 |        0 |        0
815.93/816.13	c  816s |      23 |  2811706 |  2769338 |     2099   3206 |        0 |        0
817.93/818.14	c  818s |      23 |  2818468 |  2775938 |     2099   3212 |        0 |        0
819.93/820.15	c  820s |      23 |  2825207 |  2782538 |     2099   3218 |        0 |        0
821.92/822.18	c  822s |      23 |  2832222 |  2789438 |     2099   3224 |        0 |        0
824.02/824.20	c  824s |      23 |  2838976 |  2796038 |     2099   3230 |        0 |        0
826.03/826.22	c  826s |      23 |  2845659 |  2802638 |     2099   3236 |        0 |        0
828.02/828.25	c  828s |      23 |  2852386 |  2809238 |     2099   3242 |        0 |        0
830.02/830.26	c  830s |      23 |  2859131 |  2815838 |     2099   3248 |        0 |        0
832.02/832.27	c  832s |      23 |  2865930 |  2822538 |     2099   3254 |        0 |        0
834.02/834.29	c  834s |      23 |  2872624 |  2829138 |     2099   3260 |        0 |        0
836.12/836.32	c  836s |      23 |  2879279 |  2835738 |     2099   3266 |        0 |        0
838.12/838.33	c  838s |      23 |  2885995 |  2842338 |     2099   3272 |        0 |        0
840.12/840.33	c  840s |      23 |  2892385 |  2848638 |     2099   3278 |        0 |        0
842.12/842.35	c  842s |      23 |  2899131 |  2855238 |     2099   3284 |        0 |        0
844.11/844.35	c  844s |      23 |  2905727 |  2861638 |     2099   3289 |        0 |        0
846.11/846.38	c  846s |      23 |  2912226 |  2867938 |     2099   3295 |        0 |        0
848.21/848.40	c  848s |      23 |  2918836 |  2874438 |     2099   3301 |        0 |        0
850.22/850.42	c  850s |      23 |  2925841 |  2881338 |     2099   3307 |        0 |        0
852.21/852.45	c  852s |      23 |  2932597 |  2887938 |     2099   3313 |        0 |        0
854.21/854.47	c  854s |      23 |  2939444 |  2894638 |     2099   3319 |        0 |        0
856.21/856.49	c  856s |      23 |  2946124 |  2901238 |     2099   3325 |        0 |        0
858.32/858.52	c  858s |      23 |  2952711 |  2907738 |     2099   3331 |        0 |        0
860.32/860.52	c  860s |      23 |  2959200 |  2914138 |     2099   3337 |        0 |        0
862.32/862.53	c  862s |      23 |  2965720 |  2920538 |     2099   3343 |        0 |        0
864.31/864.54	c  864s |      23 |  2972176 |  2926938 |     2099   3349 |        0 |        0
866.31/866.54	c  866s |      23 |  2978488 |  2933138 |     2099   3354 |        0 |        0
868.31/868.57	c  868s |      23 |  2985522 |  2940038 |     2099   3361 |        0 |        0
870.31/870.57	c  870s |      23 |  2992446 |  2946838 |     2099   3367 |        0 |        0
872.31/872.59	c  872s |      23 |  2999236 |  2953538 |     2099   3373 |        0 |        0
874.32/874.60	c  874s |      23 |  3006047 |  2960238 |     2099   3379 |        0 |        0
876.41/876.61	c  876s |      23 |  3012667 |  2966738 |     2099   3385 |        0 |        0
878.41/878.61	c  878s |      23 |  3019178 |  2973138 |     2099   3391 |        0 |        0
880.41/880.65	c  880s |      23 |  3025891 |  2979738 |     2099   3397 |        0 |        0
882.40/882.66	c  882s |      23 |  3032306 |  2986038 |     2099   3402 |        0 |        0
884.40/884.67	c  884s |      23 |  3038908 |  2992538 |     2099   3408 |        0 |        0
886.41/886.68	c  886s |      23 |  3045302 |  2998838 |     2099   3414 |        0 |        0
888.40/888.68	c  888s |      23 |  3051725 |  3005138 |     2099   3420 |        0 |        0
890.50/890.70	c  890s |      23 |  3058442 |  3011738 |     2099   3426 |        0 |        0
892.50/892.70	c  892s |      23 |  3064707 |  3017938 |     2099   3431 |        0 |        0
894.50/894.72	c  894s |      23 |  3071085 |  3024238 |     2099   3437 |        0 |        0
896.50/896.72	c  896s |      23 |  3077373 |  3030438 |     2099   3443 |        0 |        0
898.50/898.74	c  898s |      23 |  3084178 |  3037138 |     2099   3449 |        0 |        0
900.50/900.76	c  900s |      23 |  3091004 |  3043838 |     2099   3455 |        0 |        0
902.49/902.77	c  902s |      23 |  3097859 |  3050538 |     2099   3461 |        0 |        0
904.49/904.79	c  904s |      23 |  3104552 |  3057138 |     2099   3467 |        0 |        0
906.59/906.82	c  906s |      23 |  3111282 |  3063738 |     2099   3473 |        0 |        0
908.59/908.84	c  908s |      23 |  3117881 |  3070238 |     2099   3479 |        0 |        0
910.60/910.86	c  910s |      23 |  3124628 |  3076838 |     2099   3485 |        0 |        0
912.59/912.87	c  912s |      23 |  3131012 |  3083138 |     2099   3490 |        0 |        0
914.59/914.87	c  914s |      23 |  3137526 |  3089538 |     2099   3496 |        0 |        0
916.59/916.89	c  916s |      23 |  3143939 |  3095838 |     2099   3502 |        0 |        0
918.59/918.89	c  918s |      23 |  3150384 |  3102238 |     2099   3508 |        0 |        0
920.69/920.91	c  920s |      23 |  3156859 |  3108538 |     2099   3513 |        0 |        0
922.69/922.91	c  922s |      23 |  3163605 |  3115138 |     2099   3519 |        0 |        0
924.68/924.92	c  924s |      23 |  3170233 |  3121638 |     2099   3525 |        0 |        0
926.68/926.95	c  926s |      23 |  3176613 |  3127938 |     2099   3531 |        0 |        0
928.68/928.95	c  928s |      23 |  3182897 |  3134138 |     2099   3537 |        0 |        0
930.68/930.96	c  930s |      23 |  3189688 |  3140838 |     2099   3543 |        0 |        0
932.68/932.98	c  932s |      23 |  3196229 |  3147238 |     2099   3548 |        0 |        0
934.67/934.99	c  934s |      23 |  3202510 |  3153438 |     2099   3554 |        0 |        0
936.77/937.00	c  936s |      23 |  3208777 |  3159638 |     2099   3560 |        0 |        0
938.77/939.01	c  938s |      23 |  3215041 |  3165838 |     2099   3565 |        0 |        0
940.77/941.02	c  940s |      23 |  3221244 |  3171938 |     2099   3571 |        0 |        0
942.77/943.03	c  943s |      23 |  3228793 |  3179338 |     2099   3578 |        0 |        0
944.78/945.05	c  945s |      23 |  3236024 |  3186338 |     2099   3584 |        0 |        0
946.77/947.06	c  947s |      23 |  3243298 |  3193438 |     2099   3590 |        0 |        0
948.77/949.08	c  949s |      23 |  3250230 |  3200238 |     2099   3596 |        0 |        0
950.77/951.09	c  951s |      23 |  3257248 |  3207038 |     2099   3603 |        0 |        0
952.77/953.09	c  953s |      23 |  3264236 |  3213838 |     2099   3609 |        0 |        0
954.86/955.10	c  955s |      23 |  3271181 |  3220638 |     2099   3615 |        0 |        0
956.87/957.11	c  957s |      23 |  3278134 |  3227438 |     2099   3621 |        0 |        0
958.86/959.11	c  959s |      23 |  3284694 |  3233938 |     2099   3627 |        0 |        0
960.87/961.14	c  961s |      23 |  3291846 |  3240938 |     2099   3633 |        0 |        0
962.87/963.17	c  963s |      23 |  3298572 |  3247538 |     2099   3639 |        0 |        0
964.87/965.19	c  965s |      23 |  3305426 |  3254138 |     2099   3645 |        0 |        0
966.97/967.20	c  967s |      23 |  3312388 |  3260938 |     2099   3651 |        0 |        0
968.97/969.21	c  969s |      23 |  3319180 |  3267638 |     2099   3657 |        0 |        0
970.97/971.22	c  971s |      23 |  3325913 |  3274238 |     2099   3663 |        0 |        0
972.96/973.22	c  973s |      23 |  3332518 |  3280738 |     2099   3669 |        0 |        0
974.96/975.24	c  975s |      23 |  3339194 |  3287338 |     2099   3675 |        0 |        0
976.96/977.26	c  977s |      23 |  3346245 |  3294238 |     2099   3681 |        0 |        0
978.96/979.26	c  979s |      23 |  3352965 |  3300838 |     2099   3687 |        0 |        0
980.97/981.26	c  981s |      23 |  3359545 |  3307238 |     2099   3693 |        0 |        0
982.96/983.27	c  983s |      23 |  3366078 |  3313638 |     2099   3699 |        0 |        0
984.96/985.27	c  985s |      23 |  3372705 |  3320038 |     2099   3705 |        0 |        0
987.06/987.32	c  987s |      23 |  3379139 |  3326338 |     2099   3711 |        0 |        0
989.06/989.33	c  989s |      23 |  3386186 |  3333338 |     2099   3717 |        0 |        0
991.06/991.36	c  991s |      23 |  3393100 |  3340138 |     2099   3723 |        0 |        0
993.06/993.37	c  993s |      23 |  3399820 |  3346738 |     2099   3729 |        0 |        0
995.05/995.38	c  995s |      23 |  3406742 |  3353438 |     2309   3735 |        0 |        0
997.05/997.39	c  997s |      23 |  3413361 |  3359938 |     2309   3740 |        0 |        0
999.15/999.41	c  999s |      23 |  3420059 |  3366438 |     2309   3746 |        0 |        0
1001.15/1001.41	c 1001s |      23 |  3426902 |  3373138 |     2309   3751 |        0 |        0
1002.14/1002.46	c 1002s |      24 |  3430468 |  3376662 |     2309   3754 |        0 |        0
1004.15/1004.47	c 1004s |      24 |  3437803 |  3383762 |     2309   3760 |        0 |        0
1006.14/1006.49	c 1006s |      24 |  3445154 |  3390862 |     2309   3766 |        0 |        0
1008.24/1008.50	c 1008s |      24 |  3452190 |  3397762 |     2309   3772 |        0 |        0
1010.24/1010.52	c 1010s |      24 |  3459461 |  3404862 |     2309   3777 |        0 |        0
1012.24/1012.54	c 1012s |      24 |  3466492 |  3411762 |     2309   3783 |        0 |        0
1014.24/1014.57	c 1014s |      24 |  3473375 |  3418462 |     2309   3789 |        0 |        0
1016.24/1016.57	c 1016s |      24 |  3480126 |  3425062 |     2309   3794 |        0 |        0
1018.24/1018.57	c 1018s |      24 |  3487240 |  3432062 |     2309   3800 |        0 |        0
1020.34/1020.60	c 1020s |      24 |  3494284 |  3438962 |     2309   3806 |        0 |        0
1022.33/1022.62	c 1022s |      24 |  3501242 |  3445762 |     2309   3811 |        0 |        0
1024.33/1024.64	c 1024s |      24 |  3508004 |  3452362 |     2309   3817 |        0 |        0
1026.33/1026.66	c 1026s |      24 |  3515264 |  3459362 |     2309   3822 |        0 |        0
1028.34/1028.66	c 1028s |      24 |  3522128 |  3466062 |     2309   3828 |        0 |        0
1030.33/1030.70	c 1030s |      24 |  3528918 |  3472762 |     2309   3834 |        0 |        0
1032.43/1032.70	c 1032s |      24 |  3535814 |  3479562 |     2309   3839 |        0 |        0
1034.42/1034.73	c 1034s |      24 |  3542809 |  3486462 |     2309   3845 |        0 |        0
1036.42/1036.76	c 1036s |      24 |  3549778 |  3493262 |     2309   3850 |        0 |        0
1038.42/1038.77	c 1038s |      24 |  3556375 |  3499762 |     2309   3856 |        0 |        0
1040.43/1040.78	c 1040s |      24 |  3563048 |  3506362 |     2309   3861 |        0 |        0
1042.53/1042.81	c 1042s |      24 |  3569564 |  3512762 |     2309   3867 |        0 |        0
1044.52/1044.82	c 1044s |      24 |  3576413 |  3519462 |     2309   3872 |        0 |        0
1046.52/1046.85	c 1046s |      24 |  3583643 |  3526462 |     2309   3878 |        0 |        0
1048.52/1048.88	c 1048s |      24 |  3590538 |  3533262 |     2309   3884 |        0 |        0
1050.62/1050.91	c 1050s |      24 |  3597482 |  3540062 |     2309   3889 |        0 |        0
1052.62/1052.91	c 1052s |      24 |  3604234 |  3546662 |     2309   3895 |        0 |        0
1054.62/1054.92	c 1054s |      24 |  3610868 |  3553062 |     2309   3900 |        0 |        0
1056.61/1056.94	c 1056s |      24 |  3617533 |  3559562 |     2309   3905 |        0 |        0
1058.61/1058.95	c 1058s |      24 |  3624145 |  3566062 |     2309   3911 |        0 |        0
1060.61/1060.96	c 1060s |      24 |  3630772 |  3572562 |     2309   3916 |        0 |        0
1062.61/1062.98	c 1062s |      24 |  3637369 |  3579062 |     2309   3921 |        0 |        0
1064.62/1064.99	c 1064s |      24 |  3643859 |  3585462 |     2309   3927 |        0 |        0
1066.72/1067.01	c 1066s |      24 |  3650644 |  3592062 |     2309   3932 |        0 |        0
1068.71/1069.03	c 1069s |      24 |  3658325 |  3599562 |     2309   3938 |        0 |        0
1070.71/1071.03	c 1071s |      24 |  3665585 |  3606662 |     2309   3944 |        0 |        0
1072.70/1073.04	c 1073s |      24 |  3672700 |  3613662 |     2309   3950 |        0 |        0
1074.70/1075.07	c 1075s |      24 |  3679783 |  3620562 |     2309   3956 |        0 |        0
1076.71/1077.07	c 1077s |      24 |  3687025 |  3627662 |     2309   3962 |        0 |        0
1078.70/1079.08	c 1079s |      24 |  3693817 |  3634362 |     2309   3967 |        0 |        0
1080.70/1081.09	c 1081s |      24 |  3700602 |  3640962 |     2309   3973 |        0 |        0
1082.81/1083.11	c 1083s |      24 |  3707773 |  3648062 |     2309   3978 |        0 |        0
1084.81/1085.12	c 1085s |      24 |  3714727 |  3654862 |     2309   3984 |        0 |        0
1086.81/1087.12	c 1087s |      24 |  3721589 |  3661562 |     2309   3990 |        0 |        0
1088.81/1089.14	c 1089s |      24 |  3728585 |  3668462 |     2309   3995 |        0 |        0
1090.81/1091.14	c 1091s |      24 |  3735363 |  3675062 |     2309   4001 |        0 |        0
1092.80/1093.15	c 1093s |      24 |  3741948 |  3681562 |     2309   4006 |        0 |        0
1094.80/1095.16	c 1095s |      24 |  3748949 |  3688362 |     2309   4012 |        0 |        0
1096.80/1097.19	c 1097s |      24 |  3755953 |  3695262 |     2309   4017 |        0 |        0
1098.90/1099.21	c 1099s |      24 |  3763041 |  3702162 |     2309   4023 |        0 |        0
1100.91/1101.23	c 1101s |      24 |  3769823 |  3708762 |     2309   4029 |        0 |        0
1102.90/1103.25	c 1103s |      24 |  3776566 |  3715362 |     2309   4034 |        0 |        0
1104.90/1105.26	c 1105s |      24 |  3783296 |  3721962 |     2309   4040 |        0 |        0
1106.89/1107.28	c 1107s |      24 |  3790466 |  3728962 |     2309   4045 |        0 |        0
1108.99/1109.30	c 1109s |      24 |  3797414 |  3735762 |     2309   4051 |        0 |        0
1110.99/1111.33	c 1111s |      24 |  3804205 |  3742362 |     2309   4056 |        0 |        0
1112.99/1113.35	c 1113s |      24 |  3811174 |  3749062 |     2309   4062 |        0 |        0
1114.99/1115.37	c 1115s |      24 |  3817756 |  3755562 |     2309   4067 |        0 |        0
1116.99/1117.38	c 1117s |      24 |  3824602 |  3762262 |     2309   4073 |        0 |        0
1119.09/1119.40	c 1119s |      24 |  3831159 |  3768562 |     2309   4078 |        0 |        0
1121.09/1121.41	c 1121s |      24 |  3838376 |  3775662 |     2309   4084 |        0 |        0
1123.08/1123.42	c 1123s |      24 |  3845064 |  3782262 |     2309   4089 |        0 |        0
1125.09/1125.44	c 1125s |      24 |  3851870 |  3788962 |     2309   4095 |        0 |        0
1127.08/1127.46	c 1127s |      24 |  3858506 |  3795462 |     2309   4100 |        0 |        0
1129.08/1129.47	c 1129s |      24 |  3865267 |  3802062 |     2309   4106 |        0 |        0
1131.08/1131.48	c 1131s |      24 |  3871898 |  3808462 |     2309   4111 |        0 |        0
1133.08/1133.48	c 1133s |      24 |  3878594 |  3814962 |     2309   4117 |        0 |        0
1135.18/1135.50	c 1135s |      24 |  3885131 |  3821362 |     2309   4122 |        0 |        0
1137.19/1137.51	c 1137s |      24 |  3891653 |  3827762 |     2309   4127 |        0 |        0
1139.18/1139.52	c 1139s |      24 |  3898359 |  3834362 |     2309   4133 |        0 |        0
1141.18/1141.54	c 1141s |      24 |  3905279 |  3841162 |     2309   4138 |        0 |        0
1143.17/1143.57	c 1143s |      24 |  3912312 |  3848062 |     2309   4144 |        0 |        0
1145.27/1145.60	c 1145s |      24 |  3919208 |  3854662 |     2309   4149 |        0 |        0
1147.27/1147.62	c 1147s |      24 |  3926163 |  3861462 |     2309   4155 |        0 |        0
1149.28/1149.62	c 1149s |      24 |  3932795 |  3867962 |     2309   4160 |        0 |        0
1151.27/1151.63	c 1151s |      24 |  3939472 |  3874562 |     2309   4166 |        0 |        0
1153.27/1153.63	c 1153s |      24 |  3946356 |  3881362 |     2309   4171 |        0 |        0
1155.27/1155.65	c 1155s |      24 |  3953186 |  3888062 |     2309   4177 |        0 |        0
1157.27/1157.68	c 1157s |      24 |  3959905 |  3894662 |     2309   4182 |        0 |        0
1159.36/1159.71	c 1159s |      24 |  3966526 |  3901162 |     2309   4188 |        0 |        0
1161.37/1161.73	c 1161s |      24 |  3973358 |  3907762 |     2309   4193 |        0 |        0
1163.36/1163.73	c 1163s |      24 |  3979993 |  3914262 |     2309   4199 |        0 |        0
1165.36/1165.74	c 1165s |      24 |  3986638 |  3920762 |     2309   4204 |        0 |        0
1167.37/1167.75	c 1167s |      24 |  3993189 |  3927162 |     2309   4209 |        0 |        0
1169.37/1169.75	c 1169s |      24 |  3999567 |  3933462 |     2309   4215 |        0 |        0
1171.37/1171.76	c 1171s |      24 |  4006209 |  3939962 |     2309   4220 |        0 |        0
1173.36/1173.76	c 1173s |      24 |  4012823 |  3946462 |     2309   4225 |        0 |        0
1175.36/1175.78	c 1175s |      24 |  4019492 |  3952962 |     2309   4231 |        0 |        0
1177.46/1177.80	c 1177s |      24 |  4026111 |  3959362 |     2309   4236 |        0 |        0
1179.46/1179.82	c 1179s |      24 |  4032670 |  3965762 |     2309   4241 |        0 |        0
1181.46/1181.82	c 1181s |      24 |  4039136 |  3972062 |     2309   4247 |        0 |        0
1183.45/1183.85	c 1183s |      24 |  4045496 |  3978262 |     2309   4252 |        0 |        0
1185.45/1185.86	c 1185s |      24 |  4052143 |  3984762 |     2309   4257 |        0 |        0
1187.45/1187.87	c 1187s |      24 |  4059133 |  3991662 |     2309   4263 |        0 |        0
1189.45/1189.88	c 1189s |      24 |  4065928 |  3998362 |     2309   4268 |        0 |        0
1191.45/1191.89	c 1191s |      24 |  4073000 |  4005262 |     2309   4274 |        0 |        0
1193.54/1193.92	c 1193s |      24 |  4079694 |  4011862 |     2309   4279 |        0 |        0
1195.54/1195.92	c 1195s |      24 |  4086535 |  4018562 |     2309   4285 |        0 |        0
1197.55/1197.93	c 1197s |      24 |  4093205 |  4025062 |     2309   4290 |        0 |        0
1199.54/1199.93	c 1199s |      24 |  4099801 |  4031562 |     2309   4296 |        0 |        0
1201.54/1201.95	c 1201s |      24 |  4106525 |  4038162 |     2309   4301 |        0 |        0
1203.54/1203.97	c 1203s |      24 |  4113446 |  4044962 |     2309   4307 |        0 |        0
1205.53/1205.98	c 1205s |      24 |  4120090 |  4051462 |     2309   4312 |        0 |        0
1207.63/1208.01	c 1207s |      24 |  4126791 |  4057962 |     2309   4318 |        0 |        0
1209.64/1210.03	c 1210s |      24 |  4133445 |  4064462 |     2309   4323 |        0 |        0
1211.63/1212.03	c 1212s |      24 |  4140042 |  4070962 |     2309   4328 |        0 |        0
1213.63/1214.05	c 1214s |      24 |  4146624 |  4077462 |     2309   4334 |        0 |        0
1215.63/1216.07	c 1216s |      24 |  4153120 |  4083862 |     2309   4339 |        0 |        0
1217.73/1218.11	c 1218s |      24 |  4159984 |  4090562 |     2309   4345 |        0 |        0
1219.73/1220.12	c 1220s |      24 |  4166624 |  4097062 |     2309   4350 |        0 |        0
1221.73/1222.15	c 1222s |      24 |  4172917 |  4103262 |     2309   4355 |        0 |        0
1223.72/1224.15	c 1224s |      24 |  4179266 |  4109462 |     2309   4360 |        0 |        0
1225.72/1226.15	c 1226s |      24 |  4185812 |  4115862 |     2309   4365 |        0 |        0
1227.72/1228.15	c 1228s |      24 |  4192629 |  4122562 |     2309   4371 |        0 |        0
1229.72/1230.19	c 1230s |      24 |  4199581 |  4129262 |     2309   4377 |        0 |        0
1231.82/1232.20	c 1232s |      24 |  4206013 |  4135562 |     2309   4382 |        0 |        0
1233.82/1234.21	c 1234s |      24 |  4212530 |  4141962 |     2309   4387 |        0 |        0
1235.82/1236.22	c 1236s |      24 |  4219147 |  4148462 |     2309   4392 |        0 |        0
1237.82/1238.22	c 1238s |      24 |  4225490 |  4154662 |     2309   4398 |        0 |        0
1239.82/1240.24	c 1240s |      24 |  4232031 |  4161062 |     2309   4403 |        0 |        0
1241.81/1242.25	c 1242s |      24 |  4238508 |  4167462 |     2309   4408 |        0 |        0
1243.82/1244.28	c 1244s |      24 |  4245031 |  4173862 |     2309   4413 |        0 |        0
1245.81/1246.30	c 1246s |      24 |  4251524 |  4180262 |     2309   4419 |        0 |        0
1247.91/1248.31	c 1248s |      24 |  4257836 |  4186462 |     2309   4424 |        0 |        0
1249.91/1250.33	c 1250s |      24 |  4264653 |  4193162 |     2309   4429 |        0 |        0
1251.90/1252.34	c 1252s |      24 |  4272120 |  4200462 |     2309   4436 |        0 |        0
1253.90/1254.37	c 1254s |      24 |  4279632 |  4207662 |     2309   4441 |        0 |        0
1255.91/1256.38	c 1256s |      24 |  4286849 |  4214762 |     2309   4447 |        0 |        0
1258.01/1258.41	c 1258s |      24 |  4294060 |  4221762 |     2309   4453 |        0 |        0
1260.00/1260.42	c 1260s |      24 |  4301264 |  4228862 |     2309   4459 |        0 |        0
1262.00/1262.43	c 1262s |      24 |  4308261 |  4235662 |     2309   4465 |        0 |        0
1264.00/1264.44	c 1264s |      24 |  4315592 |  4242862 |     2309   4471 |        0 |        0
1266.00/1266.44	c 1266s |      24 |  4322654 |  4249762 |     2309   4476 |        0 |        0
1268.00/1268.44	c 1268s |      24 |  4329454 |  4256462 |     2309   4482 |        0 |        0
1270.00/1270.46	c 1270s |      24 |  4336445 |  4263362 |     2309   4487 |        0 |        0
1271.99/1272.46	c 1272s |      24 |  4343255 |  4270062 |     2309   4493 |        0 |        0
1273.99/1274.49	c 1274s |      24 |  4350048 |  4276762 |     2309   4499 |        0 |        0
1276.10/1276.51	c 1276s |      24 |  4357340 |  4283862 |     2309   4504 |        0 |        0
1278.09/1278.53	c 1278s |      24 |  4364036 |  4290462 |     2309   4510 |        0 |        0
1280.10/1280.53	c 1280s |      24 |  4370767 |  4297062 |     2309   4515 |        0 |        0
1282.09/1282.55	c 1282s |      24 |  4377549 |  4303662 |     2309   4521 |        0 |        0
1284.09/1284.56	c 1284s |      24 |  4384696 |  4310662 |     2309   4527 |        0 |        0
1286.09/1286.58	c 1286s |      24 |  4391699 |  4317562 |     2309   4532 |        0 |        0
1288.19/1288.60	c 1288s |      24 |  4398821 |  4324562 |     2309   4538 |        0 |        0
1290.19/1290.61	c 1290s |      24 |  4405749 |  4331362 |     2309   4544 |        0 |        0
1292.19/1292.64	c 1292s |      24 |  4412838 |  4338362 |     2309   4549 |        0 |        0
1294.18/1294.65	c 1294s |      24 |  4419744 |  4345062 |     2309   4555 |        0 |        0
1296.18/1296.67	c 1296s |      24 |  4426652 |  4351862 |     2309   4561 |        0 |        0
1298.18/1298.67	c 1298s |      24 |  4433414 |  4358462 |     2309   4566 |        0 |        0
1300.28/1300.70	c 1300s |      24 |  4440358 |  4365262 |     2309   4572 |        0 |        0
1302.27/1302.72	c 1302s |      24 |  4447061 |  4371862 |     2309   4577 |        0 |        0
1304.28/1304.75	c 1304s |      24 |  4453962 |  4378562 |     2309   4583 |        0 |        0
1306.27/1306.78	c 1306s |      24 |  4460823 |  4385262 |     2309   4588 |        0 |        0
1308.27/1308.80	c 1308s |      24 |  4467531 |  4391762 |     2309   4594 |        0 |        0
1310.37/1310.81	c 1310s |      24 |  4474120 |  4398262 |     2309   4599 |        0 |        0
1312.37/1312.82	c 1312s |      24 |  4481179 |  4405162 |     2309   4605 |        0 |        0
1314.37/1314.83	c 1314s |      24 |  4488252 |  4412062 |     2309   4610 |        0 |        0
1316.37/1316.85	c 1316s |      24 |  4495156 |  4418862 |     2309   4616 |        0 |        0
1318.37/1318.88	c 1318s |      24 |  4501991 |  4425562 |     2309   4622 |        0 |        0
1320.47/1320.90	c 1320s |      24 |  4508735 |  4432162 |     2309   4627 |        0 |        0
1322.46/1322.92	c 1322s |      24 |  4515444 |  4438762 |     2309   4633 |        0 |        0
1324.46/1324.92	c 1324s |      24 |  4522076 |  4445262 |     2309   4638 |        0 |        0
1326.46/1326.93	c 1326s |      24 |  4528774 |  4451762 |     2309   4643 |        0 |        0
1328.47/1328.94	c 1328s |      24 |  4535165 |  4458062 |     2309   4649 |        0 |        0
1330.46/1330.96	c 1330s |      24 |  4541834 |  4464562 |     2309   4654 |        0 |        0
1332.45/1332.98	c 1332s |      24 |  4548133 |  4470762 |     2309   4659 |        0 |        0
1334.45/1334.98	c 1334s |      24 |  4554592 |  4477062 |     2309   4664 |        0 |        0
1336.45/1336.99	c 1336s |      24 |  4561212 |  4483562 |     2309   4670 |        0 |        0
1338.55/1339.01	c 1338s |      24 |  4568164 |  4490362 |     2309   4675 |        0 |        0
1340.56/1341.02	c 1341s |      24 |  4575051 |  4497162 |     2309   4681 |        0 |        0
1342.55/1343.03	c 1343s |      24 |  4581744 |  4503762 |     2309   4686 |        0 |        0
1344.55/1345.04	c 1345s |      24 |  4588406 |  4510262 |     2309   4692 |        0 |        0
1346.55/1347.06	c 1347s |      24 |  4595149 |  4516862 |     2309   4697 |        0 |        0
1348.55/1349.09	c 1349s |      24 |  4601869 |  4523462 |     2309   4703 |        0 |        0
1350.55/1351.09	c 1351s |      24 |  4608343 |  4529862 |     2309   4708 |        0 |        0
1352.55/1353.10	c 1353s |      24 |  4614746 |  4536162 |     2309   4713 |        0 |        0
1354.64/1355.13	c 1355s |      24 |  4621426 |  4542662 |     2309   4719 |        0 |        0
1356.64/1357.16	c 1357s |      24 |  4628064 |  4549162 |     2309   4724 |        0 |        0
1358.74/1359.20	c 1359s |      24 |  4634576 |  4555462 |     2309   4729 |        0 |        0
1360.74/1361.23	c 1361s |      24 |  4641205 |  4561962 |     2309   4735 |        0 |        0
1362.74/1363.24	c 1363s |      24 |  4648315 |  4568962 |     2309   4740 |        0 |        0
1364.75/1365.26	c 1365s |      24 |  4655180 |  4575662 |     2309   4746 |        0 |        0
1366.74/1367.26	c 1367s |      24 |  4661987 |  4582362 |     2309   4751 |        0 |        0
1368.74/1369.27	c 1369s |      24 |  4668705 |  4588962 |     2309   4757 |        0 |        0
1370.74/1371.29	c 1371s |      24 |  4675315 |  4595462 |     2309   4762 |        0 |        0
1372.84/1373.30	c 1373s |      24 |  4681750 |  4601762 |     2309   4767 |        0 |        0
1374.84/1375.31	c 1375s |      24 |  4688367 |  4608262 |     2309   4773 |        0 |        0
1376.84/1377.33	c 1377s |      24 |  4694954 |  4614662 |     2309   4778 |        0 |        0
1378.84/1379.33	c 1379s |      24 |  4701478 |  4621062 |     2309   4783 |        0 |        0
1380.84/1381.34	c 1381s |      24 |  4707916 |  4627362 |     2309   4789 |        0 |        0
1382.83/1383.36	c 1383s |      24 |  4714112 |  4633462 |     2309   4794 |        0 |        0
1384.83/1385.39	c 1385s |      24 |  4720719 |  4639862 |     2309   4799 |        0 |        0
1386.93/1387.41	c 1387s |      24 |  4727215 |  4646262 |     2309   4804 |        0 |        0
1388.94/1389.43	c 1389s |      24 |  4733744 |  4652662 |     2309   4810 |        0 |        0
1390.93/1391.46	c 1391s |      24 |  4740158 |  4658962 |     2309   4815 |        0 |        0
1392.93/1393.47	c 1393s |      24 |  4746462 |  4665162 |     2309   4820 |        0 |        0
1394.93/1395.47	c 1395s |      24 |  4752720 |  4671262 |     2309   4825 |        0 |        0
1396.94/1397.48	c 1397s |      24 |  4759673 |  4678062 |     2309   4831 |        0 |        0
1398.94/1399.49	c 1399s |      24 |  4766415 |  4684662 |     2309   4836 |        0 |        0
1401.05/1401.51	c 1401s |      24 |  4773009 |  4691162 |     2309   4841 |        0 |        0
1403.04/1403.51	c 1403s |      24 |  4779571 |  4697562 |     2309   4847 |        0 |        0
1405.04/1405.54	c 1405s |      24 |  4786370 |  4704262 |     2309   4852 |        0 |        0
1407.04/1407.55	c 1407s |      24 |  4792957 |  4710662 |     2309   4858 |        0 |        0
1409.04/1409.58	c 1409s |      24 |  4799555 |  4717162 |     2309   4863 |        0 |        0
1411.04/1411.58	c 1411s |      24 |  4806088 |  4723562 |     2309   4868 |        0 |        0
1413.04/1413.59	c 1413s |      24 |  4812339 |  4729662 |     2309   4873 |        0 |        0
1415.14/1415.61	c 1415s |      24 |  4818682 |  4735862 |     2309   4879 |        0 |        0
1417.14/1417.62	c 1417s |      24 |  4825065 |  4742162 |     2309   4884 |        0 |        0
1419.14/1419.64	c 1419s |      24 |  4831976 |  4748962 |     2309   4889 |        0 |        0
1421.14/1421.66	c 1421s |      24 |  4838829 |  4755662 |     2309   4895 |        0 |        0
1423.13/1423.68	c 1423s |      24 |  4845458 |  4762162 |     2309   4900 |        0 |        0
1425.14/1425.69	c 1425s |      24 |  4851846 |  4768462 |     2309   4905 |        0 |        0
1427.23/1427.71	c 1427s |      24 |  4858237 |  4774762 |     2309   4911 |        0 |        0
1429.23/1429.73	c 1429s |      24 |  4864660 |  4781062 |     2309   4916 |        0 |        0
1431.23/1431.74	c 1431s |      24 |  4870960 |  4787262 |     2309   4921 |        0 |        0
1433.23/1433.75	c 1433s |      24 |  4877162 |  4793362 |     2309   4926 |        0 |        0
1435.23/1435.76	c 1435s |      24 |  4883367 |  4799462 |     2309   4931 |        0 |        0
1437.24/1437.80	c 1437s |      24 |  4890045 |  4805962 |     2309   4937 |        0 |        0
1439.33/1439.81	c 1439s |      24 |  4896534 |  4812262 |     2309   4942 |        0 |        0
1441.33/1441.83	c 1441s |      24 |  4902857 |  4818462 |     2309   4947 |        0 |        0
1443.33/1443.83	c 1443s |      24 |  4908978 |  4824462 |     2309   4952 |        0 |        0
1445.33/1445.85	c 1445s |      24 |  4915189 |  4830562 |     2309   4957 |        0 |        0
1447.33/1447.86	c 1447s |      24 |  4921872 |  4837062 |     2309   4962 |        0 |        0
1449.33/1449.89	c 1449s |      24 |  4928937 |  4844062 |     2309   4968 |        0 |        0
1451.33/1451.89	c 1451s |      24 |  4935756 |  4850762 |     2309   4974 |        0 |        0
1453.33/1453.89	c 1453s |      24 |  4942680 |  4857562 |     2309   4979 |        0 |        0
1455.43/1455.92	c 1455s |      24 |  4949565 |  4864262 |     2309   4985 |        0 |        0
1457.43/1457.93	c 1457s |      24 |  4956299 |  4870862 |     2309   4990 |        0 |        0
1459.43/1459.94	c 1459s |      24 |  4963139 |  4877562 |     2309   4996 |        0 |        0
1461.43/1461.95	c 1461s |      24 |  4969745 |  4884062 |     2309   5001 |        0 |        0
1463.42/1463.98	c 1463s |      24 |  4976454 |  4890662 |     2309   5007 |        0 |        0
1465.42/1465.98	c 1465s |      24 |  4983077 |  4897162 |     2309   5012 |        0 |        0
1467.42/1467.99	c 1467s |      24 |  4989481 |  4903362 |     2309   5017 |        0 |        0
1469.52/1470.01	c 1469s |      24 |  4996358 |  4910062 |     2309   5023 |        0 |        0
1471.52/1472.04	c 1472s |      24 |  5003164 |  4916762 |     2309   5028 |        0 |        0
1473.53/1474.05	c 1474s |      24 |  5009781 |  4923262 |     2309   5034 |        0 |        0
1475.52/1476.08	c 1476s |      24 |  5016488 |  4929862 |     2309   5039 |        0 |        0
1477.62/1478.11	c 1478s |      24 |  5022985 |  4936162 |     2309   5044 |        0 |        0
1479.62/1480.13	c 1480s |      24 |  5029552 |  4942562 |     2309   5050 |        0 |        0
1481.62/1482.16	c 1482s |      24 |  5035825 |  4948662 |     2309   5055 |        0 |        0
1483.62/1484.18	c 1484s |      24 |  5042599 |  4955162 |     2309   5060 |        0 |        0
1485.73/1486.22	c 1486s |      24 |  5049279 |  4961762 |     2309   5066 |        0 |        0
1487.72/1488.24	c 1488s |      24 |  5055819 |  4968162 |     2309   5071 |        0 |        0
1489.72/1490.25	c 1490s |      24 |  5062325 |  4974562 |     2309   5076 |        0 |        0
1491.72/1492.29	c 1492s |      24 |  5068886 |  4980962 |     2309   5082 |        0 |        0
1493.82/1494.30	c 1494s |      24 |  5075469 |  4987462 |     2309   5087 |        0 |        0
1495.82/1496.32	c 1496s |      24 |  5082341 |  4994162 |     2309   5092 |        0 |        0
1497.83/1498.32	c 1498s |      24 |  5088847 |  5000562 |     2309   5098 |        0 |        0
1499.82/1500.34	c 1500s |      24 |  5095488 |  5007062 |     2309   5103 |        0 |        0
1501.82/1502.34	c 1502s |      24 |  5101989 |  5013462 |     2309   5108 |        0 |        0
1503.82/1504.35	c 1504s |      24 |  5108274 |  5019662 |     2309   5114 |        0 |        0
1505.82/1506.36	c 1506s |      24 |  5114762 |  5026062 |     2309   5119 |        0 |        0
1507.82/1508.38	c 1508s |      24 |  5121193 |  5032362 |     2540   5124 |        0 |        0
1509.82/1510.39	c 1510s |      24 |  5127576 |  5038662 |     2540   5128 |        0 |        0
1511.82/1512.39	c 1512s |      24 |  5133904 |  5044862 |     2540   5133 |        0 |        0
1513.91/1514.41	c 1514s |      24 |  5140441 |  5051262 |     2540   5138 |        0 |        0
1515.91/1516.43	c 1516s |      24 |  5146908 |  5057562 |     2540   5143 |        0 |        0
1517.91/1518.46	c 1518s |      24 |  5153417 |  5063762 |     2540   5147 |        0 |        0
1518.31/1518.87	c 1518s |      25 |  5154800 |  5065098 |     2540   5148 |        0 |        0
1520.31/1520.88	c 1520s |      25 |  5161659 |  5071698 |     2540   5153 |        0 |        0
1522.31/1522.89	c 1522s |      25 |  5168714 |  5078598 |     2540   5159 |        0 |        0
1524.41/1524.90	c 1524s |      25 |  5175692 |  5085298 |     2540   5164 |        0 |        0
1526.42/1526.92	c 1526s |      25 |  5182430 |  5091898 |     2540   5169 |        0 |        0
1528.41/1528.93	c 1528s |      25 |  5189017 |  5098298 |     2540   5174 |        0 |        0
1530.41/1530.93	c 1530s |      25 |  5195480 |  5104598 |     2540   5178 |        0 |        0
1532.41/1532.93	c 1532s |      25 |  5202377 |  5111298 |     2540   5183 |        0 |        0
1534.41/1534.95	c 1534s |      25 |  5209102 |  5117898 |     2540   5188 |        0 |        0
1536.41/1536.95	c 1536s |      25 |  5215582 |  5124298 |     2540   5193 |        0 |        0
1538.43/1538.97	c 1538s |      25 |  5222145 |  5130698 |     2540   5198 |        0 |        0
1540.42/1540.99	c 1540s |      25 |  5228717 |  5137098 |     2540   5203 |        0 |        0
1542.52/1543.00	c 1542s |      25 |  5235383 |  5143598 |     2540   5208 |        0 |        0
1544.52/1545.02	c 1545s |      25 |  5242149 |  5150198 |     2540   5213 |        0 |        0
1546.52/1547.05	c 1547s |      25 |  5248991 |  5156898 |     2540   5218 |        0 |        0
1548.52/1549.06	c 1549s |      25 |  5255786 |  5163498 |     2540   5223 |        0 |        0
1550.52/1551.09	c 1551s |      25 |  5262543 |  5170098 |     2540   5228 |        0 |        0
1552.62/1553.11	c 1553s |      25 |  5269172 |  5176598 |     2540   5233 |        0 |        0
1554.62/1555.12	c 1555s |      25 |  5275725 |  5182998 |     2540   5237 |        0 |        0
1556.62/1557.12	c 1557s |      25 |  5282431 |  5189598 |     2540   5242 |        0 |        0
1558.62/1559.12	c 1559s |      25 |  5288776 |  5195798 |     2540   5247 |        0 |        0
1560.62/1561.12	c 1561s |      25 |  5295379 |  5202198 |     2540   5252 |        0 |        0
1562.62/1563.13	c 1563s |      25 |  5301854 |  5208498 |     2540   5257 |        0 |        0
1564.62/1565.17	c 1565s |      25 |  5308335 |  5214898 |     2540   5262 |        0 |        0
1566.61/1567.18	c 1567s |      25 |  5314579 |  5220998 |     2540   5266 |        0 |        0
1568.71/1569.21	c 1569s |      25 |  5321435 |  5227698 |     2540   5271 |        0 |        0
1570.71/1571.22	c 1571s |      25 |  5328009 |  5234198 |     2540   5276 |        0 |        0
1572.71/1573.23	c 1573s |      25 |  5334752 |  5240798 |     2540   5281 |        0 |        0
1574.72/1575.25	c 1575s |      25 |  5341480 |  5247398 |     2540   5286 |        0 |        0
1576.71/1577.25	c 1577s |      25 |  5348301 |  5254098 |     2540   5291 |        0 |        0
1578.71/1579.26	c 1579s |      25 |  5355038 |  5260698 |     2540   5296 |        0 |        0
1580.71/1581.28	c 1581s |      25 |  5361630 |  5267098 |     2540   5301 |        0 |        0
1582.71/1583.29	c 1583s |      25 |  5368427 |  5273798 |     2540   5306 |        0 |        0
1584.72/1585.29	c 1585s |      25 |  5374954 |  5280198 |     2540   5311 |        0 |        0
1586.71/1587.30	c 1587s |      25 |  5381503 |  5286598 |     2540   5316 |        0 |        0
1588.81/1589.30	c 1589s |      25 |  5388103 |  5293098 |     2540   5321 |        0 |        0
1590.81/1591.32	c 1591s |      25 |  5394682 |  5299598 |     2540   5325 |        0 |        0
1592.81/1593.33	c 1593s |      25 |  5401091 |  5305898 |     2540   5330 |        0 |        0
1594.81/1595.33	c 1595s |      25 |  5407284 |  5311998 |     2540   5335 |        0 |        0
1596.81/1597.33	c 1597s |      25 |  5413843 |  5318398 |     2540   5340 |        0 |        0
1598.81/1599.34	c 1599s |      25 |  5420256 |  5324698 |     2540   5344 |        0 |        0
1600.81/1601.35	c 1601s |      25 |  5426527 |  5330898 |     2540   5349 |        0 |        0
1602.80/1603.37	c 1603s |      25 |  5432912 |  5337098 |     2540   5354 |        0 |        0
1604.90/1605.41	c 1605s |      25 |  5439361 |  5343398 |     2540   5359 |        0 |        0
1606.90/1607.42	c 1607s |      25 |  5446420 |  5350298 |     2540   5364 |        0 |        0
1608.91/1609.44	c 1609s |      25 |  5453246 |  5356998 |     2540   5369 |        0 |        0
1610.90/1611.48	c 1611s |      25 |  5459973 |  5363598 |     2540   5374 |        0 |        0
1612.90/1613.49	c 1613s |      25 |  5466729 |  5370198 |     2540   5379 |        0 |        0
1615.00/1615.51	c 1615s |      25 |  5473021 |  5376398 |     2540   5383 |        0 |        0
1617.00/1617.51	c 1617s |      25 |  5479534 |  5382798 |     2540   5388 |        0 |        0
1619.00/1619.52	c 1619s |      25 |  5486145 |  5389298 |     2540   5393 |        0 |        0
1621.01/1621.53	c 1621s |      25 |  5492655 |  5395698 |     2540   5398 |        0 |        0
1623.00/1623.56	c 1623s |      25 |  5499046 |  5401998 |     2540   5403 |        0 |        0
1625.00/1625.57	c 1625s |      25 |  5505636 |  5408298 |     2540   5408 |        0 |        0
1627.00/1627.58	c 1627s |      25 |  5512218 |  5414698 |     2540   5412 |        0 |        0
1629.00/1629.58	c 1629s |      25 |  5518511 |  5420898 |     2540   5417 |        0 |        0
1631.00/1631.59	c 1631s |      25 |  5524808 |  5427098 |     2540   5422 |        0 |        0
1633.11/1633.61	c 1633s |      25 |  5531287 |  5433398 |     2540   5427 |        0 |        0
1635.10/1635.62	c 1635s |      25 |  5537689 |  5439698 |     2540   5431 |        0 |        0
1637.10/1637.65	c 1637s |      25 |  5543871 |  5445798 |     2540   5436 |        0 |        0
1639.10/1639.67	c 1639s |      25 |  5550084 |  5451898 |     2540   5441 |        0 |        0
1641.10/1641.68	c 1641s |      25 |  5556983 |  5458698 |     2540   5446 |        0 |        0
1643.10/1643.69	c 1643s |      25 |  5564075 |  5465698 |     2540   5451 |        0 |        0
1645.20/1645.71	c 1645s |      25 |  5570923 |  5472398 |     2540   5456 |        0 |        0
1647.20/1647.73	c 1647s |      25 |  5578068 |  5479398 |     2540   5461 |        0 |        0
1649.20/1649.76	c 1649s |      25 |  5584742 |  5485998 |     2540   5466 |        0 |        0
1651.20/1651.76	c 1651s |      25 |  5591316 |  5492498 |     2540   5471 |        0 |        0
1653.20/1653.79	c 1653s |      25 |  5598105 |  5499198 |     2540   5476 |        0 |        0
1655.30/1655.80	c 1655s |      25 |  5604704 |  5505698 |     2540   5481 |        0 |        0
1657.31/1657.82	c 1657s |      25 |  5611332 |  5512198 |     2540   5486 |        0 |        0
1659.30/1659.85	c 1659s |      25 |  5617914 |  5518698 |     2540   5491 |        0 |        0
1661.30/1661.88	c 1661s |      25 |  5624402 |  5525098 |     2540   5496 |        0 |        0
1663.30/1663.88	c 1663s |      25 |  5630860 |  5531398 |     2540   5500 |        0 |        0
1665.40/1665.92	c 1665s |      25 |  5637734 |  5538098 |     2540   5506 |        0 |        0
1667.40/1667.94	c 1667s |      25 |  5644475 |  5544698 |     2540   5511 |        0 |        0
1669.41/1669.98	c 1669s |      25 |  5651150 |  5551298 |     2540   5516 |        0 |        0
1671.51/1672.02	c 1672s |      25 |  5657557 |  5557598 |     2540   5520 |        0 |        0
1673.50/1674.04	c 1674s |      25 |  5664119 |  5563998 |     2540   5525 |        0 |        0
1675.50/1676.04	c 1676s |      25 |  5670500 |  5570298 |     2540   5530 |        0 |        0
1677.50/1678.07	c 1678s |      25 |  5677228 |  5576898 |     2540   5535 |        0 |        0
1679.50/1680.08	c 1680s |      25 |  5683928 |  5583498 |     2540   5540 |        0 |        0
1681.51/1682.08	c 1682s |      25 |  5690428 |  5589798 |     2540   5545 |        0 |        0
1683.50/1684.09	c 1684s |      25 |  5697000 |  5596298 |     2540   5550 |        0 |        0
1685.60/1686.11	c 1686s |      25 |  5703590 |  5602798 |     2540   5554 |        0 |        0
1687.60/1688.12	c 1688s |      25 |  5709987 |  5609098 |     2540   5559 |        0 |        0
1689.60/1690.15	c 1690s |      25 |  5716493 |  5615498 |     2540   5564 |        0 |        0
1691.60/1692.16	c 1692s |      25 |  5722895 |  5621798 |     2540   5569 |        0 |        0
1693.70/1694.20	c 1694s |      25 |  5729255 |  5628098 |     2540   5574 |        0 |        0
1695.70/1696.23	c 1696s |      25 |  5735808 |  5634498 |     2540   5578 |        0 |        0
1697.69/1698.24	c 1698s |      25 |  5742202 |  5640798 |     2540   5583 |        0 |        0
1699.69/1700.27	c 1700s |      25 |  5748709 |  5647198 |     2540   5588 |        0 |        0
1701.69/1702.29	c 1702s |      25 |  5755125 |  5653498 |     2540   5593 |        0 |        0
1703.69/1704.29	c 1704s |      25 |  5761665 |  5659898 |     2540   5598 |        0 |        0
1705.79/1706.30	c 1706s |      25 |  5768017 |  5666098 |     2540   5602 |        0 |        0
1707.80/1708.31	c 1708s |      25 |  5774308 |  5672298 |     2540   5607 |        0 |        0
1709.79/1710.32	c 1710s |      25 |  5780507 |  5678398 |     2540   5612 |        0 |        0
1711.79/1712.33	c 1712s |      25 |  5787385 |  5685098 |     2540   5617 |        0 |        0
1713.79/1714.36	c 1714s |      25 |  5794214 |  5691798 |     2540   5622 |        0 |        0
1715.79/1716.38	c 1716s |      25 |  5801043 |  5698398 |     2540   5627 |        0 |        0
1717.89/1718.41	c 1718s |      25 |  5807775 |  5704898 |     2540   5632 |        0 |        0
1719.89/1720.44	c 1720s |      25 |  5814476 |  5711498 |     2540   5637 |        0 |        0
1721.89/1722.46	c 1722s |      25 |  5821162 |  5717998 |     2540   5641 |        0 |        0
1723.89/1724.48	c 1724s |      25 |  5827865 |  5724598 |     2540   5646 |        0 |        0
1725.89/1726.48	c 1726s |      25 |  5834613 |  5731198 |     2540   5651 |        0 |        0
1727.89/1728.49	c 1728s |      25 |  5841354 |  5737798 |     2540   5656 |        0 |        0
1729.99/1730.51	c 1730s |      25 |  5847722 |  5743998 |     2540   5661 |        0 |        0
1731.99/1732.52	c 1732s |      25 |  5854177 |  5750298 |     2540   5666 |        0 |        0
1733.99/1734.55	c 1734s |      25 |  5860637 |  5756598 |     2540   5671 |        0 |        0
1735.99/1736.59	c 1736s |      25 |  5867331 |  5763098 |     2540   5676 |        0 |        0
1738.08/1738.61	c 1738s |      25 |  5873879 |  5769498 |     2540   5680 |        0 |        0
1740.08/1740.62	c 1740s |      25 |  5880407 |  5775898 |     2540   5685 |        0 |        0
1742.08/1742.64	c 1742s |      25 |  5886926 |  5782298 |     2540   5690 |        0 |        0
1744.09/1744.66	c 1744s |      25 |  5893492 |  5788698 |     2540   5695 |        0 |        0
1746.08/1746.67	c 1746s |      25 |  5899920 |  5794998 |     2540   5700 |        0 |        0
1748.18/1748.70	c 1748s |      25 |  5906251 |  5801198 |     2540   5704 |        0 |        0
1750.18/1750.72	c 1750s |      25 |  5912941 |  5807698 |     2540   5709 |        0 |        0
1752.18/1752.73	c 1752s |      25 |  5919524 |  5814098 |     2540   5714 |        0 |        0
1754.18/1754.76	c 1754s |      25 |  5925746 |  5820198 |     2540   5719 |        0 |        0
1756.19/1756.77	c 1756s |      25 |  5932057 |  5826298 |     2540   5723 |        0 |        0
1758.18/1758.79	c 1758s |      25 |  5938461 |  5832598 |     2540   5728 |        0 |        0
1760.28/1760.82	c 1760s |      25 |  5944762 |  5838798 |     2540   5733 |        0 |        0
1762.28/1762.84	c 1762s |      25 |  5950984 |  5844798 |     2540   5737 |        0 |        0
1764.28/1764.86	c 1764s |      25 |  5957278 |  5850998 |     2540   5742 |        0 |        0
1766.28/1766.87	c 1766s |      25 |  5963272 |  5856898 |     2540   5746 |        0 |        0
1768.29/1768.89	c 1768s |      25 |  5970495 |  5863898 |     2540   5752 |        0 |        0
1770.38/1770.91	c 1770s |      25 |  5977530 |  5870798 |     2540   5757 |        0 |        0
1772.38/1772.92	c 1772s |      25 |  5984348 |  5877498 |     2540   5762 |        0 |        0
1774.38/1774.94	c 1774s |      25 |  5991137 |  5884098 |     2540   5767 |        0 |        0
1776.38/1776.94	c 1776s |      25 |  5997914 |  5890698 |     2540   5772 |        0 |        0
1778.38/1778.95	c 1778s |      25 |  6004361 |  5896898 |     2540   5777 |        0 |        0
1780.38/1780.96	c 1780s |      25 |  6010954 |  5903298 |     2540   5782 |        0 |        0
1782.38/1782.98	c 1782s |      25 |  6017752 |  5909998 |     2540   5787 |        0 |        0
1784.48/1785.01	c 1784s |      25 |  6024490 |  5916598 |     2540   5792 |        0 |        0
1786.48/1787.03	c 1787s |      25 |  6031220 |  5923098 |     2540   5796 |        0 |        0
1788.48/1789.04	c 1789s |      25 |  6037787 |  5929498 |     2540   5801 |        0 |        0
1790.48/1791.05	c 1791s |      25 |  6044286 |  5935898 |     2540   5806 |        0 |        0
1792.48/1793.07	c 1793s |      25 |  6050853 |  5942298 |     2540   5811 |        0 |        0
1794.48/1795.07	c 1795s |      25 |  6057228 |  5948498 |     2540   5816 |        0 |        0
1796.48/1797.09	c 1797s |      25 |  6063855 |  5954998 |     2540   5821 |        0 |        0
1798.58/1799.10	c 1799s |      25 |  6070580 |  5961598 |     2540   5826 |        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-4089379-1466026356/watcher-4089379-1466026356 -o /tmp/evaluation-result-4089379-1466026356/solver-4089379-1466026356 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089379-1466026356.opb 

pid=8283
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.96 2.06 2.08 2/179 8286
/proc/meminfo: memFree=30450576/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=712260 CPUtime=0 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 4681014 729354240 3016 33554432000 4194304 16246674 140733951604688 140733951604112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 178577 3024 442 2943 0 175471 0
[pid=8286/tid=8287] ppid=8283 vsize=729668 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 747180032 3085 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=733764 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 751374336 3102 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=737860 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4681014 755568640 3119 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 1.96 2.06 2.08 2/179 8286
/proc/meminfo: memFree=30450576/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 30104 0 0 0 5 4 0 0 20 0 4 0 4681014 1247350784 30453 33554432000 4194304 16246674 140733951604688 140733951604112 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 304529 30464 705 2943 0 301423 0
[pid=8286/tid=8287] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 30474 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 30484 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 30495 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200554 s]
/proc/loadavg: 1.96 2.06 2.08 2/179 8286
/proc/meminfo: memFree=30450576/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 60199 0 0 0 10 9 0 0 20 0 4 0 4681014 1247350784 60548 33554432000 4194304 16246674 140733951604688 140733951604112 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 304529 60562 712 2943 0 301423 0
[pid=8286/tid=8287] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 60571 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 60582 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 60586 33554432000 4194304 16246674 140733951604688 140569504369840 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.300522 s]
/proc/loadavg: 1.96 2.06 2.08 2/179 8286
/proc/meminfo: memFree=30450576/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 89716 0 0 0 16 13 0 0 20 0 4 0 4681014 1247350784 90065 33554432000 4194304 16246674 140733951604688 140733951604112 13192029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 304529 90079 712 2943 0 301423 0
[pid=8286/tid=8287] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 90086 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 90091 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 90096 33554432000 4194304 16246674 140733951604688 140569504369840 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.700423 s]
/proc/loadavg: 1.96 2.06 2.08 2/179 8286
/proc/meminfo: memFree=30450576/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 209716 0 0 0 40 29 0 0 20 0 4 0 4681014 1247350784 210065 33554432000 4194304 16246674 140733951604688 140733951586560 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 304529 210077 712 2943 0 301423 0
[pid=8286/tid=8287] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 210082 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 210092 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4681014 1247350784 210102 33554432000 4194304 16246674 140733951604688 140569504369840 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.50042 s]
/proc/loadavg: 1.96 2.06 2.08 4/183 8290
/proc/meminfo: memFree=29466424/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267042 0 0 0 113 36 0 0 20 0 4 0 4681014 1335431168 267371 33554432000 4194304 16246674 140733951604688 140733951604000 5546005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 326033 267371 790 2943 0 322927 0
[pid=8286/tid=8287] ppid=8283 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1335431168 267371 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1335431168 267371 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1335431168 267371 33554432000 4194304 16246674 140733951604688 140569504369840 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) 1304132

[startup+3.10042 s]
/proc/loadavg: 1.96 2.06 2.08 3/183 8290
/proc/meminfo: memFree=29379732/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267576 0 0 0 272 36 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140733951586560 5707816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 326545 267905 792 2943 0 323439 0
[pid=8286/tid=8287] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.97 2.06 2.08 3/183 8290
/proc/meminfo: memFree=29379312/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267576 0 0 0 592 36 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140733951586560 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 326545 267905 792 2943 0 323439 0
[pid=8286/tid=8287] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1337528320 267905 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.97 2.06 2.08 4/184 8291
/proc/meminfo: memFree=29379252/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267676 0 0 0 1232 36 0 0 20 0 4 0 4681014 1338576896 268005 33554432000 4194304 16246674 140733951604688 140733951586560 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 326801 268005 792 2943 0 323695 0
[pid=8286/tid=8287] ppid=8283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1338576896 268005 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1338576896 268005 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1338576896 268005 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.98 2.06 2.08 4/184 8291
/proc/meminfo: memFree=29376336/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267856 0 0 0 2512 37 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140733951586560 6020698 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 327057 268185 792 2943 0 323951 0
[pid=8286/tid=8287] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1006 s]
/proc/loadavg: 1.98 2.05 2.07 3/184 8291
/proc/meminfo: memFree=29376444/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267856 0 0 0 5071 37 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140733951586560 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 327057 268185 792 2943 0 323951 0
[pid=8286/tid=8287] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268185 33554432000 4194304 16246674 140733951604688 140569504369840 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) 1308228

[startup+102.301 s]
/proc/loadavg: 2.04 2.06 2.07 4/183 8293
/proc/meminfo: memFree=29375544/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 267857 0 0 0 10191 37 0 0 20 0 4 0 4681014 1339625472 268186 33554432000 4194304 16246674 140733951604688 140733951586560 12479221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 327057 268186 793 2943 0 323951 0
[pid=8286/tid=8287] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268186 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268186 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1339625472 268186 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.03 4/183 8334
/proc/meminfo: memFree=29360504/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1301.87 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270532 0 0 0 130138 49 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951587688 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 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) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.03 4/183 8336
/proc/meminfo: memFree=29357548/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1361.84 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 136135 49 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951602496 5721579 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/183 8337
/proc/meminfo: memFree=29356756/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1421.84 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 142134 50 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 13191516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/183 8338
/proc/meminfo: memFree=29356744/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1481.82 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 148132 50 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.10 2.04 2.02 4/183 8339
/proc/meminfo: memFree=29354744/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1541.83 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 154132 51 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/183 8340
/proc/meminfo: memFree=29354476/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1601.8 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 160129 51 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 5553792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/184 8443
/proc/meminfo: memFree=29366044/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1661.8 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 166128 52 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 5664803 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.21 2.10 2.03 3/184 8467
/proc/meminfo: memFree=29366492/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1721.79 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 172127 52 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.03 4/183 8468
/proc/meminfo: memFree=29366120/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1781.78 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 178126 52 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.10 2.04 3/183 8468
/proc/meminfo: memFree=29365756/32872528 swapFree=496356/529060
[pid=8286] ppid=8283 vsize=1316420 CPUtime=1800.08 cores=0,2,4,6
/proc/8286/stat : 8286 (toysat) R 8283 8286 5955 0 -1 4202496 270560 0 0 0 179956 52 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140733951586560 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8286/statm: 329105 270470 794 2943 0 325999 0
[pid=8286/tid=8287] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8287/stat : 8287 (toysat) S 8283 8286 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569525333232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8286/tid=8288] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8288/stat : 8288 (toysat) S 8283 8286 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569514843376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8286/tid=8289] ppid=8283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8286/task/8289/stat : 8289 (toysat) S 8283 8286 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4681014 1348014080 270470 33554432000 4194304 16246674 140733951604688 140569504369840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1316420

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.56
CPU system time (s): 0.52492
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.52492
maximum resident set size= 1081880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270560
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= 434
involuntary context switches= 1991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91349 second user time and 17.9243 second system time

The end

Begin job on node141 at 2016-06-15 23:32:36
IDJOB=4089379
IDBENCH=107398
IDSOLVER=2542
FILE ID=node141/4089379-1466026356
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 4070b840716bd281122102a373651f1b
RANDOM SEED=611452694

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30451468 kB
Buffers:           31436 kB
Cached:            76280 kB
SwapCached:        13072 kB
Active:          1133616 kB
Inactive:          57356 kB
Active(anon):    1073596 kB
Inactive(anon):    12008 kB
Active(file):      60020 kB
Inactive(file):    45348 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1602560 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             567340 kB
SReclaimable:      10992 kB
SUnreclaim:       556348 kB
KernelStack:        1520 kB
PageTables:         7372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71716 MiB
End job on node141 at 2016-06-16 00:02:37