0.00/0.00	c 2016-06-16T01:49:32+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-4089855-1466034572.opb"]
0.00/0.02	c use --random-gen="1266911181 1901955262 389921003 1231976455 303271786 1495405843 2733403486 1306217707 3797703075 4016914641 479973186 3765616426 3684692470 2367178852 3134323561 4104090639 1536022216 407442352 3959883567 1043090858 950946214 4125773508 3960030436 253812503 1664867610 727097761 844763230 202698853 1772875113 340596148 2887815030 1694625301 4246118072 4171106144 3626416929 1326455919 694945107 2926132781 1634909295 441984655 2322099617 1820338645 4249382242 3872429165 457242026 791976858 1750732747 2921685295 1628772215 1391794292 3038745736 1692404553 3895904173 526334151 3055412452 3090352524 1851821204 4110463924 3362253098 3905108795 991699417 4286513642 787190999 244447434 1710945271 3910421863 4149817271 2297340803 25875628 2862133484 1123307996 3068387102 321426956 376269582 823660508 872941482 1990617860 124359220 608226911 90458342 3520315087 1142494836 28257481 2150102886 4236991586 2400855059 1677067703 3173908715 3697769607 2326311484 3847910450 2510308802 1953236686 3356955204 2747944725 4179281668 2922120156 2372494799 3356486493 3462363810 1541753526 3241315282 2835593787 3899459885 2770012124 3319357127 261531228 2368007274 1922106152 3039691465 488916496 2065282849 4077927009 1939346418 1651118628 2559430137 2892605310 3724781618 2092456291 4029977360 1658145455 341019834 2124519587 2252323678 330400267 129116168 2541014178 2764553648 1148703091 591397957 2162204357 1376243889 1071685004 4066949511 1952512045 2747387968 2987387500 2344933540 112272389 1133176881 2518763192 738592145 332630630 3412695197 2386667640 4269887190 3363402021 2406420593 1349614300 2265253315 447250954 2821424849 3931747969 3952346895 2167302291 4155861310 3360107842 287394 1350159730 3555958296 3737872272 2844183723 800789845 3232189517 494647538 2682543565 1663508033 3957781131 2309067797 2345398525 1580372157 1599293540 931753897 827037477 3414877448 1943602826 2878970119 1155873341 3712027598 3790497235 1762376499 466361633 2929813028 841578343 2675637170 3415572806 1742881299 3459546301 3027317615 1030369590 756264481 3264945598 1143394878 768018009 1100200173 335953497 2354736689 517862251 2802465158 4192547065 3337307855 2746093945 3208745130 2655568114 1426081514 135401556 4054729072 2215739974 60598156 4263451704 2983812699 4051376758 1252728855 913335108 1052761128 2533542030 184890224 2566383793 1378269036 3582195229 3843533905 914819737 145884409 2242302389 3731135072 1308435490 1663914919 56212615 3296061312 3489114482 3000706057 2780587469 147664042 2474254789 2793868700 2956046565 2473018872 254262907 1497719616 3771959127 4110135994 2262029742 647127657 2360875626 1203267772 3295027839 1094918391 3440481497 1130777775 4263729700 761404282 1656607581 1360638316 3917926536 3854523565 2622966940 255 362436" option to reproduce the execution
0.00/0.02	c #vars 333
0.00/0.02	c #constraints 111
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      185      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      146 |      100 |      185      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      448 |      250 |      204      0 |        0 |        0
0.08/0.14	c  0.1s |       3 |      810 |      475 |      225      1 |        0 |        0
0.18/0.24	c  0.2s |       4 |     1322 |      813 |      248      2 |        0 |        0
0.38/0.43	c  0.4s |       5 |     2002 |     1320 |      273      5 |        0 |        0
0.58/0.66	c  0.6s |       6 |     3026 |     2081 |      332      8 |        0 |        0
0.88/0.96	c  0.9s |       7 |     4411 |     3223 |      366     12 |        0 |        0
1.28/1.32	c  1.3s |       8 |     6441 |     4936 |      403     18 |        0 |        0
1.88/1.91	c  1.9s |       9 |     9608 |     7506 |      444     25 |        0 |        0
2.78/2.82	c  2.8s |      10 |    13971 |    11361 |      489     36 |        0 |        0
4.18/4.27	c  4.2s |      11 |    20577 |    17144 |      538     52 |        0 |        0
6.18/6.28	c  6.3s |      11 |    29924 |    25444 |      538     73 |        0 |        0
6.28/6.38	c  6.4s |      12 |    30348 |    25819 |      592     74 |        0 |        0
8.28/8.38	c  8.4s |      12 |    39135 |    33619 |      592     93 |        0 |        0
9.68/9.78	c  9.8s |      13 |    44818 |    38832 |      652    105 |        0 |        0
11.78/11.81	c 11.8s |      13 |    54780 |    47532 |      652    125 |        0 |        0
13.78/13.82	c 13.8s |      13 |    63912 |    55732 |      652    143 |        0 |        0
14.39/14.44	c 14.4s |      14 |    66877 |    58352 |      718    149 |        0 |        0
16.38/16.45	c 16.4s |      14 |    76025 |    66452 |      718    166 |        0 |        0
18.38/18.48	c 18.5s |      14 |    84401 |    74152 |      718    183 |        0 |        0
20.38/20.48	c 20.5s |      14 |    91927 |    81152 |      718    197 |        0 |        0
22.38/22.40	c 22.4s |      15 |    98791 |    87632 |      790    211 |        0 |        0
24.38/24.40	c 24.4s |      15 |   106390 |    94432 |      790    224 |        0 |        0
26.38/26.40	c 26.4s |      15 |   113957 |   101232 |      790    237 |        0 |        0
28.38/28.43	c 28.4s |      15 |   120950 |   107732 |      790    250 |        0 |        0
30.38/30.44	c 30.4s |      15 |   128191 |   114332 |      790    263 |        0 |        0
32.37/32.44	c 32.4s |      15 |   135291 |   120932 |      790    276 |        0 |        0
34.37/34.45	c 34.4s |      15 |   142659 |   127632 |      790    289 |        0 |        0
35.67/35.75	c 35.7s |      16 |   146883 |   131552 |      870    296 |        0 |        0
37.67/37.75	c 37.7s |      16 |   155292 |   139252 |      870    310 |        0 |        0
39.68/39.78	c 39.8s |      16 |   163595 |   146852 |      870    324 |        0 |        0
41.67/41.79	c 41.8s |      16 |   172006 |   154552 |      870    337 |        0 |        0
43.78/43.81	c 43.8s |      16 |   179335 |   161352 |      870    349 |        0 |        0
45.78/45.85	c 45.8s |      16 |   186058 |   167552 |      870    361 |        0 |        0
47.78/47.88	c 47.9s |      16 |   192081 |   173252 |      870    371 |        0 |        0
49.88/49.91	c 49.9s |      16 |   199093 |   179752 |      870    382 |        0 |        0
51.88/51.93	c 51.9s |      16 |   206301 |   186452 |      870    395 |        0 |        0
53.88/53.94	c 53.9s |      16 |   213016 |   192752 |      870    406 |        0 |        0
55.38/55.47	c 55.4s |      17 |   218059 |   197432 |      958    414 |        0 |        0
57.38/57.49	c 57.5s |      17 |   226553 |   205232 |      958    427 |        0 |        0
59.38/59.49	c 59.5s |      17 |   234630 |   212732 |      958    439 |        0 |        0
61.47/61.50	c 61.5s |      17 |   242380 |   219932 |      958    451 |        0 |        0
63.47/63.53	c 63.5s |      17 |   250070 |   227132 |      958    462 |        0 |        0
65.47/65.56	c 65.5s |      17 |   256360 |   233132 |      958    472 |        0 |        0
67.47/67.59	c 67.6s |      17 |   262416 |   238832 |      958    482 |        0 |        0
69.57/69.63	c 69.6s |      17 |   268995 |   244932 |      958    492 |        0 |        0
71.58/71.64	c 71.6s |      17 |   275666 |   251132 |      958    502 |        0 |        0
73.57/73.65	c 73.6s |      17 |   281775 |   256832 |      958    511 |        0 |        0
75.57/75.68	c 75.7s |      17 |   288462 |   263032 |      958    521 |        0 |        0
77.67/77.71	c 77.7s |      17 |   295846 |   269632 |      958    532 |        0 |        0
79.67/79.72	c 79.7s |      17 |   302798 |   275832 |      958    542 |        0 |        0
81.67/81.72	c 81.7s |      17 |   309239 |   281732 |      958    552 |        0 |        0
83.67/83.73	c 83.7s |      17 |   316219 |   288232 |      958    563 |        0 |        0
85.67/85.75	c 85.7s |      17 |   322897 |   294432 |     1054    573 |        0 |        0
86.37/86.41	c 86.4s |      18 |   324834 |   296252 |     1054    576 |        0 |        0
88.37/88.43	c 88.4s |      18 |   333277 |   303652 |     1054    587 |        0 |        0
90.37/90.46	c 90.4s |      18 |   340184 |   309752 |     1054    597 |        0 |        0
92.37/92.47	c 92.4s |      18 |   346131 |   315152 |     1054    606 |        0 |        0
94.36/94.49	c 94.5s |      18 |   352113 |   320552 |     1054    614 |        0 |        0
96.46/96.50	c 96.5s |      18 |   358487 |   326252 |     1054    623 |        0 |        0
98.46/98.53	c 98.5s |      18 |   364596 |   331852 |     1054    632 |        0 |        0
100.46/100.57	c  100s |      18 |   370956 |   337552 |     1054    641 |        0 |        0
102.46/102.59	c  102s |      18 |   377359 |   343352 |     1054    651 |        0 |        0
104.57/104.63	c  104s |      18 |   382807 |   348352 |     1054    659 |        0 |        0
106.56/106.66	c  106s |      18 |   388009 |   353152 |     1054    666 |        0 |        0
108.56/108.68	c  108s |      18 |   393972 |   358452 |     1054    675 |        0 |        0
110.66/110.71	c  110s |      18 |   399843 |   363652 |     1054    683 |        0 |        0
112.66/112.75	c  112s |      18 |   405805 |   369052 |     1054    692 |        0 |        0
114.66/114.78	c  114s |      18 |   411494 |   374352 |     1054    700 |        0 |        0
116.76/116.80	c  116s |      18 |   417184 |   379652 |     1054    709 |        0 |        0
118.77/118.84	c  118s |      18 |   422968 |   384952 |     1054    717 |        0 |        0
120.76/120.86	c  120s |      18 |   428999 |   390252 |     1054    726 |        0 |        0
122.76/122.88	c  122s |      18 |   435016 |   395652 |     1054    734 |        0 |        0
124.86/124.90	c  124s |      18 |   440746 |   400752 |     1054    742 |        0 |        0
126.86/126.94	c  126s |      18 |   445946 |   405452 |     1054    750 |        0 |        0
128.87/128.94	c  128s |      18 |   450546 |   409652 |     1054    757 |        0 |        0
130.87/130.95	c  130s |      18 |   456327 |   414852 |     1054    765 |        0 |        0
132.87/132.96	c  132s |      18 |   462026 |   419952 |     1054    773 |        0 |        0
134.86/134.98	c  134s |      18 |   467501 |   424852 |     1054    781 |        0 |        0
136.86/136.99	c  136s |      18 |   472963 |   429752 |     1054    788 |        0 |        0
138.96/139.02	c  138s |      18 |   478988 |   435152 |     1054    797 |        0 |        0
140.96/141.03	c  141s |      18 |   484536 |   440152 |     1054    805 |        0 |        0
142.66/142.76	c  142s |      19 |   489568 |   444482 |     1160    811 |        0 |        0
144.66/144.77	c  144s |      19 |   496550 |   450282 |     1160    820 |        0 |        0
146.66/146.78	c  146s |      19 |   502567 |   455682 |     1160    828 |        0 |        0
148.66/148.79	c  148s |      19 |   508945 |   461382 |     1160    836 |        0 |        0
150.77/150.81	c  150s |      19 |   515171 |   466982 |     1160    845 |        0 |        0
152.76/152.82	c  152s |      19 |   520834 |   472282 |     1160    852 |        0 |        0
154.76/154.84	c  154s |      19 |   526392 |   477482 |     1160    860 |        0 |        0
156.76/156.85	c  156s |      19 |   532078 |   482682 |     1160    868 |        0 |        0
158.76/158.86	c  158s |      19 |   537650 |   487782 |     1160    875 |        0 |        0
160.76/160.88	c  160s |      19 |   543714 |   493182 |     1160    883 |        0 |        0
162.86/162.91	c  162s |      19 |   549466 |   498482 |     1160    891 |        0 |        0
164.86/164.93	c  164s |      19 |   555338 |   503882 |     1160    899 |        0 |        0
166.86/166.94	c  166s |      19 |   561137 |   509082 |     1160    907 |        0 |        0
168.86/168.94	c  168s |      19 |   567070 |   514482 |     1160    915 |        0 |        0
170.86/170.96	c  170s |      19 |   572796 |   519682 |     1160    922 |        0 |        0
172.85/172.98	c  172s |      19 |   578740 |   524982 |     1160    930 |        0 |        0
174.86/174.98	c  174s |      19 |   584126 |   529982 |     1160    937 |        0 |        0
176.85/176.99	c  176s |      19 |   589505 |   534982 |     1160    945 |        0 |        0
178.95/179.00	c  178s |      19 |   595603 |   540482 |     1160    953 |        0 |        0
180.95/181.03	c  181s |      19 |   601693 |   545882 |     1160    961 |        0 |        0
182.95/183.04	c  183s |      19 |   607313 |   550982 |     1160    968 |        0 |        0
184.95/185.06	c  185s |      19 |   612827 |   555982 |     1160    976 |        0 |        0
186.96/187.09	c  187s |      19 |   618089 |   560882 |     1160    983 |        0 |        0
189.05/189.10	c  189s |      19 |   623375 |   565682 |     1160    990 |        0 |        0
191.05/191.13	c  191s |      19 |   628933 |   570682 |     1160    997 |        0 |        0
193.05/193.15	c  193s |      19 |   634710 |   575982 |     1160   1005 |        0 |        0
195.05/195.17	c  195s |      19 |   640107 |   580882 |     1160   1012 |        0 |        0
197.15/197.21	c  197s |      19 |   645300 |   585682 |     1160   1019 |        0 |        0
199.16/199.25	c  199s |      19 |   650682 |   590582 |     1160   1027 |        0 |        0
201.16/201.28	c  201s |      19 |   656295 |   595682 |     1160   1034 |        0 |        0
203.26/203.30	c  203s |      19 |   661190 |   600182 |     1160   1041 |        0 |        0
205.25/205.33	c  205s |      19 |   666446 |   604982 |     1160   1048 |        0 |        0
207.25/207.35	c  207s |      19 |   671711 |   609882 |     1160   1055 |        0 |        0
209.25/209.36	c  209s |      19 |   676864 |   614582 |     1160   1062 |        0 |        0
211.26/211.38	c  211s |      19 |   681687 |   619082 |     1160   1069 |        0 |        0
213.25/213.40	c  213s |      19 |   686763 |   623782 |     1160   1076 |        0 |        0
215.35/215.40	c  215s |      19 |   691657 |   628282 |     1160   1082 |        0 |        0
217.35/217.43	c  217s |      19 |   697362 |   633582 |     1160   1090 |        0 |        0
219.35/219.47	c  219s |      19 |   702743 |   638582 |     1160   1097 |        0 |        0
221.35/221.50	c  221s |      19 |   707823 |   643282 |     1160   1104 |        0 |        0
223.45/223.52	c  223s |      19 |   713705 |   648782 |     1160   1112 |        0 |        0
225.46/225.53	c  225s |      19 |   719551 |   654282 |     1160   1120 |        0 |        0
227.45/227.57	c  227s |      19 |   725141 |   659482 |     1160   1128 |        0 |        0
229.55/229.60	c  229s |      19 |   730377 |   664382 |     1276   1135 |        0 |        0
230.55/230.65	c  230s |      20 |   733043 |   666827 |     1276   1138 |        0 |        0
232.55/232.69	c  232s |      20 |   739429 |   672327 |     1276   1145 |        0 |        0
234.65/234.70	c  234s |      20 |   745487 |   677627 |     1276   1153 |        0 |        0
236.65/236.73	c  236s |      20 |   751745 |   683127 |     1276   1160 |        0 |        0
238.65/238.75	c  238s |      20 |   757845 |   688427 |     1276   1167 |        0 |        0
240.64/240.77	c  240s |      20 |   763847 |   693527 |     1276   1174 |        0 |        0
242.64/242.79	c  242s |      20 |   769551 |   698627 |     1276   1181 |        0 |        0
244.74/244.80	c  244s |      20 |   774313 |   703027 |     1276   1187 |        0 |        0
246.74/246.80	c  246s |      20 |   780025 |   708127 |     1276   1194 |        0 |        0
248.74/248.84	c  248s |      20 |   785804 |   713327 |     1276   1201 |        0 |        0
250.75/250.85	c  250s |      20 |   791460 |   718427 |     1276   1208 |        0 |        0
252.84/252.90	c  252s |      20 |   796812 |   723327 |     1276   1215 |        0 |        0
254.84/254.90	c  254s |      20 |   802430 |   728327 |     1276   1222 |        0 |        0
256.84/256.90	c  256s |      20 |   807836 |   733227 |     1276   1228 |        0 |        0
258.84/258.92	c  258s |      20 |   813397 |   738227 |     1276   1235 |        0 |        0
260.84/260.93	c  260s |      20 |   818335 |   742727 |     1276   1241 |        0 |        0
262.84/262.94	c  262s |      20 |   823228 |   747027 |     1276   1247 |        0 |        0
264.84/264.98	c  264s |      20 |   828274 |   751527 |     1276   1253 |        0 |        0
266.93/267.01	c  266s |      20 |   833026 |   755927 |     1276   1259 |        0 |        0
268.93/269.04	c  269s |      20 |   838032 |   760327 |     1276   1266 |        0 |        0
270.93/271.04	c  271s |      20 |   843319 |   765027 |     1276   1272 |        0 |        0
272.93/273.07	c  273s |      20 |   848373 |   769627 |     1276   1278 |        0 |        0
274.94/275.08	c  275s |      20 |   853621 |   774127 |     1276   1284 |        0 |        0
277.03/277.12	c  277s |      20 |   859122 |   779127 |     1276   1291 |        0 |        0
279.03/279.16	c  279s |      20 |   864409 |   783927 |     1276   1298 |        0 |        0
281.03/281.19	c  281s |      20 |   869430 |   788427 |     1276   1304 |        0 |        0
283.13/283.22	c  283s |      20 |   874792 |   793327 |     1276   1310 |        0 |        0
285.13/285.25	c  285s |      20 |   880256 |   798127 |     1276   1317 |        0 |        0
287.13/287.27	c  287s |      20 |   885369 |   802727 |     1276   1323 |        0 |        0
289.12/289.28	c  289s |      20 |   891013 |   807927 |     1276   1330 |        0 |        0
291.12/291.29	c  291s |      20 |   897320 |   813527 |     1276   1338 |        0 |        0
293.12/293.29	c  293s |      20 |   902886 |   818427 |     1276   1345 |        0 |        0
295.22/295.30	c  295s |      20 |   908490 |   823527 |     1276   1352 |        0 |        0
297.22/297.32	c  297s |      20 |   914307 |   828627 |     1276   1359 |        0 |        0
299.22/299.33	c  299s |      20 |   920675 |   834227 |     1276   1366 |        0 |        0
301.22/301.34	c  301s |      20 |   927158 |   839927 |     1276   1374 |        0 |        0
303.22/303.35	c  303s |      20 |   933923 |   845827 |     1276   1382 |        0 |        0
305.22/305.36	c  305s |      20 |   940441 |   851427 |     1276   1390 |        0 |        0
307.22/307.37	c  307s |      20 |   946783 |   857027 |     1276   1397 |        0 |        0
309.22/309.39	c  309s |      20 |   952666 |   862327 |     1276   1404 |        0 |        0
311.33/311.41	c  311s |      20 |   958187 |   867227 |     1276   1411 |        0 |        0
313.32/313.41	c  313s |      20 |   963342 |   871927 |     1276   1417 |        0 |        0
315.32/315.44	c  315s |      20 |   968747 |   876827 |     1276   1424 |        0 |        0
317.32/317.46	c  317s |      20 |   974659 |   882327 |     1276   1431 |        0 |        0
319.32/319.48	c  319s |      20 |   980714 |   887727 |     1276   1439 |        0 |        0
321.42/321.52	c  321s |      20 |   986520 |   892927 |     1276   1446 |        0 |        0
323.42/323.54	c  323s |      20 |   991865 |   897827 |     1276   1452 |        0 |        0
325.41/325.58	c  325s |      20 |   997438 |   902927 |     1276   1459 |        0 |        0
327.41/327.59	c  327s |      20 |  1002178 |   907327 |     1276   1465 |        0 |        0
329.51/329.60	c  329s |      20 |  1007304 |   911927 |     1276   1472 |        0 |        0
331.51/331.63	c  331s |      20 |  1012937 |   917127 |     1276   1479 |        0 |        0
333.51/333.67	c  333s |      20 |  1018290 |   922027 |     1276   1485 |        0 |        0
335.52/335.69	c  335s |      20 |  1024350 |   927227 |     1276   1492 |        0 |        0
337.61/337.70	c  337s |      20 |  1031081 |   933027 |     1276   1500 |        0 |        0
339.61/339.72	c  339s |      20 |  1037766 |   938627 |     1276   1508 |        0 |        0
341.60/341.73	c  341s |      20 |  1043849 |   943927 |     1276   1515 |        0 |        0
343.60/343.74	c  343s |      20 |  1049710 |   949027 |     1276   1522 |        0 |        0
345.60/345.74	c  345s |      20 |  1055572 |   954227 |     1276   1529 |        0 |        0
347.61/347.78	c  347s |      20 |  1061418 |   959427 |     1276   1536 |        0 |        0
349.60/349.78	c  349s |      20 |  1066765 |   964327 |     1276   1543 |        0 |        0
351.70/351.81	c  351s |      20 |  1071792 |   968927 |     1276   1549 |        0 |        0
353.70/353.83	c  353s |      20 |  1077148 |   973527 |     1276   1555 |        0 |        0
355.69/355.88	c  355s |      20 |  1082277 |   978127 |     1276   1562 |        0 |        0
357.79/357.91	c  357s |      20 |  1087507 |   982827 |     1276   1568 |        0 |        0
359.79/359.91	c  359s |      20 |  1092943 |   987627 |     1276   1575 |        0 |        0
361.80/361.94	c  361s |      20 |  1097681 |   991927 |     1276   1580 |        0 |        0
363.79/363.99	c  363s |      20 |  1102253 |   996027 |     1404   1585 |        0 |        0
365.89/366.04	c  366s |      20 |  1106566 |   999927 |     1404   1590 |        0 |        0
366.09/366.28	c  366s |      21 |  1107024 |  1000345 |     1404   1591 |        0 |        0
368.09/368.29	c  368s |      21 |  1113656 |  1006445 |     1404   1598 |        0 |        0
370.19/370.32	c  370s |      21 |  1120109 |  1012445 |     1404   1606 |        0 |        0
372.19/372.34	c  372s |      21 |  1126375 |  1018145 |     1404   1613 |        0 |        0
374.19/374.35	c  374s |      21 |  1132016 |  1023345 |     1404   1619 |        0 |        0
376.19/376.36	c  376s |      21 |  1137608 |  1028445 |     1404   1626 |        0 |        0
378.18/378.36	c  378s |      21 |  1143255 |  1033745 |     1404   1632 |        0 |        0
380.18/380.40	c  380s |      21 |  1149212 |  1039345 |     1404   1639 |        0 |        0
382.28/382.40	c  382s |      21 |  1154858 |  1044645 |     1404   1646 |        0 |        0
384.28/384.43	c  384s |      21 |  1161569 |  1050545 |     1404   1653 |        0 |        0
386.27/386.48	c  386s |      21 |  1167368 |  1055745 |     1404   1660 |        0 |        0
388.28/388.48	c  388s |      21 |  1172819 |  1060545 |     1404   1666 |        0 |        0
390.38/390.51	c  390s |      21 |  1178465 |  1065545 |     1404   1672 |        0 |        0
392.37/392.53	c  392s |      21 |  1183680 |  1070345 |     1404   1678 |        0 |        0
394.37/394.56	c  394s |      21 |  1188812 |  1074945 |     1404   1683 |        0 |        0
396.37/396.58	c  396s |      21 |  1194328 |  1079945 |     1404   1690 |        0 |        0
398.47/398.60	c  398s |      21 |  1200331 |  1085245 |     1404   1696 |        0 |        0
400.47/400.60	c  400s |      21 |  1205558 |  1090045 |     1404   1702 |        0 |        0
402.37/402.60	c  402s |      21 |  1210936 |  1094945 |     1404   1708 |        0 |        0
404.47/404.61	c  404s |      21 |  1216384 |  1099845 |     1404   1715 |        0 |        0
406.46/406.64	c  406s |      21 |  1222180 |  1105045 |     1404   1721 |        0 |        0
408.46/408.64	c  408s |      21 |  1227413 |  1109745 |     1404   1727 |        0 |        0
410.46/410.66	c  410s |      21 |  1232484 |  1114245 |     1404   1732 |        0 |        0
412.48/412.68	c  412s |      21 |  1238636 |  1119445 |     1404   1739 |        0 |        0
414.47/414.70	c  414s |      21 |  1243781 |  1124145 |     1404   1745 |        0 |        0
416.56/416.74	c  416s |      21 |  1249294 |  1129145 |     1404   1751 |        0 |        0
418.56/418.75	c  418s |      21 |  1254706 |  1134045 |     1404   1757 |        0 |        0
420.56/420.76	c  420s |      21 |  1259860 |  1138845 |     1404   1763 |        0 |        0
422.56/422.78	c  422s |      21 |  1265587 |  1143845 |     1404   1770 |        0 |        0
424.66/424.82	c  424s |      21 |  1271397 |  1149145 |     1404   1777 |        0 |        0
426.67/426.83	c  426s |      21 |  1277054 |  1154245 |     1404   1783 |        0 |        0
428.66/428.85	c  428s |      21 |  1281919 |  1158645 |     1404   1788 |        0 |        0
430.66/430.88	c  430s |      21 |  1287310 |  1163445 |     1404   1795 |        0 |        0
432.76/432.91	c  432s |      21 |  1292311 |  1167945 |     1404   1800 |        0 |        0
434.76/434.92	c  434s |      21 |  1296796 |  1172045 |     1404   1805 |        0 |        0
436.75/436.94	c  436s |      21 |  1302186 |  1176745 |     1404   1811 |        0 |        0
438.76/438.95	c  438s |      21 |  1307793 |  1181645 |     1404   1817 |        0 |        0
440.75/440.98	c  440s |      21 |  1313383 |  1186645 |     1404   1824 |        0 |        0
442.85/443.02	c  442s |      21 |  1319041 |  1191645 |     1404   1830 |        0 |        0
444.85/445.04	c  445s |      21 |  1324347 |  1196445 |     1404   1836 |        0 |        0
446.85/447.08	c  447s |      21 |  1328968 |  1200645 |     1404   1841 |        0 |        0
448.94/449.12	c  449s |      21 |  1334363 |  1205445 |     1404   1847 |        0 |        0
450.95/451.15	c  451s |      21 |  1340022 |  1210245 |     1404   1853 |        0 |        0
452.94/453.17	c  453s |      21 |  1345273 |  1214845 |     1404   1859 |        0 |        0
454.94/455.18	c  455s |      21 |  1350270 |  1219345 |     1404   1865 |        0 |        0
456.94/457.19	c  457s |      21 |  1355231 |  1223645 |     1404   1870 |        0 |        0
459.04/459.20	c  459s |      21 |  1359914 |  1227845 |     1404   1875 |        0 |        0
461.04/461.22	c  461s |      21 |  1365222 |  1232545 |     1404   1881 |        0 |        0
463.04/463.23	c  463s |      21 |  1370434 |  1237245 |     1404   1887 |        0 |        0
465.04/465.27	c  465s |      21 |  1376014 |  1242145 |     1404   1893 |        0 |        0
467.03/467.29	c  467s |      21 |  1380908 |  1246545 |     1404   1899 |        0 |        0
469.13/469.31	c  469s |      21 |  1385884 |  1251045 |     1404   1904 |        0 |        0
471.13/471.35	c  471s |      21 |  1390728 |  1255345 |     1404   1910 |        0 |        0
473.13/473.35	c  473s |      21 |  1394884 |  1259145 |     1404   1914 |        0 |        0
475.14/475.35	c  475s |      21 |  1399430 |  1263245 |     1404   1920 |        0 |        0
477.13/477.37	c  477s |      21 |  1403763 |  1267245 |     1404   1925 |        0 |        0
479.13/479.38	c  479s |      21 |  1408518 |  1271645 |     1404   1930 |        0 |        0
481.23/481.41	c  481s |      21 |  1413051 |  1275745 |     1404   1935 |        0 |        0
483.23/483.44	c  483s |      21 |  1417603 |  1279845 |     1404   1940 |        0 |        0
485.23/485.44	c  485s |      21 |  1422780 |  1284345 |     1404   1946 |        0 |        0
487.23/487.44	c  487s |      21 |  1427429 |  1288445 |     1404   1951 |        0 |        0
489.22/489.46	c  489s |      21 |  1432190 |  1292645 |     1404   1956 |        0 |        0
491.22/491.48	c  491s |      21 |  1436811 |  1296845 |     1404   1962 |        0 |        0
493.32/493.51	c  493s |      21 |  1441582 |  1301245 |     1404   1967 |        0 |        0
495.32/495.53	c  495s |      21 |  1446322 |  1305545 |     1404   1972 |        0 |        0
497.32/497.54	c  497s |      21 |  1451183 |  1309845 |     1404   1978 |        0 |        0
499.33/499.55	c  499s |      21 |  1456393 |  1314445 |     1404   1984 |        0 |        0
501.32/501.58	c  501s |      21 |  1461570 |  1319145 |     1404   1989 |        0 |        0
503.42/503.60	c  503s |      21 |  1466322 |  1323445 |     1404   1995 |        0 |        0
505.42/505.62	c  505s |      21 |  1471345 |  1327945 |     1404   2000 |        0 |        0
507.41/507.63	c  507s |      21 |  1475698 |  1331945 |     1404   2005 |        0 |        0
509.41/509.68	c  509s |      21 |  1479959 |  1335845 |     1404   2010 |        0 |        0
511.51/511.72	c  511s |      21 |  1484262 |  1339845 |     1404   2015 |        0 |        0
513.52/513.73	c  513s |      21 |  1489267 |  1344345 |     1404   2021 |        0 |        0
515.51/515.77	c  515s |      21 |  1494314 |  1348845 |     1404   2026 |        0 |        0
517.51/517.79	c  517s |      21 |  1499462 |  1353445 |     1404   2032 |        0 |        0
519.61/519.80	c  519s |      21 |  1504315 |  1357845 |     1404   2038 |        0 |        0
521.61/521.83	c  521s |      21 |  1509326 |  1362345 |     1404   2043 |        0 |        0
523.61/523.83	c  523s |      21 |  1514197 |  1366645 |     1404   2049 |        0 |        0
525.61/525.84	c  525s |      21 |  1518950 |  1370845 |     1404   2054 |        0 |        0
527.60/527.85	c  527s |      21 |  1523632 |  1375045 |     1404   2059 |        0 |        0
529.60/529.85	c  529s |      21 |  1528389 |  1379245 |     1404   2064 |        0 |        0
531.60/531.89	c  531s |      21 |  1532907 |  1383345 |     1404   2070 |        0 |        0
533.60/533.89	c  533s |      21 |  1537381 |  1387345 |     1404   2075 |        0 |        0
535.70/535.91	c  535s |      21 |  1542069 |  1391545 |     1404   2080 |        0 |        0
537.71/537.93	c  537s |      21 |  1546398 |  1395545 |     1404   2085 |        0 |        0
539.70/539.97	c  539s |      21 |  1550983 |  1399745 |     1404   2090 |        0 |        0
541.70/541.98	c  541s |      21 |  1556192 |  1404145 |     1404   2096 |        0 |        0
543.80/544.01	c  543s |      21 |  1561343 |  1408745 |     1404   2101 |        0 |        0
545.80/546.01	c  545s |      21 |  1566130 |  1413045 |     1404   2107 |        0 |        0
547.80/548.02	c  547s |      21 |  1571254 |  1417745 |     1404   2112 |        0 |        0
549.81/550.06	c  550s |      21 |  1576233 |  1422245 |     1404   2118 |        0 |        0
551.80/552.09	c  552s |      21 |  1580759 |  1426345 |     1404   2123 |        0 |        0
553.90/554.10	c  554s |      21 |  1585113 |  1430345 |     1404   2128 |        0 |        0
555.90/556.12	c  556s |      21 |  1590010 |  1434845 |     1404   2134 |        0 |        0
557.90/558.17	c  558s |      21 |  1594630 |  1439145 |     1404   2139 |        0 |        0
559.90/560.18	c  560s |      21 |  1599276 |  1443445 |     1404   2144 |        0 |        0
561.90/562.18	c  562s |      21 |  1603599 |  1447445 |     1404   2149 |        0 |        0
563.90/564.18	c  564s |      21 |  1608242 |  1451645 |     1404   2155 |        0 |        0
565.99/566.20	c  566s |      21 |  1613680 |  1456645 |     1404   2161 |        0 |        0
567.99/568.23	c  568s |      21 |  1619052 |  1461445 |     1404   2167 |        0 |        0
569.99/570.23	c  570s |      21 |  1624609 |  1466245 |     1404   2173 |        0 |        0
571.99/572.27	c  572s |      21 |  1629779 |  1470845 |     1404   2178 |        0 |        0
574.10/574.31	c  574s |      21 |  1635196 |  1475645 |     1404   2184 |        0 |        0
576.09/576.33	c  576s |      21 |  1640845 |  1480745 |     1404   2191 |        0 |        0
578.08/578.34	c  578s |      21 |  1646690 |  1486045 |     1404   2197 |        0 |        0
580.08/580.37	c  580s |      21 |  1652201 |  1491045 |     1545   2203 |        0 |        0
582.08/582.39	c  582s |      21 |  1657333 |  1495645 |     1545   2209 |        0 |        0
584.18/584.43	c  584s |      21 |  1662306 |  1500045 |     1545   2214 |        0 |        0
584.38/584.69	c  584s |      22 |  1662952 |  1500622 |     1545   2214 |        0 |        0
586.48/586.70	c  586s |      22 |  1668995 |  1505722 |     1545   2220 |        0 |        0
588.48/588.71	c  588s |      22 |  1674503 |  1510622 |     1545   2226 |        0 |        0
590.49/590.74	c  590s |      22 |  1679974 |  1515522 |     1545   2232 |        0 |        0
592.48/592.75	c  592s |      22 |  1685057 |  1520122 |     1545   2237 |        0 |        0
594.48/594.76	c  594s |      22 |  1689966 |  1524622 |     1545   2242 |        0 |        0
596.47/596.76	c  596s |      22 |  1695172 |  1529422 |     1545   2248 |        0 |        0
598.47/598.78	c  598s |      22 |  1700612 |  1534322 |     1545   2254 |        0 |        0
600.48/600.79	c  600s |      22 |  1705878 |  1539022 |     1545   2259 |        0 |        0
602.58/602.82	c  602s |      22 |  1710998 |  1543622 |     1545   2265 |        0 |        0
604.57/604.86	c  604s |      22 |  1716268 |  1548422 |     1545   2270 |        0 |        0
606.57/606.87	c  606s |      22 |  1721178 |  1552922 |     1545   2275 |        0 |        0
608.66/608.90	c  608s |      22 |  1726280 |  1557522 |     1545   2281 |        0 |        0
610.66/610.92	c  610s |      22 |  1731297 |  1562122 |     1545   2286 |        0 |        0
612.66/612.95	c  612s |      22 |  1736617 |  1566922 |     1545   2292 |        0 |        0
614.67/614.97	c  614s |      22 |  1742037 |  1571822 |     1545   2297 |        0 |        0
616.76/617.00	c  616s |      22 |  1747722 |  1576822 |     1545   2303 |        0 |        0
618.76/619.02	c  618s |      22 |  1753194 |  1581722 |     1545   2309 |        0 |        0
620.76/621.06	c  621s |      22 |  1758502 |  1586522 |     1545   2314 |        0 |        0
622.86/623.10	c  623s |      22 |  1764111 |  1591522 |     1545   2320 |        0 |        0
624.86/625.12	c  625s |      22 |  1770256 |  1596722 |     1545   2326 |        0 |        0
626.86/627.14	c  627s |      22 |  1775953 |  1601622 |     1545   2332 |        0 |        0
628.85/629.15	c  629s |      22 |  1781303 |  1606422 |     1545   2338 |        0 |        0
630.85/631.15	c  631s |      22 |  1786435 |  1611122 |     1545   2343 |        0 |        0
632.85/633.17	c  633s |      22 |  1791213 |  1615422 |     1545   2348 |        0 |        0
634.85/635.17	c  635s |      22 |  1796226 |  1619922 |     1545   2353 |        0 |        0
636.85/637.18	c  637s |      22 |  1801573 |  1624722 |     1545   2359 |        0 |        0
638.85/639.18	c  639s |      22 |  1806795 |  1629422 |     1545   2365 |        0 |        0
640.95/641.21	c  641s |      22 |  1812832 |  1634822 |     1545   2371 |        0 |        0
642.95/643.22	c  643s |      22 |  1818136 |  1639722 |     1545   2377 |        0 |        0
644.96/645.25	c  645s |      22 |  1823831 |  1644822 |     1545   2383 |        0 |        0
646.95/647.28	c  647s |      22 |  1829341 |  1649822 |     1545   2388 |        0 |        0
648.95/649.29	c  649s |      22 |  1834523 |  1654422 |     1545   2394 |        0 |        0
651.06/651.32	c  651s |      22 |  1839875 |  1659122 |     1545   2399 |        0 |        0
653.05/653.34	c  653s |      22 |  1844743 |  1663422 |     1545   2404 |        0 |        0
655.05/655.36	c  655s |      22 |  1849250 |  1667522 |     1545   2409 |        0 |        0
657.05/657.37	c  657s |      22 |  1854310 |  1672122 |     1545   2415 |        0 |        0
659.15/659.41	c  659s |      22 |  1859514 |  1676822 |     1545   2420 |        0 |        0
661.15/661.43	c  661s |      22 |  1864556 |  1681322 |     1545   2425 |        0 |        0
663.15/663.45	c  663s |      22 |  1869366 |  1685622 |     1545   2430 |        0 |        0
665.15/665.48	c  665s |      22 |  1874300 |  1690022 |     1545   2436 |        0 |        0
667.15/667.49	c  667s |      22 |  1879551 |  1694722 |     1545   2441 |        0 |        0
669.25/669.52	c  669s |      22 |  1884765 |  1699322 |     1545   2446 |        0 |        0
671.25/671.54	c  671s |      22 |  1889548 |  1703722 |     1545   2452 |        0 |        0
673.24/673.58	c  673s |      22 |  1894281 |  1708022 |     1545   2457 |        0 |        0
675.34/675.61	c  675s |      22 |  1899487 |  1712722 |     1545   2462 |        0 |        0
677.35/677.62	c  677s |      22 |  1904188 |  1717122 |     1545   2467 |        0 |        0
679.34/679.64	c  679s |      22 |  1909558 |  1722022 |     1545   2473 |        0 |        0
681.34/681.67	c  681s |      22 |  1914586 |  1726722 |     1545   2478 |        0 |        0
683.34/683.69	c  683s |      22 |  1919081 |  1730922 |     1545   2483 |        0 |        0
685.44/685.72	c  685s |      22 |  1923553 |  1735122 |     1545   2488 |        0 |        0
687.43/687.73	c  687s |      22 |  1928167 |  1739422 |     1545   2493 |        0 |        0
689.44/689.77	c  689s |      22 |  1933077 |  1743922 |     1545   2499 |        0 |        0
691.43/691.78	c  691s |      22 |  1938263 |  1748522 |     1545   2504 |        0 |        0
693.53/693.80	c  693s |      22 |  1943319 |  1753222 |     1545   2509 |        0 |        0
695.53/695.83	c  695s |      22 |  1948047 |  1757622 |     1545   2514 |        0 |        0
697.53/697.84	c  697s |      22 |  1952907 |  1762022 |     1545   2520 |        0 |        0
699.53/699.85	c  699s |      22 |  1958499 |  1767022 |     1545   2525 |        0 |        0
701.53/701.88	c  701s |      22 |  1963677 |  1771722 |     1545   2531 |        0 |        0
703.53/703.89	c  703s |      22 |  1969241 |  1776722 |     1545   2536 |        0 |        0
705.62/705.91	c  705s |      22 |  1974733 |  1781722 |     1545   2542 |        0 |        0
707.62/707.93	c  707s |      22 |  1980377 |  1786822 |     1545   2548 |        0 |        0
709.62/709.94	c  709s |      22 |  1985891 |  1791822 |     1545   2554 |        0 |        0
711.62/711.96	c  711s |      22 |  1991579 |  1796822 |     1545   2560 |        0 |        0
713.62/713.98	c  713s |      22 |  1997352 |  1801722 |     1545   2565 |        0 |        0
715.71/716.02	c  715s |      22 |  2003325 |  1806822 |     1545   2571 |        0 |        0
717.71/718.02	c  717s |      22 |  2008878 |  1811822 |     1545   2577 |        0 |        0
719.71/720.05	c  720s |      22 |  2014566 |  1816722 |     1545   2583 |        0 |        0
721.71/722.08	c  722s |      22 |  2019959 |  1821422 |     1545   2588 |        0 |        0
723.71/724.10	c  724s |      22 |  2025031 |  1826022 |     1545   2594 |        0 |        0
725.71/726.10	c  726s |      22 |  2030671 |  1830922 |     1545   2599 |        0 |        0
727.81/728.10	c  728s |      22 |  2036835 |  1836122 |     1545   2605 |        0 |        0
729.81/730.13	c  730s |      22 |  2042433 |  1840922 |     1545   2611 |        0 |        0
731.80/732.13	c  732s |      22 |  2047694 |  1845522 |     1545   2616 |        0 |        0
733.80/734.16	c  734s |      22 |  2053332 |  1850222 |     1545   2622 |        0 |        0
735.80/736.19	c  736s |      22 |  2058632 |  1854922 |     1545   2627 |        0 |        0
737.91/738.24	c  738s |      22 |  2063792 |  1859422 |     1545   2633 |        0 |        0
739.90/740.26	c  740s |      22 |  2068703 |  1863722 |     1545   2637 |        0 |        0
742.00/742.30	c  742s |      22 |  2073652 |  1868122 |     1545   2643 |        0 |        0
744.00/744.34	c  744s |      22 |  2079414 |  1872922 |     1545   2648 |        0 |        0
745.99/746.35	c  746s |      22 |  2085360 |  1878022 |     1545   2654 |        0 |        0
747.99/748.38	c  748s |      22 |  2090826 |  1882522 |     1545   2660 |        0 |        0
750.09/750.42	c  750s |      22 |  2096204 |  1887022 |     1545   2665 |        0 |        0
752.10/752.46	c  752s |      22 |  2101603 |  1891622 |     1545   2670 |        0 |        0
754.10/754.46	c  754s |      22 |  2107816 |  1896722 |     1545   2676 |        0 |        0
756.20/756.50	c  756s |      22 |  2113609 |  1901622 |     1545   2682 |        0 |        0
758.20/758.53	c  758s |      22 |  2118937 |  1906222 |     1545   2687 |        0 |        0
760.20/760.54	c  760s |      22 |  2124847 |  1911222 |     1545   2693 |        0 |        0
762.20/762.55	c  762s |      22 |  2130144 |  1915822 |     1545   2699 |        0 |        0
764.20/764.57	c  764s |      22 |  2136422 |  1920822 |     1545   2704 |        0 |        0
766.19/766.58	c  766s |      22 |  2142181 |  1925722 |     1545   2710 |        0 |        0
768.19/768.58	c  768s |      22 |  2148227 |  1930622 |     1545   2716 |        0 |        0
770.19/770.59	c  770s |      22 |  2153841 |  1935422 |     1545   2721 |        0 |        0
772.19/772.59	c  772s |      22 |  2159958 |  1940522 |     1545   2727 |        0 |        0
774.29/774.60	c  774s |      22 |  2165907 |  1945522 |     1545   2733 |        0 |        0
776.29/776.62	c  776s |      22 |  2171609 |  1950522 |     1545   2739 |        0 |        0
778.28/778.65	c  778s |      22 |  2177848 |  1955722 |     1545   2745 |        0 |        0
780.28/780.68	c  780s |      22 |  2184102 |  1960922 |     1545   2751 |        0 |        0
782.38/782.70	c  782s |      22 |  2190011 |  1965922 |     1545   2757 |        0 |        0
784.38/784.73	c  784s |      22 |  2195403 |  1970722 |     1545   2762 |        0 |        0
786.38/786.74	c  786s |      22 |  2201670 |  1975822 |     1545   2768 |        0 |        0
788.39/788.74	c  788s |      22 |  2207729 |  1980722 |     1545   2774 |        0 |        0
790.38/790.78	c  790s |      22 |  2213405 |  1985422 |     1545   2780 |        0 |        0
792.38/792.79	c  792s |      22 |  2219071 |  1990322 |     1545   2785 |        0 |        0
794.48/794.81	c  794s |      22 |  2224648 |  1995122 |     1545   2791 |        0 |        0
796.47/796.82	c  796s |      22 |  2230272 |  1999922 |     1545   2796 |        0 |        0
798.47/798.86	c  798s |      22 |  2235723 |  2004622 |     1545   2802 |        0 |        0
800.48/800.86	c  800s |      22 |  2241007 |  2009222 |     1545   2807 |        0 |        0
802.57/802.90	c  802s |      22 |  2246721 |  2014122 |     1545   2813 |        0 |        0
804.57/804.92	c  804s |      22 |  2252103 |  2018922 |     1545   2818 |        0 |        0
806.57/806.94	c  806s |      22 |  2257536 |  2023622 |     1545   2824 |        0 |        0
808.57/808.96	c  808s |      22 |  2262713 |  2028122 |     1545   2829 |        0 |        0
810.56/810.97	c  810s |      22 |  2267911 |  2032622 |     1545   2834 |        0 |        0
812.67/813.01	c  812s |      22 |  2273839 |  2037822 |     1545   2841 |        0 |        0
814.66/815.04	c  815s |      22 |  2279549 |  2042922 |     1545   2846 |        0 |        0
816.66/817.07	c  817s |      22 |  2284895 |  2047722 |     1545   2852 |        0 |        0
818.66/819.07	c  819s |      22 |  2291806 |  2053522 |     1545   2859 |        0 |        0
820.66/821.09	c  821s |      22 |  2297954 |  2059022 |     1545   2865 |        0 |        0
822.66/823.09	c  823s |      22 |  2303799 |  2064222 |     1545   2871 |        0 |        0
824.77/825.11	c  825s |      22 |  2309461 |  2069222 |     1545   2877 |        0 |        0
826.76/827.12	c  827s |      22 |  2315050 |  2074122 |     1545   2882 |        0 |        0
828.76/829.15	c  829s |      22 |  2321042 |  2079422 |     1545   2889 |        0 |        0
830.75/831.15	c  831s |      22 |  2326881 |  2084622 |     1545   2895 |        0 |        0
832.75/833.18	c  833s |      22 |  2332891 |  2089922 |     1545   2901 |        0 |        0
834.85/835.21	c  835s |      22 |  2338386 |  2094822 |     1545   2906 |        0 |        0
836.86/837.24	c  837s |      22 |  2343861 |  2099622 |     1545   2912 |        0 |        0
838.85/839.27	c  839s |      22 |  2349228 |  2104422 |     1545   2918 |        0 |        0
840.85/841.28	c  841s |      22 |  2354259 |  2108922 |     1545   2923 |        0 |        0
842.95/843.32	c  843s |      22 |  2359612 |  2113722 |     1545   2928 |        0 |        0
844.95/845.35	c  845s |      22 |  2364920 |  2118422 |     1545   2934 |        0 |        0
846.94/847.36	c  847s |      22 |  2369792 |  2122622 |     1545   2939 |        0 |        0
848.95/849.37	c  849s |      22 |  2374846 |  2127122 |     1545   2944 |        0 |        0
850.94/851.38	c  851s |      22 |  2379882 |  2131522 |     1545   2949 |        0 |        0
853.04/853.41	c  853s |      22 |  2385905 |  2136622 |     1545   2955 |        0 |        0
855.04/855.43	c  855s |      22 |  2392194 |  2142022 |     1545   2961 |        0 |        0
857.04/857.46	c  857s |      22 |  2398040 |  2147022 |     1545   2967 |        0 |        0
859.04/859.46	c  859s |      22 |  2403534 |  2151822 |     1545   2972 |        0 |        0
861.04/861.49	c  861s |      22 |  2409365 |  2156822 |     1545   2978 |        0 |        0
863.04/863.50	c  863s |      22 |  2415323 |  2161922 |     1545   2984 |        0 |        0
865.14/865.52	c  865s |      22 |  2420834 |  2166822 |     1545   2990 |        0 |        0
867.13/867.57	c  867s |      22 |  2426267 |  2171622 |     1545   2996 |        0 |        0
869.13/869.58	c  869s |      22 |  2432247 |  2176722 |     1545   3001 |        0 |        0
871.13/871.58	c  871s |      22 |  2437866 |  2181522 |     1545   3007 |        0 |        0
873.23/873.61	c  873s |      22 |  2443180 |  2186022 |     1545   3012 |        0 |        0
875.24/875.63	c  875s |      22 |  2448609 |  2190722 |     1545   3018 |        0 |        0
877.23/877.64	c  877s |      22 |  2454092 |  2195422 |     1545   3023 |        0 |        0
879.22/879.67	c  879s |      22 |  2459349 |  2200022 |     1545   3029 |        0 |        0
881.33/881.72	c  881s |      22 |  2464558 |  2204722 |     1545   3034 |        0 |        0
883.33/883.76	c  883s |      22 |  2469160 |  2208922 |     1545   3039 |        0 |        0
885.33/885.76	c  885s |      22 |  2474534 |  2213622 |     1545   3044 |        0 |        0
887.33/887.77	c  887s |      22 |  2479755 |  2218122 |     1545   3049 |        0 |        0
889.33/889.78	c  889s |      22 |  2484740 |  2222522 |     1545   3055 |        0 |        0
891.43/891.81	c  891s |      22 |  2489933 |  2227022 |     1545   3060 |        0 |        0
893.43/893.86	c  893s |      22 |  2495427 |  2231822 |     1545   3065 |        0 |        0
895.42/895.88	c  895s |      22 |  2501626 |  2236922 |     1700   3071 |        0 |        0
897.42/897.88	c  897s |      22 |  2507390 |  2241822 |     1700   3076 |        0 |        0
899.53/899.92	c  899s |      22 |  2513521 |  2246922 |     1700   3082 |        0 |        0
901.12/901.57	c  901s |      23 |  2518406 |  2251038 |     1700   3086 |        0 |        0
903.12/903.59	c  903s |      23 |  2525708 |  2256538 |     1700   3092 |        0 |        0
905.22/905.63	c  905s |      23 |  2531314 |  2261638 |     1700   3098 |        0 |        0
907.23/907.66	c  907s |      23 |  2536764 |  2266638 |     1700   3103 |        0 |        0
909.22/909.67	c  909s |      23 |  2542329 |  2271738 |     1700   3108 |        0 |        0
911.32/911.70	c  911s |      23 |  2547669 |  2276738 |     1700   3114 |        0 |        0
913.32/913.71	c  913s |      23 |  2552954 |  2281638 |     1700   3119 |        0 |        0
915.32/915.72	c  915s |      23 |  2558234 |  2286438 |     1700   3124 |        0 |        0
917.31/917.74	c  917s |      23 |  2563457 |  2291238 |     1700   3130 |        0 |        0
919.32/919.76	c  919s |      23 |  2568439 |  2295838 |     1700   3135 |        0 |        0
921.31/921.77	c  921s |      23 |  2573322 |  2300438 |     1700   3139 |        0 |        0
923.41/923.83	c  923s |      23 |  2578313 |  2305138 |     1700   3145 |        0 |        0
925.41/925.83	c  925s |      23 |  2583877 |  2310238 |     1700   3150 |        0 |        0
927.41/927.85	c  927s |      23 |  2588831 |  2314838 |     1700   3155 |        0 |        0
929.41/929.87	c  929s |      23 |  2593973 |  2319538 |     1700   3160 |        0 |        0
931.42/931.89	c  931s |      23 |  2599042 |  2324238 |     1700   3165 |        0 |        0
933.52/933.93	c  933s |      23 |  2604418 |  2329238 |     1700   3171 |        0 |        0
935.51/935.94	c  935s |      23 |  2609673 |  2334138 |     1700   3176 |        0 |        0
937.51/937.94	c  937s |      23 |  2614912 |  2338938 |     1700   3181 |        0 |        0
939.51/939.98	c  939s |      23 |  2620325 |  2343838 |     1700   3186 |        0 |        0
941.61/942.00	c  941s |      23 |  2625364 |  2348438 |     1700   3191 |        0 |        0
943.61/944.01	c  943s |      23 |  2630216 |  2352938 |     1700   3196 |        0 |        0
945.62/946.05	c  946s |      23 |  2635493 |  2357738 |     1700   3201 |        0 |        0
947.61/948.08	c  948s |      23 |  2640950 |  2362838 |     1700   3207 |        0 |        0
949.71/950.12	c  950s |      23 |  2646534 |  2367938 |     1700   3212 |        0 |        0
951.71/952.16	c  952s |      23 |  2651591 |  2372638 |     1700   3217 |        0 |        0
953.71/954.19	c  954s |      23 |  2656354 |  2377038 |     1700   3222 |        0 |        0
955.81/956.23	c  956s |      23 |  2661366 |  2381638 |     1700   3227 |        0 |        0
957.81/958.24	c  958s |      23 |  2666350 |  2386238 |     1700   3232 |        0 |        0
959.81/960.24	c  960s |      23 |  2671561 |  2390838 |     1700   3237 |        0 |        0
961.80/962.30	c  962s |      23 |  2676943 |  2395838 |     1700   3243 |        0 |        0
963.90/964.33	c  964s |      23 |  2682393 |  2400838 |     1700   3248 |        0 |        0
965.90/966.37	c  966s |      23 |  2687974 |  2405938 |     1700   3254 |        0 |        0
968.00/968.41	c  968s |      23 |  2693599 |  2411138 |     1700   3259 |        0 |        0
970.00/970.41	c  970s |      23 |  2698785 |  2415938 |     1700   3264 |        0 |        0
972.01/972.46	c  972s |      23 |  2703850 |  2420638 |     1700   3270 |        0 |        0
974.00/974.49	c  974s |      23 |  2709101 |  2425438 |     1700   3275 |        0 |        0
976.10/976.53	c  976s |      23 |  2714797 |  2430738 |     1700   3280 |        0 |        0
978.10/978.56	c  978s |      23 |  2719933 |  2435538 |     1700   3286 |        0 |        0
980.10/980.56	c  980s |      23 |  2724628 |  2439938 |     1700   3290 |        0 |        0
982.10/982.59	c  982s |      23 |  2729901 |  2444838 |     1700   3296 |        0 |        0
984.21/984.64	c  984s |      23 |  2734680 |  2449338 |     1700   3301 |        0 |        0
986.21/986.65	c  986s |      23 |  2739657 |  2453938 |     1700   3306 |        0 |        0
988.31/988.70	c  988s |      23 |  2744726 |  2458538 |     1700   3311 |        0 |        0
990.31/990.74	c  990s |      23 |  2749524 |  2463038 |     1700   3315 |        0 |        0
992.31/992.76	c  992s |      23 |  2755018 |  2468138 |     1700   3321 |        0 |        0
994.40/994.81	c  994s |      23 |  2760267 |  2473038 |     1700   3326 |        0 |        0
996.40/996.84	c  996s |      23 |  2765386 |  2477738 |     1700   3331 |        0 |        0
998.41/998.87	c  998s |      23 |  2770607 |  2482438 |     1700   3336 |        0 |        0
1000.40/1000.87	c 1000s |      23 |  2775470 |  2486938 |     1700   3341 |        0 |        0
1002.50/1002.91	c 1002s |      23 |  2780755 |  2491738 |     1700   3347 |        0 |        0
1004.50/1004.92	c 1004s |      23 |  2785877 |  2496538 |     1700   3352 |        0 |        0
1006.50/1006.95	c 1006s |      23 |  2791101 |  2501338 |     1700   3357 |        0 |        0
1008.50/1008.97	c 1008s |      23 |  2796434 |  2506238 |     1700   3362 |        0 |        0
1010.61/1011.02	c 1010s |      23 |  2801571 |  2511038 |     1700   3368 |        0 |        0
1012.60/1013.03	c 1013s |      23 |  2806555 |  2515638 |     1700   3373 |        0 |        0
1014.60/1015.04	c 1015s |      23 |  2811732 |  2520438 |     1700   3378 |        0 |        0
1016.60/1017.07	c 1017s |      23 |  2817494 |  2525738 |     1700   3383 |        0 |        0
1018.60/1019.09	c 1019s |      23 |  2822836 |  2530738 |     1700   3389 |        0 |        0
1020.70/1021.11	c 1021s |      23 |  2828357 |  2535838 |     1700   3394 |        0 |        0
1022.70/1023.14	c 1023s |      23 |  2833859 |  2540938 |     1700   3400 |        0 |        0
1024.70/1025.17	c 1025s |      23 |  2839400 |  2546038 |     1700   3406 |        0 |        0
1026.70/1027.19	c 1027s |      23 |  2844822 |  2551038 |     1700   3411 |        0 |        0
1028.80/1029.21	c 1029s |      23 |  2849757 |  2555638 |     1700   3416 |        0 |        0
1030.80/1031.22	c 1031s |      23 |  2854911 |  2560438 |     1700   3421 |        0 |        0
1032.80/1033.23	c 1033s |      23 |  2859823 |  2565038 |     1700   3426 |        0 |        0
1034.80/1035.27	c 1035s |      23 |  2864534 |  2569438 |     1700   3431 |        0 |        0
1036.90/1037.31	c 1037s |      23 |  2869219 |  2573738 |     1700   3436 |        0 |        0
1038.89/1039.37	c 1039s |      23 |  2874112 |  2578238 |     1700   3440 |        0 |        0
1040.89/1041.37	c 1041s |      23 |  2878749 |  2582538 |     1700   3445 |        0 |        0
1042.99/1043.40	c 1043s |      23 |  2884095 |  2587438 |     1700   3450 |        0 |        0
1044.99/1045.41	c 1045s |      23 |  2888682 |  2591738 |     1700   3455 |        0 |        0
1046.99/1047.45	c 1047s |      23 |  2893551 |  2596138 |     1700   3460 |        0 |        0
1049.00/1049.49	c 1049s |      23 |  2899227 |  2601238 |     1700   3465 |        0 |        0
1051.09/1051.51	c 1051s |      23 |  2904320 |  2605838 |     1700   3470 |        0 |        0
1053.09/1053.53	c 1053s |      23 |  2909008 |  2610138 |     1700   3475 |        0 |        0
1055.09/1055.55	c 1055s |      23 |  2914163 |  2614938 |     1700   3480 |        0 |        0
1057.09/1057.55	c 1057s |      23 |  2918751 |  2619238 |     1700   3485 |        0 |        0
1059.09/1059.56	c 1059s |      23 |  2923522 |  2623638 |     1700   3490 |        0 |        0
1061.10/1061.59	c 1061s |      23 |  2928124 |  2627938 |     1700   3494 |        0 |        0
1063.19/1063.60	c 1063s |      23 |  2933700 |  2633038 |     1700   3500 |        0 |        0
1065.19/1065.64	c 1065s |      23 |  2939108 |  2637938 |     1700   3505 |        0 |        0
1067.19/1067.66	c 1067s |      23 |  2943969 |  2642438 |     1700   3510 |        0 |        0
1069.19/1069.67	c 1069s |      23 |  2948881 |  2647038 |     1700   3515 |        0 |        0
1071.29/1071.71	c 1071s |      23 |  2953723 |  2651538 |     1700   3520 |        0 |        0
1073.30/1073.71	c 1073s |      23 |  2958429 |  2655938 |     1700   3525 |        0 |        0
1075.29/1075.77	c 1075s |      23 |  2963371 |  2660438 |     1700   3530 |        0 |        0
1077.29/1077.79	c 1077s |      23 |  2968864 |  2665338 |     1700   3535 |        0 |        0
1079.39/1079.81	c 1079s |      23 |  2974121 |  2670138 |     1700   3540 |        0 |        0
1081.39/1081.84	c 1081s |      23 |  2978896 |  2674538 |     1700   3545 |        0 |        0
1083.39/1083.87	c 1083s |      23 |  2983702 |  2678938 |     1700   3550 |        0 |        0
1085.49/1085.91	c 1085s |      23 |  2988744 |  2683538 |     1700   3555 |        0 |        0
1087.49/1087.94	c 1087s |      23 |  2993812 |  2688138 |     1700   3560 |        0 |        0
1089.49/1089.98	c 1089s |      23 |  2998594 |  2692538 |     1700   3564 |        0 |        0
1091.59/1092.02	c 1091s |      23 |  3003459 |  2696938 |     1700   3569 |        0 |        0
1093.58/1094.04	c 1094s |      23 |  3008264 |  2701338 |     1700   3574 |        0 |        0
1095.58/1096.06	c 1096s |      23 |  3013451 |  2706038 |     1700   3579 |        0 |        0
1097.58/1098.08	c 1098s |      23 |  3018564 |  2710638 |     1700   3584 |        0 |        0
1099.59/1100.09	c 1100s |      23 |  3023585 |  2715238 |     1700   3589 |        0 |        0
1101.68/1102.10	c 1102s |      23 |  3028642 |  2719838 |     1700   3594 |        0 |        0
1103.68/1104.10	c 1104s |      23 |  3034080 |  2724638 |     1700   3599 |        0 |        0
1105.68/1106.11	c 1106s |      23 |  3039166 |  2729238 |     1700   3604 |        0 |        0
1107.68/1108.11	c 1108s |      23 |  3044004 |  2733638 |     1700   3609 |        0 |        0
1109.68/1110.12	c 1110s |      23 |  3048924 |  2738138 |     1700   3614 |        0 |        0
1111.69/1112.15	c 1112s |      23 |  3053814 |  2742538 |     1700   3619 |        0 |        0
1113.68/1114.19	c 1114s |      23 |  3058379 |  2746738 |     1700   3624 |        0 |        0
1115.78/1116.20	c 1116s |      23 |  3063406 |  2751338 |     1700   3629 |        0 |        0
1117.79/1118.24	c 1118s |      23 |  3067985 |  2755538 |     1700   3633 |        0 |        0
1119.79/1120.27	c 1120s |      23 |  3073144 |  2760238 |     1700   3638 |        0 |        0
1121.89/1122.31	c 1122s |      23 |  3078003 |  2764738 |     1700   3643 |        0 |        0
1123.90/1124.31	c 1124s |      23 |  3083285 |  2769638 |     1700   3648 |        0 |        0
1125.89/1126.33	c 1126s |      23 |  3088665 |  2774538 |     1700   3654 |        0 |        0
1127.89/1128.36	c 1128s |      23 |  3094012 |  2779538 |     1700   3659 |        0 |        0
1129.89/1130.38	c 1130s |      23 |  3099387 |  2784538 |     1700   3665 |        0 |        0
1131.89/1132.38	c 1132s |      23 |  3104344 |  2789138 |     1700   3670 |        0 |        0
1133.99/1134.42	c 1134s |      23 |  3109750 |  2794138 |     1700   3675 |        0 |        0
1135.99/1136.42	c 1136s |      23 |  3114987 |  2798938 |     1700   3680 |        0 |        0
1137.99/1138.46	c 1138s |      23 |  3120027 |  2803638 |     1700   3686 |        0 |        0
1139.98/1140.48	c 1140s |      23 |  3125015 |  2808238 |     1700   3691 |        0 |        0
1142.08/1142.51	c 1142s |      23 |  3130339 |  2813138 |     1700   3696 |        0 |        0
1144.08/1144.54	c 1144s |      23 |  3135149 |  2817638 |     1700   3701 |        0 |        0
1146.08/1146.54	c 1146s |      23 |  3140213 |  2822238 |     1700   3706 |        0 |        0
1148.09/1148.57	c 1148s |      23 |  3145149 |  2826738 |     1700   3711 |        0 |        0
1150.08/1150.57	c 1150s |      23 |  3149941 |  2831238 |     1700   3716 |        0 |        0
1152.08/1152.58	c 1152s |      23 |  3154510 |  2835538 |     1700   3720 |        0 |        0
1154.18/1154.65	c 1154s |      23 |  3158729 |  2839438 |     1700   3725 |        0 |        0
1156.18/1156.66	c 1156s |      23 |  3163207 |  2843538 |     1700   3729 |        0 |        0
1158.28/1158.71	c 1158s |      23 |  3167610 |  2847638 |     1700   3733 |        0 |        0
1160.28/1160.72	c 1160s |      23 |  3172945 |  2852338 |     1700   3739 |        0 |        0
1162.29/1162.73	c 1162s |      23 |  3178517 |  2857438 |     1700   3744 |        0 |        0
1164.28/1164.77	c 1164s |      23 |  3184151 |  2862538 |     1700   3750 |        0 |        0
1166.38/1166.80	c 1166s |      23 |  3189911 |  2867738 |     1700   3755 |        0 |        0
1168.38/1168.84	c 1168s |      23 |  3195905 |  2873038 |     1700   3761 |        0 |        0
1170.38/1170.84	c 1170s |      23 |  3201373 |  2878038 |     1700   3767 |        0 |        0
1172.38/1172.84	c 1172s |      23 |  3206997 |  2883138 |     1700   3772 |        0 |        0
1174.39/1174.87	c 1174s |      23 |  3213149 |  2888438 |     1700   3778 |        0 |        0
1176.38/1176.89	c 1176s |      23 |  3219220 |  2893838 |     1700   3784 |        0 |        0
1178.48/1178.92	c 1178s |      23 |  3225250 |  2899238 |     1700   3790 |        0 |        0
1180.48/1180.92	c 1180s |      23 |  3230739 |  2904138 |     1700   3796 |        0 |        0
1182.48/1182.94	c 1182s |      23 |  3236506 |  2909138 |     1700   3801 |        0 |        0
1184.48/1184.97	c 1184s |      23 |  3242144 |  2914138 |     1700   3807 |        0 |        0
1186.48/1187.00	c 1186s |      23 |  3247632 |  2919038 |     1700   3812 |        0 |        0
1188.58/1189.01	c 1188s |      23 |  3252990 |  2923838 |     1700   3817 |        0 |        0
1190.58/1191.03	c 1191s |      23 |  3258501 |  2928738 |     1700   3823 |        0 |        0
1192.58/1193.06	c 1193s |      23 |  3264107 |  2933738 |     1700   3828 |        0 |        0
1194.58/1195.06	c 1195s |      23 |  3269248 |  2938338 |     1700   3833 |        0 |        0
1196.58/1197.08	c 1197s |      23 |  3274183 |  2942838 |     1700   3838 |        0 |        0
1198.68/1199.11	c 1199s |      23 |  3279974 |  2948038 |     1700   3844 |        0 |        0
1200.67/1201.11	c 1201s |      23 |  3285310 |  2952838 |     1700   3849 |        0 |        0
1202.67/1203.16	c 1203s |      23 |  3290811 |  2957738 |     1700   3855 |        0 |        0
1204.77/1205.20	c 1205s |      23 |  3295976 |  2962338 |     1700   3860 |        0 |        0
1206.77/1207.23	c 1207s |      23 |  3301606 |  2967438 |     1700   3865 |        0 |        0
1208.77/1209.25	c 1209s |      23 |  3307358 |  2972638 |     1700   3871 |        0 |        0
1210.87/1211.30	c 1211s |      23 |  3312168 |  2977038 |     1700   3876 |        0 |        0
1212.88/1213.32	c 1213s |      23 |  3317321 |  2981638 |     1700   3881 |        0 |        0
1214.87/1215.35	c 1215s |      23 |  3323189 |  2986738 |     1700   3886 |        0 |        0
1216.87/1217.38	c 1217s |      23 |  3328999 |  2991838 |     1700   3892 |        0 |        0
1218.97/1219.41	c 1219s |      23 |  3334702 |  2996938 |     1700   3898 |        0 |        0
1220.97/1221.44	c 1221s |      23 |  3340614 |  3002138 |     1700   3903 |        0 |        0
1222.97/1223.45	c 1223s |      23 |  3346202 |  3007038 |     1700   3909 |        0 |        0
1224.97/1225.46	c 1225s |      23 |  3351808 |  3012038 |     1700   3914 |        0 |        0
1226.97/1227.49	c 1227s |      23 |  3357309 |  3016938 |     1700   3919 |        0 |        0
1229.07/1229.52	c 1229s |      23 |  3362933 |  3022038 |     1700   3925 |        0 |        0
1231.06/1231.54	c 1231s |      23 |  3368599 |  3027038 |     1700   3931 |        0 |        0
1233.06/1233.58	c 1233s |      23 |  3373891 |  3031738 |     1700   3936 |        0 |        0
1235.16/1235.61	c 1235s |      23 |  3379520 |  3036638 |     1700   3941 |        0 |        0
1237.17/1237.65	c 1237s |      23 |  3385106 |  3041438 |     1700   3946 |        0 |        0
1239.16/1239.66	c 1239s |      23 |  3390780 |  3046438 |     1700   3952 |        0 |        0
1241.16/1241.69	c 1241s |      23 |  3396315 |  3051338 |     1700   3957 |        0 |        0
1243.26/1243.70	c 1243s |      23 |  3401498 |  3055938 |     1700   3962 |        0 |        0
1245.26/1245.72	c 1245s |      23 |  3406858 |  3060638 |     1700   3967 |        0 |        0
1247.26/1247.74	c 1247s |      23 |  3411918 |  3065238 |     1700   3973 |        0 |        0
1249.28/1249.76	c 1249s |      23 |  3417335 |  3070038 |     1700   3978 |        0 |        0
1251.27/1251.79	c 1251s |      23 |  3422567 |  3074738 |     1700   3983 |        0 |        0
1253.37/1253.80	c 1253s |      23 |  3427572 |  3079338 |     1700   3988 |        0 |        0
1255.37/1255.81	c 1255s |      23 |  3432941 |  3084138 |     1700   3993 |        0 |        0
1257.37/1257.82	c 1257s |      23 |  3438206 |  3088838 |     1700   3998 |        0 |        0
1259.37/1259.87	c 1259s |      23 |  3443171 |  3093438 |     1700   4003 |        0 |        0
1261.37/1261.89	c 1261s |      23 |  3447714 |  3097638 |     1700   4008 |        0 |        0
1263.47/1263.92	c 1263s |      23 |  3452188 |  3101738 |     1700   4013 |        0 |        0
1265.47/1265.94	c 1265s |      23 |  3457542 |  3106438 |     1700   4018 |        0 |        0
1267.47/1267.98	c 1267s |      23 |  3463140 |  3111338 |     1700   4023 |        0 |        0
1269.47/1270.00	c 1269s |      23 |  3468991 |  3116438 |     1700   4029 |        0 |        0
1271.56/1272.01	c 1271s |      23 |  3474379 |  3121238 |     1700   4034 |        0 |        0
1273.56/1274.04	c 1274s |      23 |  3479715 |  3126038 |     1700   4039 |        0 |        0
1275.57/1276.08	c 1276s |      23 |  3484643 |  3130538 |     1700   4044 |        0 |        0
1277.66/1278.11	c 1278s |      23 |  3490579 |  3135838 |     1700   4050 |        0 |        0
1279.66/1280.12	c 1280s |      23 |  3496359 |  3140938 |     1700   4056 |        0 |        0
1281.66/1282.13	c 1282s |      23 |  3502029 |  3145938 |     1700   4061 |        0 |        0
1283.66/1284.16	c 1284s |      23 |  3507932 |  3151238 |     1700   4067 |        0 |        0
1285.66/1286.18	c 1286s |      23 |  3513318 |  3156038 |     1700   4072 |        0 |        0
1287.77/1288.21	c 1288s |      23 |  3518764 |  3160738 |     1700   4077 |        0 |        0
1289.76/1290.23	c 1290s |      23 |  3524053 |  3165538 |     1700   4083 |        0 |        0
1291.76/1292.26	c 1292s |      23 |  3529360 |  3170438 |     1700   4088 |        0 |        0
1293.76/1294.29	c 1294s |      23 |  3534888 |  3175338 |     1700   4094 |        0 |        0
1295.86/1296.31	c 1296s |      23 |  3539623 |  3179638 |     1700   4098 |        0 |        0
1297.86/1298.35	c 1298s |      23 |  3544915 |  3184438 |     1700   4103 |        0 |        0
1299.87/1300.38	c 1300s |      23 |  3549640 |  3188738 |     1700   4108 |        0 |        0
1301.86/1302.40	c 1302s |      23 |  3554278 |  3193038 |     1700   4113 |        0 |        0
1303.96/1304.42	c 1304s |      23 |  3559374 |  3197638 |     1700   4118 |        0 |        0
1305.96/1306.43	c 1306s |      23 |  3564610 |  3202338 |     1700   4123 |        0 |        0
1307.96/1308.44	c 1308s |      23 |  3569620 |  3206838 |     1700   4128 |        0 |        0
1309.96/1310.44	c 1310s |      23 |  3574544 |  3211238 |     1700   4133 |        0 |        0
1311.96/1312.45	c 1312s |      23 |  3579328 |  3215538 |     1700   4138 |        0 |        0
1313.96/1314.46	c 1314s |      23 |  3584166 |  3219938 |     1700   4143 |        0 |        0
1316.06/1316.50	c 1316s |      23 |  3589238 |  3224538 |     1700   4148 |        0 |        0
1318.06/1318.53	c 1318s |      23 |  3594951 |  3229638 |     1700   4153 |        0 |        0
1320.06/1320.55	c 1320s |      23 |  3600817 |  3234738 |     1700   4159 |        0 |        0
1322.06/1322.57	c 1322s |      23 |  3606492 |  3239838 |     1700   4164 |        0 |        0
1324.16/1324.61	c 1324s |      23 |  3612263 |  3244938 |     1700   4170 |        0 |        0
1326.16/1326.64	c 1326s |      23 |  3617932 |  3250038 |     1700   4176 |        0 |        0
1328.16/1328.66	c 1328s |      23 |  3623066 |  3254638 |     1700   4181 |        0 |        0
1330.15/1330.69	c 1330s |      23 |  3628074 |  3259138 |     1700   4186 |        0 |        0
1332.15/1332.69	c 1332s |      23 |  3633200 |  3263738 |     1700   4191 |        0 |        0
1334.25/1334.72	c 1334s |      23 |  3638921 |  3268738 |     1700   4196 |        0 |        0
1336.25/1336.74	c 1336s |      23 |  3644398 |  3273538 |     1700   4201 |        0 |        0
1338.26/1338.77	c 1338s |      23 |  3650110 |  3278438 |     1700   4207 |        0 |        0
1340.25/1340.78	c 1340s |      23 |  3655264 |  3283038 |     1700   4212 |        0 |        0
1342.25/1342.78	c 1342s |      23 |  3659997 |  3287338 |     1700   4216 |        0 |        0
1344.35/1344.83	c 1344s |      23 |  3665193 |  3291938 |     1700   4222 |        0 |        0
1346.35/1346.86	c 1346s |      23 |  3670314 |  3296538 |     1700   4227 |        0 |        0
1348.35/1348.86	c 1348s |      23 |  3675384 |  3301038 |     1700   4231 |        0 |        0
1350.36/1350.87	c 1350s |      23 |  3680845 |  3305838 |     1700   4237 |        0 |        0
1352.35/1352.88	c 1352s |      23 |  3685768 |  3310338 |     1700   4242 |        0 |        0
1354.35/1354.88	c 1354s |      23 |  3690792 |  3314738 |     1700   4246 |        0 |        0
1356.35/1356.89	c 1356s |      23 |  3696419 |  3319538 |     1700   4252 |        0 |        0
1358.45/1358.91	c 1358s |      23 |  3701997 |  3324438 |     1700   4257 |        0 |        0
1360.45/1360.93	c 1360s |      23 |  3707846 |  3329538 |     1700   4263 |        0 |        0
1362.45/1362.94	c 1362s |      23 |  3712797 |  3333938 |     1700   4268 |        0 |        0
1364.45/1364.96	c 1364s |      23 |  3718033 |  3338438 |     1700   4273 |        0 |        0
1366.45/1366.98	c 1366s |      23 |  3723697 |  3343338 |     1700   4278 |        0 |        0
1368.55/1369.00	c 1368s |      23 |  3729003 |  3348038 |     1700   4283 |        0 |        0
1370.55/1371.02	c 1370s |      23 |  3734330 |  3352738 |     1871   4288 |        0 |        0
1372.55/1373.06	c 1373s |      23 |  3739291 |  3357238 |     1871   4293 |        0 |        0
1374.55/1375.09	c 1375s |      23 |  3744428 |  3361838 |     1871   4297 |        0 |        0
1376.64/1377.10	c 1377s |      23 |  3749318 |  3366338 |     1871   4302 |        0 |        0
1378.64/1379.14	c 1379s |      23 |  3754565 |  3371038 |     1871   4307 |        0 |        0
1380.64/1381.18	c 1381s |      23 |  3759250 |  3375438 |     1871   4311 |        0 |        0
1381.25/1381.75	c 1381s |      24 |  3760806 |  3376662 |     1871   4312 |        0 |        0
1383.24/1383.79	c 1383s |      24 |  3766888 |  3381962 |     1871   4318 |        0 |        0
1385.34/1385.80	c 1385s |      24 |  3772432 |  3387062 |     1871   4323 |        0 |        0
1387.34/1387.82	c 1387s |      24 |  3777792 |  3391962 |     1871   4328 |        0 |        0
1389.34/1389.85	c 1389s |      24 |  3783122 |  3396862 |     1871   4332 |        0 |        0
1391.34/1391.89	c 1391s |      24 |  3788610 |  3401862 |     1871   4337 |        0 |        0
1393.44/1393.93	c 1393s |      24 |  3793589 |  3406462 |     1871   4342 |        0 |        0
1395.44/1395.93	c 1395s |      24 |  3798470 |  3410962 |     1871   4346 |        0 |        0
1397.44/1397.93	c 1397s |      24 |  3803358 |  3415462 |     1871   4351 |        0 |        0
1399.45/1399.94	c 1399s |      24 |  3808905 |  3420462 |     1871   4356 |        0 |        0
1401.45/1401.96	c 1401s |      24 |  3813986 |  3425162 |     1871   4361 |        0 |        0
1403.45/1403.97	c 1403s |      24 |  3819133 |  3429962 |     1871   4365 |        0 |        0
1405.55/1406.00	c 1405s |      24 |  3824192 |  3434662 |     1871   4370 |        0 |        0
1407.55/1408.04	c 1408s |      24 |  3829784 |  3439762 |     1871   4375 |        0 |        0
1409.54/1410.07	c 1410s |      24 |  3835002 |  3444562 |     1871   4380 |        0 |        0
1411.54/1412.08	c 1412s |      24 |  3839925 |  3449062 |     1871   4384 |        0 |        0
1413.64/1414.10	c 1414s |      24 |  3844516 |  3453262 |     1871   4389 |        0 |        0
1415.64/1416.12	c 1416s |      24 |  3849781 |  3457962 |     1871   4393 |        0 |        0
1417.64/1418.14	c 1418s |      24 |  3854771 |  3462562 |     1871   4398 |        0 |        0
1419.65/1420.19	c 1420s |      24 |  3859761 |  3467162 |     1871   4403 |        0 |        0
1421.74/1422.23	c 1422s |      24 |  3866195 |  3472662 |     1871   4408 |        0 |        0
1423.74/1424.23	c 1424s |      24 |  3872086 |  3477762 |     1871   4413 |        0 |        0
1425.74/1426.24	c 1426s |      24 |  3877393 |  3482562 |     1871   4418 |        0 |        0
1427.74/1428.27	c 1428s |      24 |  3883014 |  3487562 |     1871   4423 |        0 |        0
1429.74/1430.29	c 1430s |      24 |  3889130 |  3492762 |     1871   4428 |        0 |        0
1431.74/1432.30	c 1432s |      24 |  3894546 |  3497662 |     1871   4433 |        0 |        0
1433.84/1434.32	c 1434s |      24 |  3899768 |  3502462 |     1871   4438 |        0 |        0
1435.84/1436.34	c 1436s |      24 |  3905408 |  3507462 |     1871   4443 |        0 |        0
1437.84/1438.37	c 1438s |      24 |  3910573 |  3512062 |     1871   4447 |        0 |        0
1439.84/1440.38	c 1440s |      24 |  3915603 |  3516662 |     1871   4452 |        0 |        0
1441.94/1442.40	c 1442s |      24 |  3920475 |  3521062 |     1871   4456 |        0 |        0
1443.94/1444.42	c 1444s |      24 |  3925832 |  3525962 |     1871   4461 |        0 |        0
1445.94/1446.46	c 1446s |      24 |  3930976 |  3530662 |     1871   4466 |        0 |        0
1447.93/1448.46	c 1448s |      24 |  3935873 |  3535162 |     1871   4470 |        0 |        0
1449.93/1450.49	c 1450s |      24 |  3940858 |  3539662 |     1871   4475 |        0 |        0
1452.03/1452.54	c 1452s |      24 |  3945846 |  3544162 |     1871   4479 |        0 |        0
1454.03/1454.58	c 1454s |      24 |  3951150 |  3548862 |     1871   4484 |        0 |        0
1456.13/1456.61	c 1456s |      24 |  3956106 |  3553362 |     1871   4489 |        0 |        0
1458.14/1458.62	c 1458s |      24 |  3960945 |  3557762 |     1871   4493 |        0 |        0
1460.13/1460.66	c 1460s |      24 |  3965906 |  3562162 |     1871   4497 |        0 |        0
1462.13/1462.68	c 1462s |      24 |  3970767 |  3566562 |     1871   4502 |        0 |        0
1464.23/1464.70	c 1464s |      24 |  3976444 |  3571462 |     1871   4507 |        0 |        0
1466.23/1466.73	c 1466s |      24 |  3981737 |  3576162 |     1871   4511 |        0 |        0
1468.23/1468.77	c 1468s |      24 |  3987000 |  3580862 |     1871   4516 |        0 |        0
1470.24/1470.80	c 1470s |      24 |  3992178 |  3585562 |     1871   4521 |        0 |        0
1472.33/1472.82	c 1472s |      24 |  3997347 |  3590262 |     1871   4525 |        0 |        0
1474.33/1474.82	c 1474s |      24 |  4002210 |  3594762 |     1871   4530 |        0 |        0
1476.33/1476.83	c 1476s |      24 |  4007104 |  3599162 |     1871   4534 |        0 |        0
1478.33/1478.86	c 1478s |      24 |  4011990 |  3603662 |     1871   4539 |        0 |        0
1480.33/1480.89	c 1480s |      24 |  4017007 |  3608262 |     1871   4543 |        0 |        0
1482.44/1482.91	c 1482s |      24 |  4022502 |  3613162 |     1871   4548 |        0 |        0
1484.43/1484.91	c 1484s |      24 |  4028115 |  3618062 |     1871   4553 |        0 |        0
1486.43/1486.93	c 1486s |      24 |  4033843 |  3623062 |     1871   4558 |        0 |        0
1488.43/1488.97	c 1488s |      24 |  4039189 |  3627862 |     1871   4563 |        0 |        0
1490.43/1490.97	c 1490s |      24 |  4044297 |  3632462 |     1871   4568 |        0 |        0
1492.43/1492.98	c 1492s |      24 |  4049287 |  3636962 |     1871   4572 |        0 |        0
1494.53/1495.00	c 1494s |      24 |  4054420 |  3641662 |     1871   4577 |        0 |        0
1496.52/1497.02	c 1496s |      24 |  4059728 |  3646462 |     1871   4582 |        0 |        0
1498.52/1499.04	c 1499s |      24 |  4064828 |  3651162 |     1871   4586 |        0 |        0
1500.52/1501.06	c 1501s |      24 |  4069649 |  3655562 |     1871   4591 |        0 |        0
1502.52/1503.07	c 1503s |      24 |  4075023 |  3660362 |     1871   4595 |        0 |        0
1504.52/1505.07	c 1505s |      24 |  4079559 |  3664662 |     1871   4600 |        0 |        0
1506.53/1507.08	c 1507s |      24 |  4084923 |  3669462 |     1871   4605 |        0 |        0
1508.62/1509.11	c 1509s |      24 |  4090043 |  3674162 |     1871   4609 |        0 |        0
1510.62/1511.12	c 1511s |      24 |  4094571 |  3678362 |     1871   4613 |        0 |        0
1512.62/1513.12	c 1513s |      24 |  4099346 |  3682662 |     1871   4618 |        0 |        0
1514.62/1515.14	c 1515s |      24 |  4104400 |  3687262 |     1871   4622 |        0 |        0
1516.62/1517.17	c 1517s |      24 |  4109489 |  3691962 |     1871   4627 |        0 |        0
1518.63/1519.18	c 1519s |      24 |  4114574 |  3696662 |     1871   4632 |        0 |        0
1520.72/1521.21	c 1521s |      24 |  4119682 |  3701362 |     1871   4636 |        0 |        0
1522.72/1523.22	c 1523s |      24 |  4124477 |  3705762 |     1871   4641 |        0 |        0
1524.72/1525.23	c 1525s |      24 |  4129099 |  3710062 |     1871   4645 |        0 |        0
1526.72/1527.28	c 1527s |      24 |  4133520 |  3714162 |     1871   4649 |        0 |        0
1528.72/1529.28	c 1529s |      24 |  4137658 |  3717862 |     1871   4653 |        0 |        0
1530.72/1531.30	c 1531s |      24 |  4142319 |  3722062 |     1871   4657 |        0 |        0
1532.82/1533.33	c 1533s |      24 |  4147545 |  3726862 |     1871   4662 |        0 |        0
1534.82/1535.34	c 1535s |      24 |  4152891 |  3731662 |     1871   4667 |        0 |        0
1536.82/1537.34	c 1537s |      24 |  4157943 |  3736262 |     1871   4671 |        0 |        0
1538.83/1539.37	c 1539s |      24 |  4163152 |  3741062 |     1871   4676 |        0 |        0
1540.82/1541.39	c 1541s |      24 |  4168611 |  3745962 |     1871   4681 |        0 |        0
1542.93/1543.44	c 1543s |      24 |  4174312 |  3751062 |     1871   4686 |        0 |        0
1544.92/1545.45	c 1545s |      24 |  4179382 |  3755662 |     1871   4691 |        0 |        0
1546.92/1547.48	c 1547s |      24 |  4184485 |  3760262 |     1871   4695 |        0 |        0
1548.92/1549.48	c 1549s |      24 |  4189962 |  3765062 |     1871   4700 |        0 |        0
1551.02/1551.50	c 1551s |      24 |  4195014 |  3769562 |     1871   4705 |        0 |        0
1553.02/1553.54	c 1553s |      24 |  4199852 |  3773962 |     1871   4709 |        0 |        0
1555.03/1555.56	c 1555s |      24 |  4204920 |  3778562 |     1871   4714 |        0 |        0
1557.02/1557.59	c 1557s |      24 |  4209755 |  3782962 |     1871   4718 |        0 |        0
1559.12/1559.61	c 1559s |      24 |  4214485 |  3787262 |     1871   4722 |        0 |        0
1561.12/1561.66	c 1561s |      24 |  4219154 |  3791462 |     1871   4727 |        0 |        0
1563.12/1563.66	c 1563s |      24 |  4224164 |  3795962 |     1871   4731 |        0 |        0
1565.22/1565.70	c 1565s |      24 |  4229651 |  3800762 |     1871   4736 |        0 |        0
1567.22/1567.74	c 1567s |      24 |  4234886 |  3805462 |     1871   4740 |        0 |        0
1569.23/1569.74	c 1569s |      24 |  4240492 |  3810562 |     1871   4745 |        0 |        0
1571.22/1571.78	c 1571s |      24 |  4245658 |  3815262 |     1871   4750 |        0 |        0
1573.32/1573.80	c 1573s |      24 |  4250782 |  3819862 |     1871   4754 |        0 |        0
1575.32/1575.83	c 1575s |      24 |  4255576 |  3824362 |     1871   4759 |        0 |        0
1577.32/1577.84	c 1577s |      24 |  4260262 |  3828762 |     1871   4763 |        0 |        0
1579.32/1579.87	c 1579s |      24 |  4265390 |  3833462 |     1871   4767 |        0 |        0
1581.32/1581.88	c 1581s |      24 |  4270245 |  3837862 |     1871   4771 |        0 |        0
1583.42/1583.91	c 1583s |      24 |  4275280 |  3842362 |     1871   4776 |        0 |        0
1585.41/1585.95	c 1585s |      24 |  4280134 |  3846762 |     1871   4780 |        0 |        0
1587.41/1587.99	c 1587s |      24 |  4284806 |  3851062 |     1871   4784 |        0 |        0
1589.51/1590.01	c 1589s |      24 |  4290102 |  3855962 |     1871   4789 |        0 |        0
1591.51/1592.04	c 1592s |      24 |  4294897 |  3860462 |     1871   4793 |        0 |        0
1593.52/1594.05	c 1594s |      24 |  4299644 |  3864962 |     1871   4797 |        0 |        0
1595.51/1596.09	c 1596s |      24 |  4305027 |  3869862 |     1871   4802 |        0 |        0
1597.61/1598.12	c 1598s |      24 |  4310269 |  3874662 |     1871   4807 |        0 |        0
1599.61/1600.15	c 1600s |      24 |  4315504 |  3879362 |     1871   4811 |        0 |        0
1601.71/1602.20	c 1602s |      24 |  4320260 |  3883762 |     1871   4815 |        0 |        0
1603.71/1604.21	c 1604s |      24 |  4325204 |  3888262 |     1871   4820 |        0 |        0
1605.71/1606.23	c 1606s |      24 |  4329721 |  3892362 |     1871   4824 |        0 |        0
1607.72/1608.26	c 1608s |      24 |  4334049 |  3896362 |     1871   4828 |        0 |        0
1609.71/1610.27	c 1610s |      24 |  4339048 |  3900862 |     1871   4832 |        0 |        0
1611.71/1612.28	c 1612s |      24 |  4343810 |  3905162 |     1871   4836 |        0 |        0
1613.71/1614.29	c 1614s |      24 |  4348317 |  3909262 |     1871   4840 |        0 |        0
1615.81/1616.31	c 1616s |      24 |  4353364 |  3913762 |     1871   4844 |        0 |        0
1617.81/1618.31	c 1618s |      24 |  4357783 |  3917862 |     1871   4848 |        0 |        0
1619.81/1620.34	c 1620s |      24 |  4362219 |  3921962 |     1871   4852 |        0 |        0
1621.80/1622.37	c 1622s |      24 |  4366749 |  3926062 |     1871   4856 |        0 |        0
1623.90/1624.41	c 1624s |      24 |  4371012 |  3929962 |     1871   4860 |        0 |        0
1625.90/1626.41	c 1626s |      24 |  4375134 |  3933762 |     1871   4863 |        0 |        0
1627.90/1628.42	c 1628s |      24 |  4379623 |  3937862 |     1871   4867 |        0 |        0
1629.90/1630.44	c 1630s |      24 |  4384467 |  3942062 |     1871   4871 |        0 |        0
1631.91/1632.47	c 1632s |      24 |  4388786 |  3945862 |     1871   4875 |        0 |        0
1633.90/1634.49	c 1634s |      24 |  4393612 |  3950162 |     1871   4879 |        0 |        0
1636.00/1636.53	c 1636s |      24 |  4398589 |  3954662 |     1871   4883 |        0 |        0
1638.00/1638.55	c 1638s |      24 |  4403520 |  3959162 |     1871   4888 |        0 |        0
1640.00/1640.56	c 1640s |      24 |  4408439 |  3963662 |     1871   4892 |        0 |        0
1642.10/1642.60	c 1642s |      24 |  4413116 |  3967962 |     1871   4896 |        0 |        0
1644.11/1644.64	c 1644s |      24 |  4417687 |  3972062 |     1871   4900 |        0 |        0
1646.10/1646.68	c 1646s |      24 |  4421798 |  3975862 |     1871   4904 |        0 |        0
1648.20/1648.71	c 1648s |      24 |  4426733 |  3980362 |     1871   4908 |        0 |        0
1650.20/1650.73	c 1650s |      24 |  4431474 |  3984662 |     1871   4912 |        0 |        0
1652.20/1652.75	c 1652s |      24 |  4435980 |  3988762 |     1871   4916 |        0 |        0
1654.20/1654.76	c 1654s |      24 |  4440772 |  3993062 |     1871   4920 |        0 |        0
1656.21/1656.78	c 1656s |      24 |  4445568 |  3997362 |     1871   4924 |        0 |        0
1658.30/1658.84	c 1658s |      24 |  4449795 |  4001162 |     1871   4928 |        0 |        0
1660.30/1660.87	c 1660s |      24 |  4454145 |  4005062 |     1871   4932 |        0 |        0
1662.30/1662.87	c 1662s |      24 |  4458363 |  4008862 |     1871   4936 |        0 |        0
1664.30/1664.89	c 1664s |      24 |  4463167 |  4013262 |     1871   4940 |        0 |        0
1666.40/1666.91	c 1666s |      24 |  4467791 |  4017462 |     1871   4944 |        0 |        0
1668.40/1668.95	c 1668s |      24 |  4472174 |  4021462 |     1871   4948 |        0 |        0
1670.40/1670.95	c 1670s |      24 |  4476568 |  4025462 |     1871   4951 |        0 |        0
1672.40/1672.98	c 1672s |      24 |  4481605 |  4029862 |     1871   4956 |        0 |        0
1674.50/1675.02	c 1674s |      24 |  4486000 |  4033862 |     1871   4960 |        0 |        0
1676.50/1677.06	c 1677s |      24 |  4490695 |  4038162 |     1871   4964 |        0 |        0
1678.59/1679.13	c 1679s |      24 |  4495259 |  4042162 |     1871   4968 |        0 |        0
1680.59/1681.19	c 1681s |      24 |  4499446 |  4045962 |     1871   4971 |        0 |        0
1682.69/1683.23	c 1683s |      24 |  4503359 |  4049562 |     1871   4975 |        0 |        0
1684.71/1685.25	c 1685s |      24 |  4507952 |  4053762 |     1871   4979 |        0 |        0
1686.80/1687.30	c 1687s |      24 |  4512401 |  4057862 |     1871   4983 |        0 |        0
1688.80/1689.30	c 1689s |      24 |  4516736 |  4061762 |     1871   4986 |        0 |        0
1690.80/1691.32	c 1691s |      24 |  4520884 |  4065562 |     1871   4990 |        0 |        0
1692.80/1693.37	c 1693s |      24 |  4525300 |  4069562 |     1871   4994 |        0 |        0
1694.80/1695.39	c 1695s |      24 |  4529377 |  4073262 |     1871   4997 |        0 |        0
1696.81/1697.40	c 1697s |      24 |  4533278 |  4076862 |     1871   5001 |        0 |        0
1698.90/1699.43	c 1699s |      24 |  4537866 |  4080962 |     1871   5005 |        0 |        0
1700.90/1701.44	c 1701s |      24 |  4543121 |  4085562 |     1871   5009 |        0 |        0
1702.90/1703.45	c 1703s |      24 |  4547730 |  4089662 |     1871   5013 |        0 |        0
1705.00/1705.50	c 1705s |      24 |  4552418 |  4093862 |     1871   5017 |        0 |        0
1707.00/1707.51	c 1707s |      24 |  4557063 |  4098062 |     1871   5021 |        0 |        0
1709.01/1709.53	c 1709s |      24 |  4561805 |  4102362 |     1871   5025 |        0 |        0
1711.00/1711.56	c 1711s |      24 |  4566609 |  4106662 |     1871   5029 |        0 |        0
1713.10/1713.60	c 1713s |      24 |  4571361 |  4110962 |     1871   5034 |        0 |        0
1715.10/1715.62	c 1715s |      24 |  4576099 |  4115262 |     1871   5038 |        0 |        0
1717.10/1717.63	c 1717s |      24 |  4580576 |  4119262 |     1871   5042 |        0 |        0
1719.10/1719.66	c 1719s |      24 |  4585146 |  4123362 |     1871   5045 |        0 |        0
1721.10/1721.67	c 1721s |      24 |  4589638 |  4127362 |     1871   5049 |        0 |        0
1723.10/1723.68	c 1723s |      24 |  4593430 |  4130862 |     1871   5053 |        0 |        0
1725.10/1725.68	c 1725s |      24 |  4597827 |  4134862 |     1871   5057 |        0 |        0
1727.20/1727.71	c 1727s |      24 |  4602163 |  4138762 |     1871   5060 |        0 |        0
1729.20/1729.77	c 1729s |      24 |  4606053 |  4142262 |     1871   5064 |        0 |        0
1731.29/1731.82	c 1731s |      24 |  4609784 |  4145662 |     1871   5067 |        0 |        0
1733.29/1733.86	c 1733s |      24 |  4613637 |  4149262 |     1871   5070 |        0 |        0
1735.30/1735.90	c 1735s |      24 |  4617674 |  4152962 |     1871   5074 |        0 |        0
1737.39/1737.91	c 1737s |      24 |  4621638 |  4156662 |     1871   5077 |        0 |        0
1739.39/1739.91	c 1739s |      24 |  4625926 |  4160662 |     1871   5081 |        0 |        0
1741.39/1741.93	c 1741s |      24 |  4630117 |  4164462 |     1871   5085 |        0 |        0
1743.39/1743.96	c 1743s |      24 |  4634304 |  4168262 |     1871   5089 |        0 |        0
1745.39/1745.99	c 1745s |      24 |  4638580 |  4172262 |     1871   5092 |        0 |        0
1747.40/1747.99	c 1747s |      24 |  4642725 |  4175962 |     1871   5096 |        0 |        0
1749.49/1750.02	c 1750s |      24 |  4646699 |  4179562 |     1871   5099 |        0 |        0
1751.59/1752.10	c 1752s |      24 |  4650254 |  4182862 |     1871   5103 |        0 |        0
1753.59/1754.13	c 1754s |      24 |  4655367 |  4187462 |     1871   5107 |        0 |        0
1755.59/1756.18	c 1756s |      24 |  4659951 |  4191662 |     1871   5111 |        0 |        0
1757.59/1758.19	c 1758s |      24 |  4664165 |  4195562 |     1871   5115 |        0 |        0
1759.69/1760.23	c 1760s |      24 |  4668659 |  4199662 |     1871   5119 |        0 |        0
1761.70/1762.28	c 1762s |      24 |  4672735 |  4203462 |     1871   5122 |        0 |        0
1763.79/1764.31	c 1764s |      24 |  4676535 |  4206962 |     1871   5126 |        0 |        0
1765.79/1766.34	c 1766s |      24 |  4681024 |  4211062 |     1871   5130 |        0 |        0
1767.79/1768.37	c 1768s |      24 |  4685330 |  4214962 |     1871   5133 |        0 |        0
1769.79/1770.39	c 1770s |      24 |  4689957 |  4219162 |     1871   5137 |        0 |        0
1771.89/1772.41	c 1772s |      24 |  4694410 |  4223162 |     1871   5141 |        0 |        0
1773.90/1774.44	c 1774s |      24 |  4698494 |  4226962 |     1871   5145 |        0 |        0
1775.89/1776.48	c 1776s |      24 |  4702579 |  4230762 |     1871   5148 |        0 |        0
1777.89/1778.48	c 1778s |      24 |  4707338 |  4234962 |     1871   5152 |        0 |        0
1779.99/1780.54	c 1780s |      24 |  4711250 |  4238562 |     1871   5156 |        0 |        0
1781.99/1782.58	c 1782s |      24 |  4715427 |  4242462 |     1871   5160 |        0 |        0
1784.09/1784.62	c 1784s |      24 |  4719965 |  4246662 |     1871   5164 |        0 |        0
1786.09/1786.64	c 1786s |      24 |  4724082 |  4250462 |     1871   5167 |        0 |        0
1788.09/1788.65	c 1788s |      24 |  4727811 |  4253962 |     1871   5171 |        0 |        0
1790.18/1790.71	c 1790s |      24 |  4731410 |  4257362 |     1871   5174 |        0 |        0
1792.18/1792.75	c 1792s |      24 |  4735604 |  4261262 |     1871   5178 |        0 |        0
1794.18/1794.76	c 1794s |      24 |  4739854 |  4265162 |     1871   5181 |        0 |        0
1796.28/1796.80	c 1796s |      24 |  4743768 |  4268762 |     1871   5185 |        0 |        0
1798.28/1798.85	c 1798s |      24 |  4748203 |  4272762 |     1871   5189 |        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-4089855-1466034572/watcher-4089855-1466034572 -o /tmp/evaluation-result-4089855-1466034572/solver-4089855-1466034572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089855-1466034572.opb 

pid=8556
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

[startup+0 s]
/proc/loadavg: 2.25 2.18 2.10 3/179 8559
/proc/meminfo: memFree=30403964/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/8559/stat : 8559 (runsolver) R 8556 5756 5756 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 1 0 5507301 24911872 101 33554432000 4194304 4338465 140733650033744 140733650031320 270118261575 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/8559/statm: 6082 101 54 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100129 s]
/proc/loadavg: 2.25 2.18 2.10 3/179 8559
/proc/meminfo: memFree=30403964/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 26637 0 0 0 4 4 0 0 20 0 4 0 5507301 1247350784 26475 33554432000 4194304 16246674 140737370694832 140737370694256 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8559/statm: 304529 26484 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200339 s]
/proc/loadavg: 2.25 2.18 2.10 3/179 8559
/proc/meminfo: memFree=30403964/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 54116 0 0 0 11 7 0 0 20 0 4 0 5507301 1247350784 53954 33554432000 4194304 16246674 140737370694832 140737370694256 5661217 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8559/statm: 304529 53967 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300316 s]
/proc/loadavg: 2.25 2.18 2.10 3/179 8559
/proc/meminfo: memFree=30403964/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 82734 0 0 0 16 12 0 0 20 0 4 0 5507301 1247350784 82573 33554432000 4194304 16246674 140737370694832 140737370676736 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8559/statm: 304529 82590 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700302 s]
/proc/loadavg: 2.25 2.18 2.10 3/179 8559
/proc/meminfo: memFree=30403964/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 198252 0 0 0 42 26 0 0 20 0 4 0 5507301 1247350784 198090 33554432000 4194304 16246674 140737370694832 140737370676736 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 304529 198110 717 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.25 2.18 2.10 3/183 8563
/proc/meminfo: memFree=29422876/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267231 0 0 0 113 35 0 0 20 0 4 0 5507301 1336479744 267049 33554432000 4194304 16246674 140737370694832 140737370694144 5724508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326289 267049 791 2943 0 323183 0
[pid=8559/tid=8561] ppid=8556 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1336479744 267049 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1336479744 267049 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1336479744 267049 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.25 2.18 2.10 3/183 8563
/proc/meminfo: memFree=29335456/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267488 0 0 0 273 35 0 0 20 0 4 0 5507301 1337528320 267306 33554432000 4194304 16246674 140737370694832 140737370676736 5546224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326545 267306 791 2943 0 323439 0
[pid=8559/tid=8561] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267306 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267306 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267306 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.23 2.17 2.10 3/183 8563
/proc/meminfo: memFree=29334528/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267576 0 0 0 593 35 0 0 20 0 4 0 5507301 1337528320 267394 33554432000 4194304 16246674 140737370694832 140737370676736 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326545 267394 791 2943 0 323439 0
[pid=8559/tid=8561] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267394 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267394 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1337528320 267394 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 8563
/proc/meminfo: memFree=29334316/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267635 0 0 0 1233 35 0 0 20 0 4 0 5507301 1338576896 267453 33554432000 4194304 16246674 140737370694832 140737370676736 5663266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267453 792 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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: 2.24 2.18 2.10 3/183 8563
/proc/meminfo: memFree=29334780/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267635 0 0 0 2513 35 0 0 20 0 4 0 5507301 1338576896 267453 33554432000 4194304 16246674 140737370694832 140737370676736 12995179 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267453 792 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267453 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.21 2.18 2.10 3/184 8566
/proc/meminfo: memFree=29335444/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267660 0 0 0 5072 36 0 0 20 0 4 0 5507301 1338576896 267478 33554432000 4194304 16246674 140737370694832 140737370676736 5722800 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267478 794 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267478 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267478 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267478 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.22 2.18 2.10 3/183 8568
/proc/meminfo: memFree=29334468/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267835 0 0 0 10191 36 0 0 20 0 4 0 5507301 1338576896 267653 33554432000 4194304 16246674 140737370694832 140737370676736 5721855 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267653 794 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204

[startup+162.3 s]
/proc/loadavg: 2.13 2.16 2.10 4/183 8569
/proc/meminfo: memFree=29334156/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=162.26 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267835 0 0 0 16189 37 0 0 20 0 4 0 5507301 1338576896 267653 33554432000 4194304 16246674 140737370694832 140737370676736 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267653 794 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1307204

[startup+222.307 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 8619
/proc/meminfo: memFree=29337560/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1307204 CPUtime=222.26 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 267835 0 0 0 22188 38 0 0 20 0 4 0 5507301 1338576896 267653 33554432000 4194304 16246674 140737370694832 140737370676736 5546243 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 326801 267653 794 2943 0 323695 0
[pid=8559/tid=8561] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1338576896 267653 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1307204


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

/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 8669
/proc/meminfo: memFree=29329944/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1301.86 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 130139 47 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 5722912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.08 3/183 8671
/proc/meminfo: memFree=29329848/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1361.85 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 136138 47 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 8672
/proc/meminfo: memFree=29329620/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1421.85 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 142137 48 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 6013188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/183 8673
/proc/meminfo: memFree=29329392/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1481.83 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 148135 48 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.04 2.07 2.08 3/183 8674
/proc/meminfo: memFree=29329540/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1541.83 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 154134 49 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 12474728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 8675
/proc/meminfo: memFree=29329968/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1601.81 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 160132 49 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 8677
/proc/meminfo: memFree=29330084/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1661.8 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 166131 49 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 8678
/proc/meminfo: memFree=29330088/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1721.8 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268598 0 0 0 172130 50 0 0 20 0 4 0 5507301 1340674048 268235 33554432000 4194304 16246674 140737370694832 140737370676736 6010552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268235 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268235 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.07 3/183 8679
/proc/meminfo: memFree=29329712/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1781.79 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268674 0 0 0 178129 50 0 0 20 0 4 0 5507301 1340674048 268311 33554432000 4194304 16246674 140737370694832 140737370676736 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268311 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 8679
/proc/meminfo: memFree=29329840/32872528 swapFree=524788/557492
[pid=8559] ppid=8556 vsize=1309252 CPUtime=1800.08 cores=0,2,4,6
/proc/8559/stat : 8559 (toysat) R 8556 8559 5756 0 -1 4202496 268674 0 0 0 179958 50 0 0 20 0 4 0 5507301 1340674048 268311 33554432000 4194304 16246674 140737370694832 140737370676736 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8559/statm: 327313 268311 796 2943 0 324207 0
[pid=8559/tid=8561] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8561/stat : 8561 (toysat) S 8556 8559 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580823739632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8559/tid=8562] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8562/stat : 8562 (toysat) S 8556 8559 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580813249776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8559/tid=8563] ppid=8556 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8559/task/8563/stat : 8563 (toysat) S 8556 8559 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5507302 1340674048 268311 33554432000 4194304 16246674 140737370694832 140580802776240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1309252

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8559 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.502923
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.502923
maximum resident set size= 1073244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268674
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= 451
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52131 second user time and 7.00693 second system time

The end

Begin job on node106 at 2016-06-16 01:49:32
IDJOB=4089855
IDBENCH=107466
IDSOLVER=2542
FILE ID=node106/4089855-1466034572
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 91482f7f77911fc3a59b3758066e9b84
RANDOM SEED=1340600516

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30404848 kB
Buffers:           44516 kB
Cached:            78992 kB
SwapCached:         1476 kB
Active:          1145868 kB
Inactive:          53784 kB
Active(anon):    1076960 kB
Inactive(anon):     1188 kB
Active(file):      68908 kB
Inactive(file):    52596 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1632480 kB
Mapped:            10404 kB
Shmem:                 0 kB
Slab:             576776 kB
SReclaimable:      20812 kB
SUnreclaim:       555964 kB
KernelStack:        1464 kB
PageTables:         6980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 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= 71708 MiB
End job on node106 at 2016-06-16 02:19:33